Development graphs -- proof management for structured specifications

DOI10.1016/j.jlap.2005.09.005zbMath1088.68114OpenAlexW2129292012MaRDI QIDQ2369033

Dieter Hutter, Till Mossakowski, Serge Autexier

Publication date: 28 April 2006

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2005.09.005

zbMATH Keywords

Algebraic specificationInstitutionsProof calculusStructuring

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items

A Proof Theoretic Interpretation of Model Theoretic Hiding ⋮ Towards Logical Frameworks in the Heterogeneous Tool Set Hets ⋮ Structure Formation in Large Theories ⋮ A scalable module system ⋮ Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design ⋮ An axiomatic approach to structuring specifications ⋮ Property-oriented semantics of structured specifications ⋮ Change Management for Heterogeneous Development Graphs ⋮ Integrating Maude into Hets ⋮ Towards an Institutional Framework for Heterogeneous Formal Development in UML ⋮ The Foundational Legacy of ASL

Uses Software

• Hets

Cites Work

• Specifications in an arbitrary institution
• Essential concepts of algebraic specification and program development
• Proof systems for structured specifications with observability operators
• Amalgamation in the semantics of CASL
• Logical systems for structured specifications.
• Structured theories and institutions
• Module algebra
• Institutions: abstract model theory for specification and programming
• Composing Hidden Information Modules over Inclusive Institutions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Development graphs -- proof management for structured specifications