743 search results - page 132 / 149 » A Calculus of Gamma Programs |
ECOOP
1998
Springer
15 years 4 months ago
1998
Springer
In this paper we study the fragile base class problem. This problem occurs in open object-oriented systems employing code inheritance as an implementation reuse mechanism. System d...
DBPL
1993
Springer
15 years 3 months ago
1993
Springer
A frequent dilemma in the design of a database programming language is the choice between a language with a rich set of tailored notations for schema definitions, query expression...
APLAS
2007
ACM
15 years 3 months ago
2007
ACM
We have built the first family of tagless interpretations for a higher-order typed object language in a typed metalanguage (Haskell or ML) that require no dependent types, general...
ESOP
2009
Springer
15 years 3 months ago
2009
Springer
Ownership types characterize the topology of objects in the heap, through a characterization of the context to which an object belongs. They have been used to support reasoning, me...
111
click to vote
ESOP
2006
Springer
15 years 3 months ago
2006
Springer
We present a sound and complete proof technique, based on syntactic logical relations, for showing contextual equivalence of expressions in a -calculus with recursive types and imp...