J. Bergstra, J. Heering, and P. Klint. Module algebra. JACM, 37(2):335--372, 1990. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Behavioral Abstraction is Information Hiding - Rosu (Correct)
Completeness of a Logical System for Structured Specifications - Borzyszkowski (1998) (2 citations) (Correct)
Logical Semantics of Modularisation - de Lavalette (1991) (4 citations) (Correct)
Logical Systems for Structured Specifications - Borzyszkowski (2000) (7 citations) (Correct)
Proof Preservation in Component Generalization - Moreira (Correct)
Amalgamation in CASL via Enriched Signatures - Schröder, Mossakowski, Tarlecki (Correct)
The Algebraic Structure of Interface Definition.. - Rees, Stephenson, Tucker (2000) (Correct)
Modularity and Genericity revisited for PROLOG - Marc Bernard Francois (Correct)
Modularity and Interpolation in a Development Workspace. - Dimitrakos (1997) (Correct)
Uniformity, Interpolation and Module specification in a.. - Dimitrakos, Maibaum (Correct)
Development Workspaces: an introduction - Dimitrakos, Maibaum (Correct)
Hiding Information Via Abstraction (On the role of uniform.. - Dimitrakos, Maibaum (Correct)
Notes on Refinement, Interpolation and Uniformity. - Dimitrakos, Maibaum (Correct)
On a Generalised Modularisation Theorem - Dimitrakos, Maibaum (2000) (Correct)
The Use of Renaming in Composing General Programs - Brogi, Contiero, Turini (1999) (2 citations) (Correct)
Modular Logic Programming - Brogi, Mancarella, Pedreschi, Turini (1994) (13 citations) (Correct)
A Theory of Modules with State - Ancona, Zucca (1998) (Correct)
Categorical Semantics Of Parallel Program Design - Fiadeiro, Maibaum (1997) (10 citations) (Correct)
Semantic Foundations for Composition and Interoperation of.. - McCarthy, Talcott (1996) (Correct)
Interpolation in Practical Formal Development - Bicarregui, Dimitrakos (2000) (1 citation) (Correct)
The Algebraic Structure of Interface Definition.. - Rees, Stephenson, Tucker (Correct)
Compositionality and Compatibility of Parameterization .. - Jiménez.. (Correct)
Compositional Symmetric Sharing in B - Büchi, Back (Correct)
The ASF+SDF Meta-environment: An Annotated Bibliography - van der Meulen (1995) (Correct)
Experiences with Combining Formalisms in VVSL - Middelburg (1991) (Correct)
Specification of Interfering Programs based on Inter-conditions - Middelburg (1992) (Correct)
Modular Structuring of VDM Specifications in VVSL - Middelburg (1992) (Correct)
(ML)²: A formal language for KADS models of expertise - van Harmelen, Balder (1993) (Correct)
Checking the Equations for the Mathematical Representation of.. - Willem Jan (Correct)
A Study on Components and Assembly Primitives in B - Bert, Potet, Rouzaud (5 citations) (Correct)
Case Study in Migration to Object-Oriented System Structure.. - Sagar Pidaparthi (1997) (1 citation) (Correct)
An Algebraic Approach to Mixins and Modularity - Ancona, Zucca (1996) (12 citations) (Correct)
Conceptual Foundations for the Design Transformation of.. - Pidaparthi, Zedan, Luker (1998) (Correct)
Correctness of the Logical System for Structured Specifications - Borzyszkowski (1997) (2 citations) (Correct)
Resource Usage Matrix in Object Identification and.. - Pidaparthi, Zedan, Luker (Correct)
An Algebra of Mixin Modules - Ancona, Zucca (1997) (8 citations) (Correct)
Some Design Transforms - Pidaparthi (Correct)
On the Semantics of Modular Structuring Facilities in.. - Middelburg (1994) (Correct)
Behavioral Abstraction is Hiding Information - Rosu (2004) (Correct)
Inductive Behavioral Proofs by Unhiding - Rosu (2003) (1 citation) (Correct)
Interpolation in Modal Logic - Maarten Marx Institute (1999) (2 citations) (Correct)
Extending Development Graphs with Hiding - Mossakowski, Autexier, Hutter (2003) (1 citation) (Correct)
The Use of Renaming in Composing General Programs - Antonio Brogi Simone (1999) (2 citations) (Correct)
Interpolation in Practical Formal - Development Juan Bicarregui (Correct)
Interpolation in Practical Formal - Development Juan Bicarregui (Correct)
Moving Specification Structures Between Logical Systems - Borzyszkowski (1998) (1 citation) (Correct)
Generalized interpolation in CASL - Borzyszkowski (1999) (1 citation) (Correct)
A Theory of Mixin Modules: Algebraic Laws and Reduction Semantics - Ancona, Zucca (1999) (4 citations) (Correct)
Basic Multi-Competence Programming - Bergstra, Bethke, Ponse (2000) Self-citation (Bergstra) (Correct)
Homomorphism Preserving Algebraic Specifications Require.. - Bergstra, Heering (1993) (2 citations) Self-citation (Bergstra Heering) (Correct)
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