Program Logics for Certified Compilers

Ediciones (3)

• Program Logics for Certified Compilers (2014)

  Cambridge University Press · inglés · ISBN 9781107256552

• Program Logics for Certified Compilers (2014)

  Cambridge University Press · inglés · ISBN 9781139899383

• Program Logics for Certified Compilers (2014)

  Cambridge University Press · inglés · ISBN 9781107048010

Más obras de Andrew W. Appel

Alan Turing's Systems of Logic: The Princeton Thesis

MModern Compiler Implementation in Java

Modern Compiler Implementation in Java

CCompiling with Continuations

Compiling with Continuations

MModern Compiler Implementation in ML

Modern Compiler Implementation in ML

AAlan Turing's Systems of Logic

Alan Turing's Systems of Logic

MModern Compiler Implement Java 2ed

Modern Compiler Implement Java 2ed

Ver todas las obras de Andrew W. Appel →