Abstract
The OBJ algebraic specification language and its Eqlog and FOOPS multiparadigm extensions are revisited from the perspective of the Maude language design. A common thread is the quest for ever more expressive computational logics, on which executable formal specifications of increasingly broader classes of systems can be based. Several recent extensions, beyond Maude itself, are also discussed. © Springer-Verlag Berlin Heidelberg 2006.
Cite
CITATION STYLE
Meseguer, J. (2006). From OBJ to Maude and beyond. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4060 LNCS, pp. 252–280). Springer Verlag. https://doi.org/10.1007/11780274_14
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
