Logical systems for structured specifications.

DOI10.1016/S0304-3975(01)00317-6zbMath1061.68104OpenAlexW1997753816MaRDI QIDQ1853454

Tomasz Borzyszkowski

Publication date: 21 January 2003

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

Full work available at URL: https://doi.org/10.1016/s0304-3975(01)00317-6

zbMATH Keywords

Formal languagesSpecification languagesFormal semanticsAlgebraic specificationsInterpolation propertyLogical systems

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (21)

A Proof Theoretic Interpretation of Model Theoretic Hiding ⋮ Constructor-based observational logic ⋮ Development graphs -- proof management for structured specifications ⋮ Interpolation in Grothendieck institutions ⋮ An institution-independent proof of the Robinson consistency theorem ⋮ Parameterisation for abstract structured specifications ⋮ Principles of proof scores in CafeOBJ ⋮ Some general results about proof normalization ⋮ Abstract categorical logic ⋮ Interpolation for predefined types ⋮ The Distributed Ontology, Modeling and Specification Language – DOL ⋮ An axiomatic approach to structuring specifications ⋮ Comorphisms of structured institutions ⋮ On Automation of OTS/CafeOBJ Method ⋮ Property-oriented semantics of structured specifications ⋮ On the algebra of structured specifications ⋮ Amalgamation in the semantics of CASL ⋮ An institution-independent proof of the Beth definability theorem ⋮ A semantic approach to interpolation ⋮ Relating CASL with other specification languages: the institution level. ⋮ Generalised graded interpolation

Uses Software

• CoFI

Cites Work

• Simple consequence relations
• Specifications in an arbitrary institution
• Toward formal development of programs from algebraic specifications: Parameterisation revisited
• Structured theory presentations and logic representations
• Essential concepts of algebraic specification and program development
• May I borrow your logic? (Transporting logical structures along maps)
• Model theory
• Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras
• Constructor-based observational logic
• Module algebra
• Institutions: abstract model theory for specification and programming
• Interpolation and compactness in categories of pre-institutions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Logical systems for structured specifications.