Principles of Maude (1996)

Cached

Download Links

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

Documents Related by Co-Citation

104 Specification and Proof in Membership Equational Logic – Adel Bouhoula, Jean-pierre Jouannaud, Jos'e Meseguer - 1996
61 Reflection and Strategies in Rewriting Logic – Manuel Clavel - 1996
147 Rewriting Logic as a Logical and Semantic Framework – Narciso Martí-Oliet, José Meseguer - 1993
60 Designing Constraint Logic Programming Languages using Computational Systems – C KIRCHNER, H KIRCHNER, M VITTEK - 1993
86 ELAN: A logical framework based on computational systems – Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Marian Vittek - 1997
42 A characterisation of computable data types by means of a finite equational specification method – J A Bergstra, J V Tucker - 1980
35 Axiomatizing Reflective Logics and Languages – Manuel G. Clavel, José Meseguer - 1996
136 A Logical Theory of Concurrent Objects and its Realization in the Maude Language – J Meseguer - 1992
475 Conditional Rewriting Logic as a unified model of concurrency – J Meseguer - 1992
208 Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations – Joseph A. Goguen - 1992
752 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
14 Cafe as an extensible specification environment – K Futatsugi, T Sawada - 1994
19 An Introduction to Maude (Beta Version – M Clavel, F Durn, S Eker, P Lincoln, J Meseguer - 1998
35 Reflection in general logics and in rewriting logic, with applications to the Maude language – M Clavel - 1998
82 Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report – José Meseguer - 1996
161 The semantics of Clear, a specification language – R M Burstall, J A Goguen - 1980
951 Term rewriting and all that – Franz Baader, Tobias Nipkow - 1998
34 Parallel programming in Maude – J Meseguer, T Winkler
43 Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation and – Joseph Goguen, Jose Meseguer - 1987