2501 search results - page 217 / 501 » Obligations and Their Interaction with Programs |
119
click to vote
IFIP
1999
Springer
15 years 9 months ago
1999
Springer
: The field of Virtual Environments (VEs) is rapidly evolving into a new means of communication and accessing information, likely to overcome many existent technologies. However, b...
111
click to vote
ECOOP
1998
Springer
15 years 9 months ago
1998
Springer
Framework optimizations capitalize on object dependencies, while framework flexibility and composability demand object independence. This paper shows how to balance these conflicti...
129
click to vote
ICFP
1996
ACM
15 years 8 months ago
1996
ACM
An extension of the simply-typed lambda calculus is presented which contains both well-structured inductive and coinductive types, and which also identifies a class of types for w...
131
click to vote
PLDI
1996
ACM
15 years 8 months ago
1996
ACM
Traditional first-class continuation mechanisms allow a captured continuation to be invoked multiple times. Many continuations, however, are invoked only once. This paper introduc...
168
click to vote
ECOOP
1993
Springer
15 years 8 months ago
1993
Springer
This paper proposes a formalism for reasoning about distributed object-oriented computations. The formalism is an extension of Milner’s CCS with the notion of local time. It allo...