scientific article; zbMATH DE number 3767008

MaRDI QIDQ3948567zbMATH OpenFDO

Authors Niklaus Wirth

Publication date 1982

zbMATH Keywords

programming languagesprogramming methodologystructured programming

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(16)

• Hardware/software co-design then and now
• Stable marriages by coroutines
• Implementation of the grid file: Design concepts and experience
• Algebraic specification of modules and their basic interconnections
• Solving problems with automated reasoning, expert systems and neural networks
• Modula
• Combining mascot with modula-2 to aid the engineering of real-time systems
• A modula-2 kernel for supporting monitors
• Joyce—A programming language for distributed systems
• 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
• From modula to oberon
• A convenient way to incorporate semantic actions in two‐pass compiling schemes
• Verification of object-oriented programs: a transformational approach
• Issues in the design of a parallel object-oriented language

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