Results 231 to 240 of about 20,367 (260)

Random Testing for C and C++ Compilers With YARPGen

2020
John Regehr
exaly  

compiler compiler

2000
openaire   +1 more source

Partial Evaluation of Computation Process--An Approach to a Compiler-Compiler

Higher-Order and Symbolic Computation, 1999
Yoshihiko Futamura
exaly  

MLIR: Scaling Compiler Infrastructure for Domain Specific Computation

2021
Uday Bondhugula, Albert Cohen, Oleksandr Zinenko   +2 more
exaly  

Compile-Time Analysis of Compiler Frameworks for Query Compilation

2024 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)
Alexis Engelke, Tobias Schwarz
openaire   +2 more sources

BinComp: A Stratified Approach to Compiler Provenance Attribution

Digital Investigation, 2015
Paria Shirani, Mourad Debbabi, Ashkan Rahimian   +2 more
exaly  

compiler compiler

2011
openaire   +1 more source

Formal Certification of a Compiler Back-End Or

ACM SIGPLAN Notices, 2006
Xavier Leroy
exaly  

A Formally Verified Compiler Back-End

Journal of Automated Reasoning, 2009
Xavier Leroy
exaly  

The Jastadd Extensible Java Compiler

ACM SIGPLAN Notices, 2007
Görel Hedin, Torbjörn Ekman
exaly