All about maude - a high-performance logical framework: how to specify, program, and verify systems in rewriting logic
Auteur :
Clavel, Manuel
Éditeur :
Clavel, ManuelDuran, Francisco,Eker, Steven,Lincoln, Patrick,Marti-Oliet, Narciso,Meseguer, Jose,Talcott, Carolyn L.,
ISBN :
9783540719403
Date de publication :
20 juil. 2007
Dimensions :
23,4 x 15,6 x 4,1 cm
Poids :
1240 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Maude and its formal tool environment can be used in three mutually reinforcing ways: as a declarative programming language, as an executable formal specification language, and as a formal verification system. This monograph offers a comprehensive account of Maude, a language and system based on rewriting logic.