Goguen, J. and R. Burstall, Institutions: abstract model theory for speci cation and programming, Journal of the ACM 39 (1992), pp. 95-146. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Software Specification and Verification in Rewriting Logic - Meseguer (2003) (3 citations) (Correct)
....in parentheses. In Full Maude [14] as in OBJ3 [21] we can specify not only modules with initial (or free extension) semantics, but also theories with loose semantics; that is, any model of the axioms is in principle a possible model; however, such theories may have initiality constraints [19, 12] reducing the class of allowable models. For example, in the NZNAT theory the protecting NAT declaration is an initiality constraint requiring that the restriction of the models to the subtheory NAT yields the standard natural numbers. 39 op [ Nat Nat (X) op : Nat (X) Nat (X) ....
J. Goguen and R. Burstall. Institutions: Abstract model theory for speci cation and programming. Journal of the ACM, 39(1):95-146, 1992.
Foundations of Heterogeneous Specification - Mossakowski (Correct)
....bunch of heterogeneous constructs for di erent kinds of translations. However, only one kind of translation can be used at a time. The goal of the present work is to overcome these limitations while simultaneously staying as simple as possible. 2 Institutions and Their (Co)Morphisms Following [21], we formalize logics as institutions. De nition 1. An institution I = Sign ; Sen ; Mod ; j= consists of a category Sign of signatures, a functor Sen : Sign Set giving, for each signature , the set of sentences Sen , the sentence translation map Sen ( ....
....obligations arising in formal developments. De nition 4. Let S be a development graph. S implies a global theorem link ## # # # M (denoted S j= N ## # # # M ) i for all m 2 ModS (M ) mj 2 ModS (N ) We now come to the task of relating di erent institutions. Institution morphisms [21] relate two given institutions. A typical situation is that an institution morphism expresses the fact that a larger institution is built upon a smaller institution by projecting the larger institution onto the smaller one. Given institutions I and J , an institution morphism [21] ....
[Article contains additional citation context not shown here]
J. A. Goguen and R. M. Burstall. Institutions: Abstract model theory for speci- cation and programming. Journal of the Association for Computing Machinery, 39:95-146, 1992. Predecessor in: LNCS 164, 221-256, 1984.
Semiotic Morphisms, Representations and Blending for Interface.. - Goguen Self-citation (Goguen) (Correct)
No context found.
Goguen, J. and Burstall, R. (1992). Institutions: Abstract model theory for speci cation and programming. Journal of the Association for Computing Machinery, 39(1):95-146.
Zero, Connected, Empty: An Essay after a Cantata - Goguen, Goguen Self-citation (Goguen) (Correct)
No context found.
Joseph Goguen and Rod Burstall. Institutions: Abstract model theory for speci- cation and programming. Journal of the Association for Computing Machinery, 39(1):95-146, January 1992.
Towards an Algebraic Semantics for the Object Paradigm - Goguen, Diaconescu (1994) (43 citations) Self-citation (Goguen) (Correct)
.... morphisms is called the Satisfaction Condition, which expresses the invariance of satisfaction under change of notation: Theorem 5: Given an overloaded many sorted signature morphism : and a equation e, then This theorem was rst proved in the original version of [18]. We will later relate the Satisfaction Condition to the encapsulation of modules, and in Section 4.1, we will see that it is an important part of the formalisation of logical system called an institution by Burstall and Goguen [6, 17, 18] 2.5 Other Topics Section 3.1 assumes familiarity with ....
....This theorem was rst proved in the original version of [18] We will later relate the Satisfaction Condition to the encapsulation of modules, and in Section 4. 1, we will see that it is an important part of the formalisation of logical system called an institution by Burstall and Goguen [6, 17, 18]. 2.5 Other Topics Section 3.1 assumes familiarity with basic order sorted algebra, as given for example in [22] For simplicity of exposition, this paper will rst treat the many sorted case, and then treat the order sorted case more brie y afterwards. Some examples assume familiarity with some ....
[Article contains additional citation context not shown here]
Joseph Goguen and Rod Burstall. Institutions: Abstract model theory for speci cation and programming. Journal of the Association for Computing Machinery, 39(1):95-146, January 1992.
Unknown - An Way (Correct)
No context found.
Goguen, J. and R. Burstall, Institutions: abstract model theory for speci cation and programming, Journal of the ACM 39 (1992), pp. 95-146.
Feature Logics and refinement - Marc Aiguier Place (Correct)
No context found.
J. A. Goguen and R. M. Burstall. Institutions: abstract model theory for speci cations and programming. Journal of the ACM,39(1):95-146, 1992.
Algebraic Treatment of Feature-oriented Systems - Gaston, Aiguier, Le Gall (2000) (Correct)
No context found.
J. A. Goguen and R. M. Burstall. Institutions: abstract model theory for speci cations and programming. association for Computing Machinery, 1992.
An algebraic approach to real-time specification - Aiguier, Beroff, Schobbens (Correct)
No context found.
J. A. Goguen and R. M. Burstall. Institutions: Abstract model theory for speci cation and programming. Journal of the ACM, 39(1):95-146, Jan. 1992.
Test Case Selection for Dynamic Systems by Unfolding of Modal .. - Aiguier, Longuet (Correct)
No context found.
Goguen, J., Burstall, R.: Institutions: abstract model theory for speci cation and programming. Journal of the ACM 39(1) (1992) 95-146
An algebraic approach for Codesign - Marc Aiguier Stefan (Correct)
No context found.
J. A. Goguen and R. M. Burstall. Institutions: Abstract model theory for speci cation and programming. Journal of the ACM, 39(1):95-146, Jan. 1992.
Feature re - Nement Way To (Correct)
No context found.
J. A. Goguen and R. M. Burstall. Institutions: abstract model theory for speci - cations and programming. Journal of the ACM,39(1):95-146, 1992.
An institution-independent Proof of the Beth Definability.. - Aiguier, Barbier (2006) (Correct)
No context found.
J. Goguen and R. Burstall. Institutions: Abstract Model Theory for Speci cation and Programming. Journal of the Association for Computing Machinery, 39(1):95-146, 1992.
An algebraic approach for Codesign - Aiguier, Beroff, Schobbens (2004) (Correct)
No context found.
J. A. Goguen and R. M. Burstall. Institutions: Abstract model theory for speci - cation and programming. Journal of the ACM, 39(1):95-146, Jan. 1992.
Stratified institutions and elementary homomorphisms - Aiguier, Diaconescu (Correct)
No context found.
Joseph Goguen and Rod Burstall. Institutions: Abstract model theory for speci cation and programming. Journal of the Association for Computing Machinery, 39(1):95-146, January 1992.
Towards Behavioral Maude: Behavioral Membership Equational Logic - Meseguer, Rosu (2002) (Correct)
No context found.
Joseph Goguen and Rod Burstall. Institutions: Abstract model theory for speci cation and programming. Journal of the Association for Computing Machinery, 39(1):95-146, January 1992.
Algebraic-Coalgebraic Specification in CoCasl - Mossakowski, Schröder.. (2003) (1 citation) (Correct)
No context found.
J. Goguen and R. Burstall, Institutions: Abstract model theory for speci cation and programming, J. ACM 39 (1992), 95-146.
A Uniform Model Theory for the Speci - Cation Of Data (Correct)
No context found.
J.A. Goguen and R. M. Burstall. Institutions: Abstract model theory for speci cation and programming. Journal of the Association for Computing Machinery, 39:95-146, 1992.
Extending Development Graphs with Hiding - Mossakowski, Autexier, Hutter (2003) (1 citation) (Correct)
No context found.
J. A. Goguen and R. M. Burstall. Institutions: Abstract model theory for speci cation and programming. Journal of the Association for Computing Machinery, 39:95-146, 1992.
Interpolation in Practical Formal - Development Juan Bicarregui (Correct)
No context found.
J.A. Goguen, R.M. Burstall. Institutions: Abstract Model Theory for Speci cation and Programming, Journal of the ACM 39(1), pages 95-146, 1992.
CafeOBJ: Logical Foundations and Methodologies - Diaconescu, al. (2003) (Correct)
No context found.
frm-eJoseph Goguen and Rod Burstall. Institutions: Abstract model theory for speci cation and programming. Journal of the Association for Computing Machinery, 39(1):95-146, January 1992.
CASL - The Common Algebraic Specification.. - Mossakowski.. (2003) (Correct)
No context found.
J. A. Goguen and R. M. Burstall. Institutions: Abstract model theory for speci cation and programming. Journal of the Association for Computing Machinery, 39:95-146, 1992.
Translating Logics for Coalgebras - Pattinson (2002) (Correct)
No context found.
J. Goguen and R. Burstall. Institutions: Abstract Model Theory for Speci cation and Programming. Journal of the Association for Computing Machinery, 39(1), 1992.
Cryptomorphisms at Work - Caleiro, Ramos (Correct)
No context found.
J. Goguen and R. Burstall. Institutions: abstract model theory for speci cation and programming. Journal of the ACM, 39(1):95-146, 1992.
Integrating Semantics for Object-Oriented System Models - Große-Rhode (Correct)
No context found.
J. Goguen and R.M. Burstall. Institutions: Abstract model theory for speci cation and programming. Journal of the ACM, 39(1):95-146, 1992.
First 50 documents Next 50
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