scientific article; zbMATH DE number 3878342

MaRDI QIDQ3343424zbMATH OpenFDO

Authors Tim Maibaum, M. R. Sadler, Paulo A. S. Veloso

Publication date 1984

zbMATH Keywords

abstract data typesimplementationspecification

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• scientific article; zbMATH DE number 3936498
• Semantical analysis of specification logic
• Abstract implementation of algebraic specifications in a temporal logic language
• Semantical analysis of specification logic. II
• scientific article; zbMATH DE number 4035111

Cited in

(12)

• Specification and initialization of a logic computer system
• On observational equivalence and algebraic specification
• Implementing specifications by dynamic inheritance
• On pushout consistency, modularity and interpolation for logical specifications
• On local modularity variants and \(\Pi\)-institutions
• On methods for safe introduction of operations
• scientific article; zbMATH DE number 3936498 (Why is no real title available?)
• scientific article; zbMATH DE number 1368953 (Why is no real title available?)
• scientific article; zbMATH DE number 1902048 (Why is no real title available?)
• On the Modularization Theorem for logical specifications
• On the fragility of interpolation
• A language for configuring multi-level specifications

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 Q3343424)