566 search results - page 2 / 114 » A virtual class calculus |
FLOPS
2001
Springer
15 years 4 months 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 ...
102
Voted
MSCS
2007
14 years 11 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...
88
Voted
ICTAC
2004
Springer
15 years 5 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
15 years 3 months ago
2006
Springer
traction for an Object-Oriented Calculus with Thread Classes Erika
95
Voted
ECOOP
1999
Springer
15 years 4 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...