Logo
LogoUniGeSES

ASG list of publications

Citation

Laurent Dami, "The HOP Calculus", July, 1993

Abstract

A new calculus is presented for modelling object-oriented constructs. The main features of the calculus are: interaction by names, unification of types and values, operators for combinations and alternations of terms. With a limited set of syntactic constructs a surprisingly large range of features can be modelled, including not only object-oriented constructs but also abstract data types, recursive and dependent types and concurrency. The syntax and operational semantics of the calculus are presented, together with numerous programming examples. Through comparisons with the lambda calculus, we argue that interaction by names is fundamentally more expressive than traditional functional abstraction and application. In particular, it becomes possible to treat the parameters of an abstraction independently while doing a fixed-point operation, which is of great convenience for modelling object-oriented systems. Finally, an approach to type-checking is presented. Although not totally mature yet, it shows how types and values are merged in a single preorder over terms, and how this preorder can be used to prevent type errors.

Additionnal Notes

in Technical Report "Visual Objects", D. Tsichritzis editor, Centre Universitaire d'Informatique, University of Geneva

Bibtex

@unpublished{Dami93a,
Author = "Laurent Dami",
Title = "The HOP Calculus",
Key = "olit hop osg tr93",
Notes = "in Technical Report "Visual Objects", D. Tsichritzis editor, Centre Universitaire d'Informatique, University of Geneva",
Month = "July",
Year = "1993"
}
Additional credits :
© 2004-2006 Bibliography Tool based on Marc Falcone's bachelor project.