Repositorium | Buch | Kapitel
(2006) Algebra, meaning, and computation, Dordrecht, Springer.
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.
Publikationsangaben
DOI: 10.1007/11780274_14
Quellenangabe:
Meseguer, J. (2006)., From obj to maude and beyond, in K. Futatsugi, J. Jouannaud & J. Meseguer (eds.), Algebra, meaning, and computation, Dordrecht, Springer, pp. 252-280.
Dieses Dokument ist derzeit leider nicht zum Runterladen verfügbar.