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) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

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

(7)

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

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)