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