Research on "Semantics and Logics of Computation"

A CuCh Interpretation of an Object-Oriented Language

ABSTRACT. CuCh machine extends pure lambda--calculus with algebraic data types and provides a the possibility of defining functions over the disjoint sum of algebras. We exploit such natural form of {\em overloading} to define a functional interpretation of a simple, but significant fragment of a typical object-oriented language.

• ps , ps.gz

BIBTEX.

@inproceedings{Bono-Salvo:BOTH01,
   author    = {V. Bono and I. Salvo},
   title     = {{A CuCh Interpretation of an Object-Oriented Language}},
   booktitle = {BOTH '01},
   year      = {2001},
   publisher = {Elsevier},
   pages     = {161-179},
   volume    = {50},
   number    = {2}
   series    = {Electronic Notes in Theoretical Computer Science
		({http://www.elsevier.nl/locate/entcs/volume50.html})},
}