H ?
«
‹
←
→
›
»
Language peer sets for Path Pascal:
United States↑
United States/1978↑
Designed 1978 ↑
1970s languages ↑
Fourth generation↑
High Cold War↑
Genus Pascals ↑
Multi-purpose ↑
Pascals↑
Wirth Algols↑
Generation of Algol 60 ↑
Pascals/1978↑
Wirth Algols/1978↑
Generation of Algol 60/1978↑
Pascals/United States↑
Wirth Algols/United States↑
Generation of Algol 60/United States↑
Multi-purpose ↑
Multi-purpose/1978↑
Multi-purpose/us ↑
Path Pascal(ID:922/pat005)
alternate simple view
Country: United States
Designed 1978
Published: 1978
Genus: Pascals
Sammet category: Multi-purpose
Parallel extension of Pascal. Processes have shared access to data objects. Constraints on their synchronization are specified in a path expression.
Structures:
Related languages
References:
Campbell, R. H., and A. N. Habermann, (1974) Campbell, R. H., and A. N. Habermann, "The Specification of Process Synchronization by Path Expressions" pp89-102
in Proc. (1974) Proc. Programming Syraposium, Paris 1974, edited by, G. Goos and J. Hartmanis, Springer- Verlag, New York (1974).
Habermann, A. N., (1975) Habermann, A. N., "Path Expressions," Department of Computer Science Technical Report, Carnegie-Mellon University, June, 1975.
in Proc. (1974) Proc. Programming Syraposium, Paris 1974, edited by, G. Goos and J. Hartmanis, Springer- Verlag, New York (1974).
Campbell, R. H., (1977) Campbell, R. H., "Path Expressions: A technique for specifying process synchronization," Ph.D. Thesis, The University of Newcastle upon Tyne, August, 1976; Also, Department of Computer Science Technical Report, University of Illinois at Urbana-Champaign, UIUCDCS-R-77-863, May, 1977.
in Proc. (1974) Proc. Programming Syraposium, Paris 1974, edited by, G. Goos and J. Hartmanis, Springer- Verlag, New York (1974).
Campbell, R. H. and T. J. Miller, (1978) Campbell, R. H. and T. J. Miller, "A Path Pascal Language" Report No. UIUCDCS-R-78-919, University of Illinois, Urbana, Illinois 1978
Abstract
in Proc. (1974) Proc. Programming Syraposium, Paris 1974, edited by, G. Goos and J. Hartmanis, Springer- Verlag, New York (1974).
Miller, T. J., (1978) Miller, T. J., "An Implementation of Path Expressions in Pascal," M. S. Thesis, University of Illinois, Urbana, May, 1978.
in Proc. (1974) Proc. Programming Syraposium, Paris 1974, edited by, G. Goos and J. Hartmanis, Springer- Verlag, New York (1974).
Andler, Sten, (1979) Andler, Sten, "Predicate Path Expressions," pp226-236
Abstract
DOI
in [POPL 1979] (1979) [ACM SIGACT-SIGPLAN] Proceedings of the 6th Annual ACM Symposium on Principles of Programming Languages, San Antonio, Texas
Campbell, R. H. and R. B. Kolstad, (1979) Campbell, R. H. and R. B. Kolstad, "Path Expressions in Pascal"
Abstract
in [Proceedings] (1979) Proceedings of the 4th International Conference on Software Engineering 1979, Munich, Germany
Campbell, R. H. and R. B. Kolstad, (1979) Campbell, R. H. and R. B. Kolstad, "Practical Applications of Path Expressions to Systems Programming," ACM79, Detroit, 1979.
in [Proceedings] (1979) Proceedings of the 4th International Conference on Software Engineering 1979, Munich, Germany
McKendry, Martin and Roy Campbell (1979) McKendry, Martin and Roy Campbell "The Path Pascal User Manual"
University of Illinois at Urbana-Champaign 1979.
Abstract
in [Proceedings] (1979) Proceedings of the 4th International Conference on Software Engineering 1979, Munich, Germany
McKendry, Martin and Roy Campbell, (1979) McKendry, Martin and Roy Campbell, "PathOS", Technical Report, University of Illinois at Urbana-Champaign, UIUCDCS-R-80-1016, 1979.
in [Proceedings] (1979) Proceedings of the 4th International Conference on Software Engineering 1979, Munich, Germany
Campbell, R. H. and R. B. Kolstad, (1980) Campbell, R. H. and R. B. Kolstad, "A Practical Implementation of Path Pascal," Technical Report, Department of Computer Science, University of Illinois at Urbana-Champaign, UIUCDCS-R-80-1008, 1980.
in [Proceedings] (1979) Proceedings of the 4th International Conference on Software Engineering 1979, Munich, Germany
Campbell, R.H. (1980) Campbell, R.H. "An Overview of Path Pascal's Design"
in [SIGPLAN] (1980) SIGPLAN Notices 15(09) September 1980
Horton, Kurt H. and Roy H. Campbell, (1980) Horton, Kurt H. and Roy H. Campbell, "PDP-11 Path Pascal Implementation Manual," Technical Report, University of Illinois at Urbana-Champaign, to be published, 1980.
in [SIGPLAN] (1980) SIGPLAN Notices 15(09) September 1980
Kolstad, Robert B. and Campbell, Roy H. (1980) Kolstad, Robert B. and Campbell, Roy H. "Path PASCAL user manual" pp15-24
Abstract
Online copy
Extract:
Introduction
in [SIGPLAN] (1980) SIGPLAN Notices 15(09) September 1980
Terwilliger, Robert B. and Campbell, Roy H. (1986) Terwilliger, Robert B. and Campbell, Roy H. "PLEASE:Predictable Logic based ExecutAble SpeCifications" Proceedings of the fourteenth annual ACM Annual Computer Science Conference Cincinnati, Ohio, United States 1986 pp349-358
Extract:
Introduction
Extract:
VDM and PLEASE
Extract:
Path Pascal and PLEASE
Extract:
about PLEASE
Extract:
Plan
in [SIGPLAN] (1980) SIGPLAN Notices 15(09) September 1980
Campbell, R. H.; Render, H.; Sum, R. N. Jr.; and (1988) Campbell, R. H.; Render, H.; Sum, R. N. Jr.; and Terwilliger, R. "Automating the Software Development Process" in Proceedings of the 1988 ACM Computer Science Conference, pages 299--308, Atlanta, GA, February 1988.
in [SIGPLAN] (1980) SIGPLAN Notices 15(09) September 1980
Terwilliger, R. B. and Campbell, R. H. (1988) Terwilliger, R. B. and Campbell, R. H. "An early report on ENCOMPASS". In Proceedings of 10th ICSE, Singapore, IEEE Computer Science Press, 1988
Online copy
in [SIGPLAN] (1980) SIGPLAN Notices 15(09) September 1980
RD Dowsing and R Elliott (1997) RD Dowsing and R Elliott "Programming a bounded buffer using the object and path expression constructs of Path Pascal" pp423-429
Abstract
Online copy
in Vowels, R. (1997) Vowels, R. A. Introduction to PL/I, Algorithms, and Structured Programming , 3rd Ed., Sept. 1997, ISBN 0-9596384-9-0.
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE 
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|