Search filters

Authors whose works are in public domain in at least one jurisdiction

List of works by Andrew Appel

Deriving efficient program transformations from rewrite rules

scientific article published on 19 August 2021

Garbage collection can be faster than stack allocation

Iterated register coalescing

article published in 1996

Optimal spilling for CISC machines with few registers

Optimal spilling for CISC machines with few registers

Position paper: the science of deep specification

scientific article published in October 2017

Program Logics for Certified Compilers

book by Andrew Appel

SSA is functional programming

article published in 1998

Semantic foundations for typed assembly languages

The world's fastest Scrabble program

Unrolling lists

Program Logics for Certified Compilers ⬇️

2014 hardcover edition (en)

Paulina is supported by:

About Paulina

Help