Access Restriction

Author Hoare, C. A. R.
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Subject Keyword Coroutines ♦ Conditional critical regions ♦ Multiple entries ♦ Programming ♦ Procedures ♦ Recursion ♦ Programming languages ♦ Program structures ♦ Input ♦ Parallel programming ♦ Iterative arrays ♦ Multiple exits ♦ Concurrency ♦ Guarded commands ♦ Output ♦ Monitors ♦ Data representations ♦ Nondeterminacy ♦ Programming primitives ♦ Classes
Abstract This paper suggests that input and output are basic primitives of programming and that parallel composition of communicating sequential processes is a fundamental program structuring method. When combined with a development of Dijkstra's guarded command, these concepts are surprisingly versatile. Their use is illustrated by sample solutions of a variety of familiar programming exercises.
Description Affiliation: Queen's Univ. of Belfast, Belfast, Northern Ireland (Hoare, C. A. R.)
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 26
Issue Number 1
Page Count 7
Starting Page 100
Ending Page 106

Open content in new tab

   Open content in new tab
Source: ACM Digital Library