Path PASCAL user manual
- 1 September 1980
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 15 (9) , 15-24
- https://doi.org/10.1145/947706.947708
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Practical applications of path pascal in systems programmingPublished by Association for Computing Machinery (ACM) ,1979
- Predicate path expressionsPublished by Association for Computing Machinery (ACM) ,1979
- Abstract specification of resource accessing disciplinesACM SIGPLAN Notices, 1978
- Software Descriptions with Flow ExpressionsIEEE Transactions on Software Engineering, 1978
- Parallelism, control and synchronization expression in a single assignment languageACM SIGPLAN Notices, 1978
- Modula: A language for modular multiprogrammingSoftware: Practice and Experience, 1977
- Towards the construction of verifiable software systemsACM SIGPLAN Notices, 1976