scientific article; zbMATH DE number 872094

zbMATH Open0921.68058MaRDI QIDQ4875304FDOQ4875304

Authors María Victoria Cengarle

Publication date 28 April 1996

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(7)

• Generalized interpolation in CASL
• Essential concepts of algebraic specification and program development
• Logical systems for structured specifications.
• An institution-independent proof of the Robinson consistency theorem
• Semantic typing for parametric algebraic specifications
• An axiomatic approach to structuring specifications
• Interpolation in Grothendieck institutions

This page was built for publication:

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