On the formal definition of ADA
- 1 January 1980
- book chapter
- Published by Springer Nature
- p. 475-489
- https://doi.org/10.1007/3-540-10250-7_34
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Edinburgh LCFLecture Notes in Computer Science, 1979
- Standard semanticsPublished by Springer Nature ,1979
- Full abstraction for a simple parallel programming languagePublished by Springer Nature ,1979
- Semantics of Concurrent ComputationPublished by Springer Nature ,1979