scientific article; zbMATH DE number 3999262

zbMATH Open0616.68015MaRDI QIDQ4725720FDOQ4725720

Andrzej Tarlecki, Donald Sannelly

Publication date: 1986

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

Recommendations

• scientific article; zbMATH DE number 683361
• scientific article; zbMATH DE number 3980455
• Institutions: abstract model theory for specification and programming
• Publication:4723263
• The definition of Extended ML: A gentle introduction

zbMATH Keywords

logical systemspecification languageinstitutionsemantics of Extended MLstepwise development of modular programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Special categories (18B99)

Cited In (18)

• Essential concepts of algebraic specification and program development
• A guided tour of the mathematics of MetaSoft '88
• Category-based modularisation for equational logic programming
• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• CoFI with Don Sannella
• Title not available (Why is that?)
• Compatibility problems in the development of algebraic module specifications
• CASL: the Common Algebraic Specification Language.
• A decade of TAPSOFT
• Constructing specification morphisms
• Title not available (Why is that?)
• Title not available (Why is that?)
• Recent Trends in Algebraic Development Techniques
• Parametricity as isomorphism
• Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives
• Structured theory presentations and logic representations
• The definition of Extended ML: A gentle introduction
• Toward formal development of programs from algebraic specifications: Implementations revisited

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