7 search results - page 1 / 2 » lics 1992 |
97
Voted
LICS
1992
IEEE
15 years 7 months ago
1992
IEEE
114
Voted
LICS
1992
IEEE
15 years 7 months ago
1992
IEEE
The calculus of binary relations was introduced by De Morgan in 1860, and was subsequently greatly developed by Peirce and Schr
156
Voted
LICS
1992
IEEE
15 years 7 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...