• Summary
• Related Documents
  • Active Bibliography
  • Co-citation
• Version History

Popular Tags

Add a tag:

No tags have been applied to this document.

BibTeX | Add To MetaCart

@INPROCEEDINGS{Ancona00extendingcasl,
    author = {Davide Ancona and Maura Cerioli and Elena Zucca},
    title = {Extending Casl by Late Binding},
    booktitle = {Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99},
    year = {2000},
    pages = {73--88},
    publisher = {Springer-Verlag}
}

Bookmarks

         

OpenURL

 

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 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 obje...

Citations