LICS 1992 Symposium on Logic in Computer Science
 |  |
Wall of Fame | Most Viewed LICS-1992 Paper
LICS
1992
IEEE
14 years 4 months ago
1992
IEEE
We sketch a methodology for the verification of compiler correctness based on the LF Logical Framework as realized within the Elf programming language. We have applied this techni...
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website.
Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
| Id | Read | Views | Title | Status |
|---|---|---|---|---|
| 1 |  | 146 | ||
| 2 | | 143 | ||
| 3 | | 130 | ||
| 4 | | 110 | ||
| 5 | | 104 | ||
| 6 | | 99 | ||
| 7 | | 78 |