Searching for "ICCL'92" – sorted by Relevance.
-
An Automatically Generated and Provably Correct Compiler for a Subset of Ada
- specification easy to read and pleasant to work with. In Proc. ICCL'92, Fourth IEEE International Conference
- Cited by 11 (2 self) – Add To MetaCart

