On local modularity and interpolation in entailment systems.
From MaRDI portal
Publication:1853014
DOI10.1016/S0020-0190(01)00271-XzbMath1043.68075MaRDI QIDQ1853014
Paulo A. S. Veloso, Sheila R. M. Veloso, José Luiz Fiadeiro
Publication date: 21 January 2003
Published in: Information Processing Letters (Search for Journal in Brave)
68Q65: Abstract data types; algebraic specification
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
A language for configuring multi-level specifications, An institution-independent proof of the Beth definability theorem
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the Modularization Theorem for logical specifications
- Generalized interpolation in CASL
- On pushout consistency, modularity and interpolation for logical specifications
- On local modularity variants and \(\Pi\)-institutions
- On a generalized modularization theorem
- Module algebra
- A New, Simpler Proof of the Modularisation Theorem for Logical Specifications