Extending casl by late binding

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1827, Issue , 2000, Pages 53-72

  Ancona, Davide ^a   Cerioli, Maura ^a   Zucca, Elena ^a  

^a UNIVERSITY OF GENOA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; SEMANTICS; SPECIFICATIONS;

ALGEBRAIC SPECIFICATIONS; CASL LANGUAGES; LATE BINDINGS; SEMANTIC LEVELS;

OBJECT ORIENTED PROGRAMMING;

EID: 84893132422     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-44616-3_4     Document Type: Conference Paper

References (6)

1. D. Ancona, M. Cerioli, and E. Zucca. A formal framework with late binding. In J.-P. Finance, editor, Fundamental Approaches to Software Engineering - Second International Conference, FASE’99, volume 1577 of Lecture Notes in Computer Science, pages 30–44. Springer Verlag, 1999.
2. H. Baumeister, M. Cerioli, A. Haxthausen, T. Mossakowski, P. Mosses, D. Sannella, and A. Tarlecki. Formal Methods’99 - CASL, The Common Algebraic Specification Language - Semantics. Available on compact disc published by Springer-Verlag, 1999.
3. G. Bracha. The Programming Language JIGSAW: Mixins, Modularity and Multiple Inheritance. PhD thesis, Department of Comp. Sci., Univ. of Utah, 1992.
4. W. Cook. A Denotational Semantics of Inheritance. PhD thesis, Dept. Comp. Sci., Brown University, 1989.
5. U. S. Reddy. Objects as closures: Abstract semantics of object-oriented languages. In Proc. ACM Conf. on Lisp and Functional Programming, pages 289–297, 1988.
6. The CoFI Task Group on Language Design. Formal Methods’99 - CASL, The Common Algebraic Specification Language - Summary. Available on compact disc published by Springer-Verlag, 1999.