The following pages link to (Q3906394):
Displayed 50 items.
- Parameterisation for abstract structured specifications (Q387996) (← links)
- Foundations for structuring behavioural specifications (Q406465) (← links)
- An axiomatic approach to structuring specifications (Q428861) (← links)
- On the existence of translations of structured specifications (Q458375) (← links)
- On the algebra of structured specifications (Q549182) (← links)
- Canonical constraints for parameterized data types (Q580959) (← links)
- Equational partiality (Q585250) (← links)
- On the correctness of modular systems (Q674009) (← links)
- Structural induction in institutions (Q719243) (← links)
- Compatibility of parameter passing and implementation of parameterized data types (Q759479) (← links)
- Semantics of algorithmic languages (Q760200) (← links)
- A set-theoretic semantics for Clear (Q791329) (← links)
- Characterizing specification languages which admit initial semantics (Q792080) (← links)
- A constructive method for abstract algebraic software specification (Q796979) (← links)
- On conservative extensions of syntax in system development (Q811131) (← links)
- A language for configuring multi-level specifications (Q820125) (← links)
- Quasi-Boolean encodings and conditionals in algebraic specification (Q844886) (← links)
- Codatatypes in ML (Q908682) (← links)
- E-ccc: between ccc and topos, - its expressive power from the viewpoint of data type theory (Q908685) (← links)
- Parametrization for order-sorted algebraic specification (Q909448) (← links)
- Observational implementation of algebraic specifications (Q911245) (← links)
- Algebraic domain equations (Q1054464) (← links)
- Parameter passing in algebraic specification languages (Q1056226) (← links)
- Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories (Q1059404) (← links)
- Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories (Q1059405) (← links)
- Structured algebraic specifications: A kernel language (Q1080652) (← links)
- On the existence of free models in abstract algebraic institutions (Q1085969) (← links)
- On observational equivalence and algebraic specification (Q1089796) (← links)
- Toward formal development of programs from algebraic specifications: Implementations revisited (Q1090100) (← links)
- A characterization of passing compatibility for parameterized specifications (Q1090101) (← links)
- Quasi-varieties in abstract algebraic institutions (Q1091132) (← links)
- Crypt-equivalent algebraic specifications (Q1095646) (← links)
- Specifications in an arbitrary institution (Q1108775) (← links)
- Modular algebraic specification of some basic geometrical constructions (Q1115574) (← links)
- Recursion-closed algebraic theories (Q1157899) (← links)
- Algebraic implementation of abstract data types (Q1163361) (← links)
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories (Q1183597) (← links)
- Modularising the specification of a small database system in extended ML (Q1184686) (← links)
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations (Q1196302) (← 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)
- Another look at parameterization for oder-sorted algebraic specifications (Q1342863) (← links)
- Functorial theory of parameterized specifications in a general specification framework (Q1346622) (← links)
- Essential concepts of algebraic specification and program development (Q1377322) (← links)
- May I borrow your logic? (Transporting logical structures along maps) (Q1391728) (← links)
- Proof systems for structured specifications with observability operators (Q1391730) (← links)
- Institutions for logic programming (Q1391732) (← links)
- Detecting equivalence of modular specifications with categorical diagrams (Q1583247) (← links)
- Maude: specification and programming in rewriting logic (Q1608917) (← links)