scientific article; zbMATH DE number 4033047

MaRDI QIDQ3773308zbMATH OpenFDO

Authors

Publication date 1986

zbMATH Keywords

abstract data typesprogram moduleprogramming systemssemantical equations

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3980454
• On the algebraic definition of programming languages
• scientific article; zbMATH DE number 3956412
• scientific article; zbMATH DE number 3890710
• scientific article; zbMATH DE number 44486

Cited in

(11)

• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
• scientific article; zbMATH DE number 5185574 (Why is no real title available?)
• A semantic approach to program modularity
• scientific article; zbMATH DE number 3980454 (Why is no real title available?)
• scientific article; zbMATH DE number 4050933 (Why is no real title available?)
• scientific article; zbMATH DE number 4084991 (Why is no real title available?)
• scientific article; zbMATH DE number 194122 (Why is no real title available?)
• scientific article; zbMATH DE number 1983047 (Why is no real title available?)
• Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday
• scientific article; zbMATH DE number 6315451 (Why is no real title available?)
• Tools and Algorithms for the Construction and Analysis of Systems

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