scientific article

zbMath0416.68003MaRDI QIDQ3206268

Michael McKeag, Jim Welsh

Publication date: 1980

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Pascalprogramming languagecompilerstructured programmingoperating systemprogramming stylesystem programming

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of operating systems (68N25)

Related Items

An experiment in parallel program design ⋮ The design of Edison ⋮ Pascal-plus—another language for modular multiprogramming ⋮ Two examples of block structuring ⋮ Towards a language for concurrent processes