article · IEEE Transactions on Software Engineering · 1977
Experience with Modular Concurrent Programming
Cited by 20Abstract and details only
Abstract
This paper summarizes the initial experience with the programming language Concurrent Pascal in the design of three model operating systems. A Concurrent Pascal program consists of modules called processes, monitors, and classes. The compiler checks that the data structures of each module are accessed only by the operations defined in the module. The author emphasizes that the creative aspect of program construction is the initial selection of modules and the connection of them into hierarchical structures. By comparison the detailed implementation of each module is straightforward. The most important result is that it is possible to build a concurrent program of one thousand lines out of one-page modules that can be comprehended at a glance.
Cite this paper
Hansen, P. B. (1977). Experience with Modular Concurrent Programming. IEEE Transactions on Software Engineering, SE-3(2), 156–159. https://doi.org/10.1109/tse.1977.229907
Hansen, Per Brinch. “Experience with Modular Concurrent Programming.” IEEE Transactions on Software Engineering, vol. SE-3, no. 2, 1977, pp. 156–59, https://doi.org/10.1109/tse.1977.229907.
Hansen, Per Brinch. 1977. “Experience with Modular Concurrent Programming.” IEEE Transactions on Software Engineering SE-3 (2): 156–59. https://doi.org/10.1109/tse.1977.229907.
Hansen, P.B. (1977) ‘Experience with Modular Concurrent Programming’, IEEE Transactions on Software Engineering, SE-3(2), pp. 156–159. Available at: https://doi.org/10.1109/tse.1977.229907.
@article{hansen1977experience,
title = {{Experience with Modular Concurrent Programming}},
author = {Hansen, Per Brinch},
journal = {IEEE Transactions on Software Engineering},
volume = {SE-3},
number = {2},
pages = {156--159},
year = {1977},
doi = {10.1109/tse.1977.229907}
}Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.
Related papers
GEM: A tool for concurrency specification and verification
Amy L. Lansky, Susan S. Owicki · ACM Symposium on Principles of Distributed Computing (PODC) · 1983
Cited by 8Open access
Programming concurrency and synchronisation in Actel
Zair Abdelouahab, Peter M. Dew · IEEE International Conference on Parallel and Distributed Systems (ICPADS) · 2002
Cited by 1
Teaching Concurrent and Distributed Programming With Concepts Over Mathematical Proofs
David Marchant, Carl‐Johannes Johnsen, Brian Vinter et al. · IEEE/ACM Workshop on Education for High-Performance Computing (EduHPC) · 2019
Cited by 2
Specific proposals for the use of petri nets in a concurrent programming course
João Paulo Barros · ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE) · 2002
Cited by 3
How do programs become more concurrent: a story of program transformations
Danny Dig, John Javier Marrero, Michael D. Ernst · International Workshop on Multicore Software Engineering (IWMSE) · 2011
Cited by 29
Concurrency and Reversibility
Irek Ulidowski, Iain Phillips, Shoji Yuen · Lecture notes in computer science · 2014
Cited by 27
Discovering Concurrency Errors
João Lourenço, Jan Fiedor, Bohuslav Křena et al. · Lecture notes in computer science · 2018
Cited by 12
A software environment for concurrent coordinated programming
A. A. Holzbacher · Lecture notes in computer science · 1996
Cited by 37