566 search results - page 2 / 114 » A virtual class calculus |
FLOPS
2001
Springer
14 years 3 days ago
2001
Springer
We introduce a simply typed λ-calculus λκε which has both contexts and environments as first-class values. In λκε, holes in contexts are represented by ordinary variables ...
MSCS
2007
13 years 7 months ago
2007
Introduced at the end of the nineties, the Rewriting Calculus (ρ-calculus, for short) is a simple calculus that fully integrates term-rewriting and λ-calculus. The rewrite rules...
ICTAC
2004
Springer
14 years 1 months ago
2004
Springer
onnectivity and Full Abstraction for a Concurrent Calculus of Classes⋆ nded Abstract — Erika ´Abrah´am2 , Marcello M. Bonsangue3 , Frank S. de Boer4 , and Martin Steffen1 1 ...
CIE
2006
Springer
13 years 11 months ago
2006
Springer
traction for an Object-Oriented Calculus with Thread Classes Erika
ECOOP
1999
Springer
13 years 12 months ago
1999
Springer
We develop an imperative calculus that provides a formal model for both single and mixin inheritance. By introducing classes and mixins as the basic object-oriented constructs in a...