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 Be the first to leave a comment!