Results 311 to 319 of about 37,010 (319)

Formal verification of a realistic compiler

Communications of the ACM, 2009
exaly  

A Formally Verified Compiler Back-end

Journal of Automated Reasoning, 2009
exaly  

The visual compiler-compiler SIC (abstract)

ACM SIGPLAN OOPS Messenger, 1992
openaire   +2 more sources

Broadway: A Compiler for Exploiting the Domain-Specific Semantics of Software Libraries

Proceedings of the IEEE, 2005
exaly  

Compilations of Curiosities

Oxford Art Journal, 1996
openaire   +2 more sources

The Design and Implementation of FFTW3

Proceedings of the IEEE, 2005
exaly  

Ein einfacher Compiler-Compiler für Mikrocomputer / Α simple compiler-compiler for microcomputer

itit, 1984
openaire   +2 more sources

Unicode Compiler-Compiler

2006
openaire   +2 more sources

Numba

2015
exaly