Computer Science/Programming Languages/Compiling

Subject Classification

ACM: Software and its engineering~Compilers

AMS: Computer science / Theory of software / Theory of compilers and interpreters

2022

A Reuse-Based Multi-Stage Compiler Verification for Language IMP

by Pasquale Noce

Jul 10

2021

A Shorter Compiler Correctness Proof for Language IMP

by Pasquale Noce

Jun 04

2020

A Generic Framework for Verified Compilers

by Martin Desharnais

Feb 10

2019

A Verified Code Generator from Isabelle/HOL to CakeML

by Lars Hupel

Jul 08

2017

Minimal Static Single Assignment Form

by Max Wagner and Denis Lohner

Jan 17

2016

Verified Construction of Static Single Assignment Form

by Sebastian Ullrich and Denis Lohner

Feb 05

2014

A Verified Compiler for Probability Density Functions

by Manuel Eberl, Johannes Hölzl and Tobias Nipkow

Oct 09

2008

Normalization by Evaluation

by Klaus Aehlig and Tobias Nipkow

Feb 18

2004

Compiling Exceptions Correctly

by Tobias Nipkow

Jul 09