Pages that link to "Item:Q1080652"
From MaRDI portal
The following pages link to Structured algebraic specifications: A kernel language (Q1080652):
Displaying 28 items.
- Observational implementation of algebraic specifications (Q911245) (← links)
- On observational equivalence and algebraic specification (Q1089796) (← links)
- Toward formal development of programs from algebraic specifications: Implementations revisited (Q1090100) (← links)
- Specifications in an arbitrary institution (Q1108775) (← links)
- Modular structuring of VDM specifications in VVSL (Q1184682) (← links)
- OBSCURE, a specification language for abstract data types (Q1323328) (← links)
- Toward formal development of programs from algebraic specifications: Parameterisation revisited (Q1323357) (← links)
- Structured theory presentations and logic representations (Q1326777) (← links)
- Functorial theory of parameterized specifications in a general specification framework (Q1346622) (← links)
- Essential concepts of algebraic specification and program development (Q1377322) (← links)
- Proof systems for structured specifications with observability operators (Q1391730) (← links)
- Amalgamation in the semantics of CASL (Q1770431) (← links)
- An algebraic semantic framework for object oriented languages with concurrency. (Extended abstract) (Q2365396) (← links)
- A Proof Theoretic Interpretation of Model Theoretic Hiding (Q2890327) (← links)
- (Q3197342) (← links)
- Program specification and data refinement in type theory (Q4282807) (← links)
- (Q4510453) (← links)
- (Q4512408) (← links)
- (Q4525557) (← links)
- Compositionality results for different types of parameterization and parameter passing in specification languages (Q5044722) (← links)
- A general framework for modular implementations of modular system specifications (Q5044736) (← links)
- Detecting isomorphisms of modular specifications with diagrams (Q5096385) (← links)
- Toward formal development of programs from algebraic specifications: Model-theoretic foundations (Q5204355) (← links)
- A Homage to Martin Wirsing (Q5256328) (← links)
- Localized Operational Termination in General Logics (Q5256340) (← links)
- The Foundational Legacy of ASL (Q5256352) (← links)
- Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation (Q5256370) (← links)
- The Distributed Ontology, Modeling and Specification Language – DOL (Q5350348) (← links)
