%0 Book %1 clavel_07_all %A Clavel, Manuel %A Dur'an, Francisco %A Eker, Steven %A Lincoln, Patrick %A Oliet, Narciso M. %A Meseguer, Jos'e %A Talcott, Carolyn %B Lecture Notes in Computer Science %D 2007 %I Springer %K _to_download_springer maude 2007 _book nopdf %R 10.1007/978-3-540-71999-1 %T All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic %U http://dx.doi.org/http://dx.doi.org/10.1007/978-3-540-71999-1 %X This monograph gives a comprehensive account of Maude, a language and system based on rewriting logic. 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. Maude is used in many institutions around the world for teaching, research, and formal modeling and analysis of concurrent and distributed systems. Many examples are used throughout the book to illustrate the main ideas, features, and uses of Maude. The book comes with a CD-ROM containing the complete Maude 2.3 software distribution (including source code), a pdf version of this monograph, and the executable Maude code for all the examples in the book. %@ 3540719407

@book{clavel_07_all, abstract = {This monograph gives a comprehensive account of Maude, a language and system based on rewriting logic. 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. Maude is used in many institutions around the world for teaching, research, and formal modeling and analysis of concurrent and distributed systems. Many examples are used throughout the book to illustrate the main ideas, features, and uses of Maude. The book comes with a CD-ROM containing the complete Maude 2.3 software distribution (including source code), a pdf version of this monograph, and the executable Maude code for all the examples in the book.}, added-at = {2009-02-11T20:48:57.000+0100}, author = {Clavel, Manuel and Dur'{a}n, Francisco and Eker, Steven and Lincoln, Patrick and Oliet, Narciso M. and Meseguer, Jos'{e} and Talcott, Carolyn}, biburl = {https://www.bibsonomy.org/bibtex/2384ee52e3eb4c97c219ff813b874f0f2/leonardo}, citeulike-article-id = {1554214}, doi = {10.1007/978-3-540-71999-1}, howpublished = {Paperback}, interhash = {c47bf1d75e8017fd18f411a38623c676}, intrahash = {384ee52e3eb4c97c219ff813b874f0f2}, isbn = {3540719407}, keywords = {_to_download_springer maude 2007 _book nopdf}, month = {July}, posted-at = {2007-08-11 17:56:05}, priority = {2}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2009-02-11T20:48:57.000+0100}, title = {All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic}, url = {http://dx.doi.org/http://dx.doi.org/10.1007/978-3-540-71999-1}, year = 2007 }