J.A. Goguen and R.-M. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the ACM, 39(1):95--146, 1992. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Heterogeneous Modular Systems - Orejas, Pino (2002) (Correct)
....about consistency of these systems. Finally, in section 5, we briefly discuss how to reason about them. II. ALGEBRAIC PRELIMINARIES In this section we briefly present basic notions and notation that we will use along the paper. Our specifications will be built over arbitrary institutions [7] of the form I = Sig; Sen;Mod; j= where as usual, ffl Sig denotes the category of signatures of I ; ffl Sen : Sig Set denotes the functor that maps every signature S into the set of all S sentences and every signature morphism into the mapping that translates sentences from one signature ....
J.A. Goguen and R.M. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the ACM, 39(1):95-- 146, 1992.
Composing Hidden Information - Modules Over Inclusive Self-citation (Goguen) (Correct)
No context found.
Joseph Goguen and Rod Burstall. Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery, 39(1):95--146, January 1992.
Ontology, Ontotheology, and Society - Goguen Self-citation (Goguen) (Correct)
No context found.
Joseph Goguen and Rod Burstall. Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery, 39(1):95--146, January 1992.
Behavioral Verification of Distributed Concurrent Systems with.. - Goguen, Lin Self-citation (Goguen) (Correct)
No context found.
Joseph Goguen and Rod Burstall. Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery, 39(1):95--146, January 1992.
Fundamenta Informaticae XX (2004) 1--31 1 IOS Press - Feature Specification.. (Correct)
No context found.
J.A. Goguen and R.-M. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the ACM, 39(1):95--146, 1992.
A note on Robinson consistency lemma - Aiguier, Schobbens (2006) (Correct)
No context found.
J.A. Goguen and R.-M. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the ACM, 39(1):95--146, 1992.
Mixed Specification Logic - Marc Aiguier Fabrice (Correct)
No context found.
Joseph A. Goguen and Rod M. Burstall. Institutions: abstract model theory for specifications and programming. Journal of the ACM, 39(1):95--146, 1992.
A Logic with Temporal Glue for Mixed Specifications - Aiguier, Barbier, Poizat (2003) (Correct)
No context found.
Goguen, J. A. and R. M. Burstall, Institutions: abstract model theory for specifications and programming, Journal of the ACM 39 (1992), pp. 95--146.
Property Preserving Redesign of Specifications - Grzegorz (Correct)
No context found.
R.M. Burstall and J.A. Goguen. Institutions: Abstract model theory for specification and programming. Journ. of the ACM, 39(1), 1992.
Morphisms in Context - Krötzsch, Hitzler, Zhang (2005) (Correct)
No context found.
Goguen, J., Burstall, R.: Institutions: abstract model theory for specification and programming. Journal of the ACM 39 (1992)
Modular Formal Frameworks for Module Systems - Ancona (1998) (5 citations) (Correct)
No context found.
J. A. Goguen and R. Burstall. Institutions: abstract model theory for specification and programming. Journ. ACM, 39(1):95--146, 1992.
A Logic with Temporal Glue for Mixed Specifications - Aiguier, Barbier, Poizat (2003) (Correct)
No context found.
Goguen, J. A. and R. M. Burstall, Institutions: abstract model theory for specifications and programming, Journal of the ACM 39 (1992), pp. 95--146.
A Combined Approach to Checking Web Ontologies - Dong, Lee, Lee, Li, Wang (2004) (Correct)
No context found.
J. A. Goguen and R. M. Burstall. Institutions: abstract model theory for specification and programming. J. ACM, 39(1):95--146, 1992.
Behavioral Abstraction is Hiding Information - Rosu (2004) (Correct)
No context found.
J. Goguen and R. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the ACM, 39(1):95--146, January 1992.
Categorical Term Rewriting: Monads and Modularity - Lüth (1997) (Correct)
No context found.
J. A. Goguen and R. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the ACM, 39:95-- 146, 1992.
Inductive Behavioral Proofs by Unhiding - Rosu (2003) (1 citation) (Correct)
No context found.
J. Goguen and R. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the ACM, 39(1):95--146, January 1992.
Foundations of a Module Concept for Distributed Object Systems - Filipe (2000) (1 citation) (Correct)
No context found.
J. Goguen and R. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the ACM, 39(1):95--146, 1992.
Toward Component-Oriented Formal Software Development.. - Bidoit, Sannella.. (Correct)
No context found.
J. Goguen and R. Burstall. Institutions: abstract model theory for specification and programming. Journal of the ACM 39:95--146 (1992).
Toward Component-Oriented Formal Software Development.. - Bidoit, Sannella.. (2004) (Correct)
No context found.
J. Goguen and R. Burstall. Institutions: abstract model theory for specification and programming. Journal of the ACM 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 Specification and Programming, Journal of the ACM 39(1), pages 95-146, 1992.
Nested Sketches - Reichel (Correct)
No context found.
J.A. Goguen and R. M. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery, 39:95--146, 1992.
Types, Subtypes, and ASL+ - David Aspinall Department (Correct)
No context found.
J. A. Goguen and R. M. Burstall. Institutions: abstract model theory for specification and programming. Journal of the ACM, 39:95--146, 1992.
Constructor-based Observational Logic - Bidoit, Hennicker (2003) (1 citation) (Correct)
No context found.
Joseph Goguen and Rod Burstall. Institutions: abstract model theory for specification and programming. Journal of the ACM, 39(1):95--146, 1992.
Quantifier-free logic for multialgebraic theories - Lamo, Walicki (2003) (Correct)
No context found.
Joseph A. Goguen and R. M. Burstal. Institutions: Abstract model theory for specification and programming. Journal of the ACM, 39:95--146, 1992. 12
Electronic Notes in Theoretical Computer Science 4 (1996) - Rewriting Logic As (1998) (1 citation) (Correct)
No context found.
J. A. Goguen and R. M. Burstall, Institutions: Abstract model theory for specification and programming, Journal of the Association for Computing Machinery 39(1) (1992) 95--146.
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