scientific article; zbMATH DE number 683361

zbMATH Open0813.68132MaRDI QIDQ4312482FDOQ4312482

Authors: Stefan Michael Kahrs, Donald Sannella, Andrzej Tarlecki 

Publication date: 29 November 1994

Title of this publication is not available (Why is that?)

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

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)

Cited In (7)

• Title not available (Why is that?)
• Essential concepts of algebraic specification and program development
• On behavioural abstraction and behavioural satisfaction in higher-order logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)