Abstract
We define an extension of Casl, the standard language for algebraic specification, with a late binding mechanism. More precisely, we introduce a special kind of functions called methods, for which, differently to what happens for usual functions, overloading resolution is delayed at evaluation time and not required to be conservative. The extension consists, at the semantic level, in the definition of an institution \(\mathcal{LB}\) supporting late binding which is defined on top of the standard subsorted institution of Casl and, at the linguistic level, in the enrichment of the Casl language with appropriate constructs for dealing with methods.
In addition to this, we propose a further enrichment of the Casl language which is made possible by introduction of late binding, that is a mechanism for “inheriting” axioms from a supersort with the possibility of overriding them. The aim is to obtain advantages in terms of reuse of specifications similar to those obtained by inheritance in object-oriented programming languages.
Partially supported by Murst – Tecniche formali per la specifica, l’analisi, la verifica, la sintesi e la trasformazione di sistemi software and by CoFI WG, ESPRIT Working Group 29432
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Ancona, D., Cerioli, M., Zucca, E.: A formal framework with late binding. In: Finance, J.-P. (ed.) FASE 1999. LNCS, vol. 1577, pp. 30–44. Springer, Heidelberg (1999)
Baumeister, H., Cerioli, M., Haxthausen, A., Mossakowski, T., Mosses, P., Sannella, D., Tarlecki, A.: Formal Methods 1999 - CASL, The Common Algebraic Specification Language - Semantics. Available on compact disc published by Springer-Verlag (1999)
Bracha, G.: The Programming Language JIGSAW: Mixins, Modularity and Multiple Inheritance. PhD thesis, Department of Comp. Sci., Univ. of Utah (1992)
Cook, W.: A Denotational Semantics of Inheritance. PhD thesis, Dept. Comp. Sci., Brown University (1989)
Reddy, U.S.: Objects as closures: Abstract semantics of object-oriented languages. In: Proc. ACM Conf. on Lisp and Functional Programming, pp. 289–297 (1988)
Ancona, D., Cerioli, M., Zucca, E.: A formal framework with late binding. In: Finance, J.-P. (ed.) FASE 1999. LNCS, vol. 1577, pp. 30–44. Springer, Heidelberg (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ancona, D., Cerioli, M., Zucca, E. (2000). Extending Casl by Late Binding. In: Bert, D., Choppy, C., Mosses, P.D. (eds) Recent Trends in Algebraic Development Techniques. WADT 1999. Lecture Notes in Computer Science, vol 1827. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-44616-3_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-44616-3_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67898-4
Online ISBN: 978-3-540-44616-3
eBook Packages: Springer Book Archive