Pages that link to "Item:Q1080652"

The following pages link to Structured algebraic specifications: A kernel language (Q1080652):

Displaying 15 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)