Fabio Q. B. Da Silva
2 published titles
Observational equivalence and compiler correctness
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
Correctness proofs of compilers and debuggers : an overview of an approach based on structural operational semantics
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
