Completeness of a logical system for structured specifications

DOI10.1007/3-540-64299-4_29MaRDI QIDQ3839053zbMATH OpenFDO

Authors Tomasz Borzyszkowski

Publication date 26 October 1998

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-64299-4_29

zbMATH Keywords

algebraic specificationscompletenessformal systeminstitutionstructured specifications

Mathematics Subject Classification ID

Logic in computer science (03B70) Abstract model theory (03C95) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• Logical systems for structured specifications.
• A relatively complete calculus for structured heterogeneous specifications
• Proof systems for structured specifications and their refinements
• Moving specification structures between logical systems

Cited in

(7)

• On institutions for modular coalgebraic specifications.
• Logical systems for structured specifications.
• scientific article; zbMATH DE number 3557785 (Why is no real title available?)
• scientific article; zbMATH DE number 844484 (Why is no real title available?)
• A relatively complete calculus for structured heterogeneous specifications
• Term Rewriting and Applications
• Generalized interpolation in CASL

Describes a project that uses

Uses Software

• CoFI

This page was built for publication: Completeness of a logical system for structured specifications

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