Neuere Konzepte und Entwuerfe für Programmiersprachen

From MaRDI portal

Revision as of 04:58, 31 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:1166266

Jump to:navigation, search

zbMath0488.68013MaRDI QIDQ1166266

Reinhold Weicker

Publication date: 1978

Published in: Informatik Spektrum (Search for Journal in Brave)

zbMATH Keywords

verification programming languages modularization readability program verification abstract data types parallel processes structured programming PASCAL LIS ALPHARD CLU concurrent PASCAL DoD1 EUCLID MODULA strong typing

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Uses Software

Modula

This page was built for publication: Neuere Konzepte und Entwuerfe für Programmiersprachen

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1166266&oldid=13234607"