Pages that link to "Item:Q4749185"

The following pages link to Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability (Q4749185):

Displaying 18 items.

• Compatibility of parameter passing and implementation of parameterized data types (Q759479) (← links)
• Observational implementation of algebraic specifications (Q911245) (← links)
• Structured algebraic specifications: A kernel language (Q1080652) (← links)
• Parameter-preserving data type specifications (Q1089794) (← 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)
• Union and actualization of module specifications: Some compatibility results (Q1091801) (← links)
• The equational theory of parameterized specifications (Q1111364) (← links)
• Toward formal development of programs from algebraic specifications: Parameterisation revisited (Q1323357) (← links)
• Behavioural approaches to algebraic specifications. A comparative study (Q1338907) (← links)
• Another look at parameterization for oder-sorted algebraic specifications (Q1342863) (← links)
• Order-Sorted Parameterization and Induction (Q3184745) (← links)
• Algebraic implementation of abstract data types: a survey of concepts and new compositionality results (Q4882492) (← links)
• Harald Ganzinger’s Legacy: Contributions to Logics and Programming (Q4916069) (← links)
• Proofs in parameterized specifications (Q5055758) (← links)
• The Foundational Legacy of ASL (Q5256352) (← links)
• Observational interpretation of Casl specifications (Q5458070) (← links)