scientific article
From MaRDI portal
Publication:3948567
zbMath0487.68004MaRDI QIDQ3948567
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01)
Related Items (16)
Algebraic specification of modules and their basic interconnections ⋮ A modula-2 kernel for supporting monitors ⋮ Joyce—A programming language for distributed systems ⋮ Solving problems with automated reasoning, expert systems and neural networks ⋮ Writing concurrent assemblers–a case study in path pascal ⋮ Another approach to the implementation of synchronization primitives ⋮ The suitability for master/slave concurrency of concurrent euclid, ada and modula ⋮ Issues in the design of a parallel object-oriented language ⋮ Verification of object-oriented programs: a transformational approach ⋮ From modula to oberon ⋮ A convenient way to incorporate semantic actions in two‐pass compiling schemes ⋮ Modula ⋮ Hardware/software co-design then and now ⋮ Stable marriages by coroutines ⋮ Combining mascot with modula-2 to aid the engineering of real-time systems ⋮ Implementation of the grid file: Design concepts and experience
This page was built for publication:
