On the role of memory in object-based and object-oriented languages

By Wagner E.G.  

Theoretical Computer Science, Vol. 140, Iss. 1, 1995-03 ,pp. : 179-199

Elsevier

Access to resources Recommend Favorite

Semantics-Driven Language Design - Statically Type-Safe Virtual Types in Object-Oriented Languages

By Bruce K.B.   Vanderwaart J.C.  

Electronic Notes in Theoretical Computer Science, Vol. 20, Iss. 1, 2004-01 ,pp. : 1-26

Elsevier

Access to resources Recommend Favorite

Coalgebraic Reasoning about Classes in Object-Oriented Languages

By Jacobs B.  

Electronic Notes in Theoretical Computer Science, Vol. 11, Iss. 1, 2004-01 ,pp. : 1-12

Elsevier

Access to resources Recommend Favorite

A Generic Reification Technique for Object-Oriented Reflective Languages

By Douence R.  

LISP and Symbolic Computation, Vol. 14, Iss. 1, 2001-03 ,pp. : 7-34

Springer Publishing Company

Access to resources Recommend Favorite

A CuCh Interpretation of an Object-Oriented Language

By Bono V.   Salvo I.  

Electronic Notes in Theoretical Computer Science, Vol. 50, Iss. 2, 2004-01 ,pp. : 1-19

Elsevier

Access to resources Recommend Favorite