On the existence of translations of structured specifications

DOI10.1016/j.ipl.2014.08.007zbMath1456.68100OpenAlexW1983571951MaRDI QIDQ458375

Răzvan Diaconescu

Publication date: 7 October 2014

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2014.08.007

zbMATH Keywords

specification languagesstructured institutionsabstractly structured specificationsmodularisationtranslations of structured specifications

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Parameterisation for abstract structured specifications
• Foundations for structuring behavioural specifications
• An axiomatic approach to structuring specifications
• On the algebra of structured specifications
• Foundations of algebraic specification and formal software development.
• Institution morphisms
• An encoding of partial algebras as total algebras
• Specifications in an arbitrary institution
• Comorphisms of structured institutions
• Institution-independent model theory
• A Semantic Account for Modularity in Multi-language Modelling of Search Problems
• Abstract Beth definability in institutions
• Institutions: abstract model theory for specification and programming

This page was built for publication: On the existence of translations of structured specifications