O'Small(ID:2321/osm001)
Small object-oriented language intended for teaching.
Structures:
Related languages
References:
A. Hense "An O'small Interpreter Based on Denotational Semantics"
Universität des Saarlandes, tech. report No. A 07/91, (1991)
view details
A. Hense "Wrapper Semantics of an Object-Oriented Programming Language with State proceedings of "Theoretical Aspects of Computer Software", pp. 548-568, T. Ito and A. R. Meyer editors, Springer-Verlag, LNCS 526, (1991) view details
A. Hense "Denotational Semantics of an Object-Oriented Programming Language with Explicit Wrappers" pp181-207 view details
in Formal Aspects of Computing 5(3) pp181-207, 1993 view details
A. Hense "Polymorphic Type Inference for Object-Oriented Programming Languages" Pirrot Verlag, ISBN 3-930714-00-0, (1994) view details
in Formal Aspects of Computing 5(3) pp181-207, 1993 view details
A. Hense, G. Smolka "A Record Calculus with Principal Types"
1st International Conference on Constraints in Computational Logics, pp 219-236, J.-P. Jouannaud editor, Springer-Verlag, LNCS 845, (1994)
view details
in Formal Aspects of Computing 5(3) pp181-207, 1993 view details
C. Böschen, C. Fecht, A. Hense, R. Wilhelm "An Abstract Machine for an Object-Oriented Language with Top-Level Classes" Universität des Saarlandes, tech. report No. A 02/94, (1994) view details
in Formal Aspects of Computing 5(3) pp181-207, 1993 view details
Resources
|