Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 210,026,469 papers from all fields of science
Search
Sign In
Create Free Account
Concurrent Pascal
Concurrent Pascal was designed by Per Brinch Hansen for writing concurrent computing programs such as operating systems and real-time monitoring…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
14 relations
Computer Pioneer Award
Concurrent computing
Goto
History of Programming Languages
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
1993
Review
1993
Monitors and concurrent Pascal: a personal history
P. B. Hansen
HOPL-II
1993
Corpus ID: 14873640
This is a personal history of the early development of the monitor concept and its implementation in the programming language…
Expand
1993
1993
A brief introduction to concurrent Pascal
C. Hayden
HOPL-II
1993
Corpus ID: 2094313
Concurrent Pascal is designed for writing concurrent programs such as operating systems and real-time monitoring systems on…
Expand
Highly Cited
1982
Highly Cited
1982
Resilient Extended True-Copy Token Scheme for a Distributed Database System
Toshimi Minoura
,
G. Wiederhold
IEEE Transactions on Software Engineering
1982
Corpus ID: 14251010
A new resiliency scheme for a distributed database system with replicated data is presented. One salient feature of the scheme is…
Expand
1982
1982
A FORTRAN implementation of Concurrent Pascal
J. Kerridge
Software, Practice & Experience
1982
Corpus ID: 34030561
This paper describes the transportation of sequential and concurrent Pascal from the SOLO distribution tape to a non‐PDP‐11 like…
Expand
1981
1981
The design of Edison
P. B. Hansen
Software, Practice & Experience
1981
Corpus ID: 30191817
This paper describes the considerations behind the design of the programming language Edison including the reasons why a large…
Expand
Highly Cited
1980
Highly Cited
1980
An Axiomatic Approach to Information Flow in Programs
G. Andrews
,
Richard P. Reitman
TOPL
1980
Corpus ID: 1457607
A new approach to information flow in sequential and parallel programs is presented. Flow proof rules that capture the…
Expand
1979
1979
Concurrent Pascal with backward error recovery: Implementation
S. Shrivastava
Software, Practice & Experience
1979
Corpus ID: 13034074
The implementation of backward error recovery features requires the support of a run time subsystem (called the recovery system…
Expand
1978
1978
Scheduling in Concurrent Pascal
F. Schneider
,
A. Bernstein
OPSR
1978
Corpus ID: 15796318
The monitor construct [H74] [B75] and the programming language Concurrent Pascal [B75] have provided a basis for research into…
Expand
1977
1977
A Concurrent Pascal Compiler for Minicomputers
A. Hartmann
Lecture Notes in Computer Science
1977
Corpus ID: 2960929
Definitions.- Past Structure.- Lexical analysis.- Syntax analysis.- Name analysis.- Declaration analysis.- Body analysis.- Code…
Expand
1975
1975
The purpose of concurrent Pascal
P. B. Hansen
Reliable Software
1975
Corpus ID: 15938854
This is the first of three papers that describe a new programming language for structured programming of computer operating…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE