Forced transformation of Occam programs
- 1 February 1992
- journal article
- Published by Elsevier in Information and Software Technology
- Vol. 34 (2) , 91-96
- https://doi.org/10.1016/0950-5849(92)90109-3
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Automatic binding time analysis for a typed λ-calculusScience of Computer Programming, 1988
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- Proof of correctness of data representationsActa Informatica, 1972