7 search results - page 1 / 2 » lics 1992 |
LICS
1992
IEEE
14 years 2 months ago
1992
IEEE
LICS
1992
IEEE
14 years 2 months ago
1992
IEEE
LICS
1992
IEEE
14 years 2 months ago
1992
IEEE
LICS
1992
IEEE
14 years 2 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
LICS
1992
IEEE
14 years 2 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...