Donnelly, Kevin; Kfoury, Assaf; Lapets, Andrei(CS Department, Boston University, 2010-03-15)
Interdomain routing on the Internet is performed using route preference policies specified independently and arbitrarily by each autonomous system (AS) in the network. These policies are used in the border gateway protocol ...
Donnelly, Kevin; Kfoury, Assaf(Boston University Computer Science Department, 2008-02-05)
Interdomain routing on the Internet is performed using route preference policies specified independently, and arbitrarily by each Autonomous System in the network. These policies are used in the border gateway protocol ...
Donnelly, Kevin; Kfoury, Assaf J.(Boston University Computer Science Department, 2005-07-27)
Weak references are references that do not prevent the object they point to from being garbage collected. Most realistic languages, including Java, SML/NJ, and OCaml to name a few, have some facility for programming with ...
Donnelly, Kevin(Boston University Computer Science Department, 2007)
System F is a type system that can be seen as both a proof system for second-order propositional logic and as a polymorphic programming language. In this work we explore several extensions of System F by types which express ...
