Generic constructions for behavioral specifications

DOI10.1016/J.TCS.2011.10.025zbMath1282.68169OpenAlexW1975098595MaRDI QIDQ764311

Marius Petria

Publication date: 13 March 2012

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2011.10.025

zbMATH Keywords

stabilityalgebraic specificationsrefinementparametricitybehavioral specificationsgeneric constructionstheorems for free

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (1)

Generic constructions for behavioral specifications

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Foundations of algebraic specification and formal software development.
• Generic constructions for behavioral specifications
• Toward formal development of programs from algebraic specifications: Implementations revisited
• Constructor-based observational logic
• Institutions: abstract model theory for specification and programming
• Theoretical Aspects of Computing – ICTAC 2005
• Observational interpretation of Casl specifications
• Proving Behavioral Refinements of COL-specifications

This page was built for publication: Generic constructions for behavioral specifications