Principles of Maude (1996)

Cached

Download Links

by Clavel Eker , M. Clavel , S. Eker , J. Meseguer
Citations:123 - 28 self

Active Bibliography

170 Maude: Specification and Programming in Rewriting Logic – M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, J. F. Quesada - 2001
82 Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report – José Meseguer - 1996
147 Rewriting Logic as a Logical and Semantic Framework – Narciso Martí-Oliet, José Meseguer - 1993
1 Strategic Reflection – Patrick Lincoln, José Meseguer - 1998
Mathematical and Engineering Foundations for Interoperability via Architecture – John McCarthy, Carolyn Talcott, José Meseguer, Armando Haeberer - 1998
Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition - – Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, Universit`a Degli Studi Di Genova, Prof Dr, Bernd Krieg-Brückner, Bernd Krieg-bruckner - 1997
A Maude specification of an object-oriented database model for telecommunication networks – Isabel Pita, Narciso Mart'i-oliet - 1996
13 Maude as a Metalanguage – M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, J. F. Quesada - 1998
19 An Extensible Module Algebra For Maude – Francisco Durán, José Meseguer - 1998
38 Building Equational Proving Tools by Reflection in Rewriting Logic – Manuel Clavel, Francisco Durán, Steven Eker, José Meseguer - 1998
13 Formal Interoperability – José Meseguer - 1998
9 A Maude Tutorial – M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Marti-Oliet, J. Meseguer, J. F. Quesada - 2000
Compiling Rewriting onto SIMD and MIMD/SIMD Machines – P. Lincoln, N. Martí-Oliet, J. Meseguer, L. Ricciulli - 1994
1 Reflection in Rewriting Logic and its Applications in the Maude Language – Manuel Clavel, José Meseguer - 1997
5 The Open Calculus of Constructions: An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving – Mark-Oliver Stehr
7 An Object-Oriented Airport: Specification and Refinement in Maude – Ulrike Lechner, Christian Lengauer, Martin Wirsing - 1995
10 Hidden Algebra for Software Engineering – Joseph A. Goguen - 1999
6 Rewriting Semantics of Meta-Objects and Composable Distributed Services – G. Denker, J. Meseguer, C. Talcott - 2000
10 Action and Change in Rewriting Logic – Narciso Martí-Oliet, José Meseguer - 1996