Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability

DOI10.1145/2166.357212zbMath0511.68010OpenAlexW1969438769MaRDI QIDQ4749185

Harald Ganzinger

Publication date: 1983

Published in: ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2166.357212

zbMATH Keywords

verificationprogramming languagespersistencyparameterized algebraic specificationsADJ groupcorrectness of parameter passingnesting of parametersobservability concept

Mathematics Subject Classification ID

Data structures (68P05)

Related Items (18)

Structured algebraic specifications: A kernel language ⋮ Behavioural approaches to algebraic specifications. A comparative study ⋮ Parameter-preserving data type specifications ⋮ On observational equivalence and algebraic specification ⋮ Toward formal development of programs from algebraic specifications: Implementations revisited ⋮ A characterization of passing compatibility for parameterized specifications ⋮ Another look at parameterization for oder-sorted algebraic specifications ⋮ Union and actualization of module specifications: Some compatibility results ⋮ Proofs in parameterized specifications ⋮ Order-Sorted Parameterization and Induction ⋮ The equational theory of parameterized specifications ⋮ Observational implementation of algebraic specifications ⋮ Algebraic implementation of abstract data types: a survey of concepts and new compositionality results ⋮ Harald Ganzinger’s Legacy: Contributions to Logics and Programming ⋮ Observational interpretation of Casl specifications ⋮ Compatibility of parameter passing and implementation of parameterized data types ⋮ The Foundational Legacy of ASL ⋮ Toward formal development of programs from algebraic specifications: Parameterisation revisited

This page was built for publication: Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability