Access Restriction

Author Wirth, Niklaus
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Subject Keyword Process synchronization ♦ Real-time programming ♦ Modula ♦ Program validation ♦ Multiprogramming ♦ Processor sharing
Abstract Programming is divided into three major categories with increasing complexity of reasoning in program validation: sequential programming, multiprogramming, and real-time programming. By adhering to a strict programming discipline and by using a suitable high-level language molded after this discipline, the complexity of reasoning about concurrency and execution time constraints may be drastically reduced. This may be the only practical way to make real-time systems analytically verifiable and ultimately reliable. A possible discipline is outlined and expressed in terms of the language Modula.
Description Affiliation: ETH, Zürich, Switzerland and Xerox Palo Alto Research Center, Palo Alto, CA (Wirth, Niklaus)
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2005-08-01
Publisher Place New York
Journal Communications of the ACM (CACM)
Volume Number 20
Issue Number 8
Page Count 7
Starting Page 577
Ending Page 583

Open content in new tab

   Open content in new tab
Source: ACM Digital Library