On the existence of translations of structured specifications

DOI10.1016/J.IPL.2014.08.007zbMATH Open1456.68100OpenAlexW1983571951MaRDI QIDQ458375FDOQ458375

Authors: 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

Recommendations

• Publication:4941923
• Publication:2763984
• Foundations of heterogeneous specification.
• Comorphisms of structured institutions
• Towards heterogeneous specifications

zbMATH Keywords

specification languagesstructured institutionsabstractly structured specificationsmodularisationtranslations of structured specifications

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cites Work

• Institution-independent model theory
• Institutions: abstract model theory for specification and programming
• Title not available (Why is that?)
• A semantic account for modularity in multi-language modelling of search problems
• Foundations of algebraic specification and formal software development.
• Institution morphisms
• Parameterisation for abstract structured specifications
• An axiomatic approach to structuring specifications
• On the algebra of structured specifications
• Specifications in an arbitrary institution
• Title not available (Why is that?)
• Foundations for structuring behavioural specifications
• Abstract Beth definability in institutions
• Comorphisms of structured institutions
• Towards heterogeneous specifications
• Title not available (Why is that?)
• An encoding of partial algebras as total algebras

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q458375)