scientific article; zbMATH DE number 683361

MaRDI QIDQ4312482zbMATH OpenFDO

Authors Stefan Michael Kahrs, Donald Sannella, Andrzej Tarlecki

Publication date 29 November 1994

zbMATH Keywords

semanticsspecification language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• The definition of Extended ML: A gentle introduction
• scientific article; zbMATH DE number 3999262
• Modularising the specification of a small database system in extended ML
• A proposed categorical semantics for ML modules
• scientific article; zbMATH DE number 3999261

Cited in

(8)

• Modularising the specification of a small database system in extended ML
• Essential concepts of algebraic specification and program development
• The definition of Extended ML: A gentle introduction
• Towards a semantic theory of CML
• scientific article; zbMATH DE number 2040979 (Why is no real title available?)
• scientific article; zbMATH DE number 3999261 (Why is no real title available?)
• scientific article; zbMATH DE number 3999262 (Why is no real title available?)
• On behavioural abstraction and behavioural satisfaction in higher-order logic

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