Search Results

Search results for "compilers"

Correct Code by Construction

Conference
Programming Languages

Walter Schulze

Personal

Paul Cadman


Dr. Futamura and the Projection Machine: From Interpreters to Compilers through a Marvelous Device

Conference
Mind the Geek

Edoardo Vacchi

Red Hat

The Call of Ctooling: The Secrets Behind Native Image Building

Conference
Programming Languages

Edoardo Vacchi

Red Hat