José Meseguer  Home/Search
Context Related
| sri.com/papers/posts...Mmemb_1998.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: sri.com/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper proposes membership equational logic---a Horn logic in which the basic predicates are equations t = t 0 and membership assertions t : s stating that a term t belongs to a sort s---as a logical framework in which a very wide range of total and partial equational specification formalisms can be naturally represented. Key features of this logic include: simplicity, liberality and equational character; generality and expressiveness in supporting subsorts, overloading, errors and... (Update)
Cited by: More
Unknown - An Way (Correct)
WRS'04 - 4th International Workshop on Reduction Strategies in .. - Antoy, (eds.) (2004) (Correct)
Algebraic Theories for Contextual Pre-Nets - Bruni, Meseguer, Montanari.. (2001) (Correct)
Active bibliography (related documents): More All
0.7: Specification and Proof in Membership Equational Logic - Bouhoula, Jouannaud, Meseguer (1996) (Correct)
0.6: Algebraic System Specification and Development.. - Cerioli, Gogolla, .. (1997) (Correct)
0.6: Classifications In Algebraic Specifications Of Abstract Data Types - Veglioni (1996) (Correct)
Similar documents based on text: More All
0.6: Interpreting Abstract Interpretations in Membership . . . - Fischer, Rosu (2001) (Correct)
0.4: Software Specification and Verification in Rewriting Logic - Meseguer (2003) (Correct)
0.4: A Total Approach to Partial Algebraic Specification - Meseguer, Rosu (2002) (Correct)
Related documents from co-citation: More All
35: Maude: Specification and programming in rewriting logic - Clavel, Dur'an et al. - 1999
30: Conditional rewriting logic as a unified model of concurrency (context) - Meseguer - 1992
19: and Methodologies for Object-Oriented Algebraic Specification (context) - Diaconescu, Futatsugi et al. - 1998
BibTeX entry: (Update)
Jos'e Meseguer. Membership algebra as a logical framework for equational specification, 1997. Draft manuscript. Computer Science Lab, SRI International. http://citeseer.ist.psu.edu/meseguer98membership.html More
@inproceedings{ meseguer97membership,
author = "Jose Meseguer",
title = "Membership algebra as a logical framework for equational specification",
booktitle = "Workshop on Algebraic Development Techniques",
pages = "18-61",
year = "1997",
url = "citeseer.ist.psu.edu/meseguer98membership.html" }
Citations (may not include all citations):236 Categories for the Working Mathematician (context) - MacLane - 1971
234 Institutions: Abstract model theory for specification and pr.. (context) - Goguen, Burstall - 1992
173 Order-sorted algebra I: Equational deduction for multiple in.. - Goguen, Meseguer - 1992
127 General logics (context) - Meseguer - 1989
106 Principles of Maude - Clavel, Eker et al. - 1996
69 Triples and Theories (context) - Barr, Wells - 1985
53 Unified algebras and institutions (context) - Mosses - 1989
51 Specification and proof in membership equational logic - Bouhoula, Jouannaud et al. - 1996
51 Specification and proof in membership equational logic - Bouhoula, Jouannaud et al. - 1997
47 Rewriting logic as a logical and semantic framework - Mart'i-Oliet, Meseguer - 1996
46 Mapping tile logic into rewriting logic - Meseguer, Montanari - 1998
45 Operational semantics of ordersorted algebra (context) - Goguen, Jouannaud et al.
44 Reflection and strategies in rewriting logic - Clavel, Meseguer - 1996
41 Models and equality for logical programming (context) - Goguen, Meseguer - 1987
35 Locally Presentable and Accessible Categories (context) - Ad'amek, Rosick'y - 1994
34 and Partial Algebras (context) - Reichel, Algebraic - 1987
34 Transporting logical structure along maps (context) - Cerioli, Meseguer et al. - 1997
16 Theoretical Computer Science (context) - Manca, Salibra et al. - 1990
15 Dynamically-typed computations for order-sorted equational p.. - Hintermeier, Kirchner et al. - 1994
15 Dynamically-typed computations for order-sorted equational p.. - Hintermeier, Kirchner et al. - 1994
14 The use of sorts in algebraic specifications - Mosses
13 Order-sorted algebra solves the constructor-selector (context) - Meseguer, Goguen - 1993
13 Partial algebras---Survey of a unifying approach towards a t.. (context) - Burmeister - 1982
13 Aspects of topoi (context) - Freyd - 1972
10 CASL---The CoFI algebraic specification language (context) - Group, Semantics - 1997
8 spectra and sheaf representation (context) - Coste - 1979
7 Equivalences among various logical frameworks of partial alg.. - Mossakowski
7 Specification and Semantics (context) - Meseguer, Lecture et al. - 1996
4 Equivalence and difference between institutions: simulating .. (context) - Kreowski, Mossakowski - 1995
3 Heterogeneous unified algebras (context) - Parisi-Presicce, Veglioni - 1993
2 Springer Lecture Notes in Mathematics No (context) - Gabriel, Ulmer et al. - 1971
1 Classified model abstract data type specification (context) - Stuart, Wadge - 1991
1 Parametrization for order-sorted algebraic specification (context) - Poign'e - 1990
1 This article was processed using the L A T E X macro package.. (context) - Wadge, Technical et al. - 1982
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://maude.csl.sri.com/papers/): More
Maude: Specification and Programming in Rewriting Logic - Clavel, Durán.. (2001) (Correct)
Structured Theories and Institutions - Durán, Meseguer (1999) (Correct)
An Extensible Module Algebra For Maude - Durán, Meseguer (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC