A formal framework for modules with state

DOI10.1007/BFB0014313MaRDI QIDQ4375629zbMATH OpenFDO

Authors Davide Ancona, Elena Zucca

Publication date 11 June 1998

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0014313

zbMATH Keywords

module languagemodule manipulationobject signatures

Mathematics Subject Classification ID

Theory of programming languages (68N15) Abstract data types; algebraic specification (68Q65)

Review text

We address the problem of formal foundations of module manipulation within an imperative context. The paper is organized as follows. In Section 2 we give some definitions and results about signatures with inclusions that will be needed in what follows. In Section 3 we introduce object signatures and structures. In Section 4 we give the syntax and semantics of our module language (each subsection is devoted to an operator). In the conclusion we discuss some aspects of further work. For the entire collection see [Zbl 0851.00082].

Recommendations

• scientific article; zbMATH DE number 140003
• scientific article; zbMATH DE number 408807
• Towards imperative modules: reasoning about invariants and sharing of mutable state
• scientific article; zbMATH DE number 3995028

Cited in

(5)

• Modal functions for concise definition of state machines and products
• From static to dynamic abstract data-types: An institution transformation
• scientific article; zbMATH DE number 7440190 (Why is no real title available?)
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Towards imperative modules: reasoning about invariants and sharing of mutable state

This page was built for publication: A formal framework for modules with state

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4375629)