Toward formal development of programs from algebraic specifications: Parameterisation revisited

DOI10.1007/BF01191893zbMath0790.68077MaRDI QIDQ1323357

Donald Sannella, Stefan Sokołowski, Andrzej Tarlecki

Publication date: 4 July 1994

Published in: Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

algebraic specificationsparameterizationformal program developmentASL specification language

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)

Related Items

Structured theory presentations and logic representations, Compositionality results for different types of parameterization and parameter passing in specification languages, Manipulating algebraic specifications with term-based and graph-based representations, Functorial theory of parameterized specifications in a general specification framework, Generalized interpolation in CASL, Program specification and data refinement in type theory, Essential concepts of algebraic specification and program development, Semantic typing for parametric algebraic specifications, Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives, The definition of Extended ML: A gentle introduction, Unnamed Item, Unnamed Item, Modularising the specification of a small database system in extended ML, Unnamed Item, Property-oriented semantics of structured specifications, Amalgamation in the semantics of CASL, CoFI with Don Sannella, Subtyping dependent types, Toward formal development of programs from algebraic specifications: Model-theoretic foundations, The Foundational Legacy of ASL, CASL: the Common Algebraic Specification Language., Logical systems for structured specifications., OBSCURE, a specification language for abstract data types, Toward formal development of programs from algebraic specifications: Parameterisation revisited

Uses Software

• OBSCURE
• Nuprl

Cites Work

• Structured algebraic specifications: A kernel language
• On observational equivalence and algebraic specification
• Toward formal development of programs from algebraic specifications: Implementations revisited
• The calculus of constructions
• Specifications in an arbitrary institution
• Toward formal development of programs from algebraic specifications: Parameterisation revisited
• Parameterized Programming
• On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
• A framework for defining logics
• Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item