Formally Proving a Compiler Transformation Safe.
Saved in:
| Title: | Formally Proving a Compiler Transformation Safe. |
|---|---|
| Authors: | Breitner, Joachim |
| Source: | ACM / SIGPLAN Notices; Dec2015, Vol. 50 Issue 12, p35-46, 12p |
| Database: | Complementary Index |
Full Text Finder 
Nájsť tento článok vo Web of Science | ISSN: | 03621340 |
|---|---|
| DOI: | 10.1145/2887747.2804312 |