Program Logics for Certified Compilers 1
bokomslag Program Logics for Certified Compilers
Data & IT

Program Logics for Certified Compilers

Andrew W Appel • Andrew W Appel

Inbunden

1519:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 472 sidor
  • 2014
This book covers practical and theoretical separation logic suitable for graduate students. On the practical side, it covers verification in Hoare and separation logics, simple case studies, and the Verifiable C program logic. On the theoretical side, it covers separation algebras, step-indexed models, indirection theory, tree-shares, and the semantic construction of Verifiable C.
  • Författare: Andrew W Appel, Andrew W Appel
  • Format: Inbunden
  • ISBN: 9781107048010
  • Språk: Engelska
  • Antal sidor: 472
  • Utgivningsdatum: 2014-04-21
  • Förlag: Cambridge University Press

Du kanske gillar

  1. bokomslag Compiling with Continuations

    Compiling with Continuations

    Andrew W Appel Andrew W Appel

    Pocket

    1459:-
  2. bokomslag Modern Compiler Implementation in Java

    Modern Compiler Implementation in Java

    Andrew W Appel Andrew W Appel

    Inbunden

    1169:-
  3. bokomslag Modern Compiler Implementation in ML

    Modern Compiler Implementation in ML

    Andrew W Appel, Andrew W Appel, Appel Andrew W

    Pocket

    1199:-
  4. bokomslag Alan Turing's Systems of Logic

    Alan Turing's Systems of Logic

    Andrew W Appel Andrew W Appel

    Pocket

    169:-
  5. bokomslag Modern Compiler Implementation in C

    Modern Compiler Implementation in C

    Andrew W Appel Andrew W Appel

    Pocket

    1229:-
  6. bokomslag Alan Turing's Systems of Logic

    Alan Turing's Systems of Logic

    Andrew W Appel

    Inbunden

    429:-
  7. bokomslag Light Of Parnell

    Light Of Parnell

    John W Appel John W Appel

    Klotband

    579:-
  8. bokomslag Monuments of Early Christian Art

    Monuments of Early Christian Art

    J W Appell J W Appell

    Pocket

    279:-
  9. bokomslag Light Of Parnell

    Light Of Parnell

    John W Appel John W Appel

    Pocket

    409:-
  10. bokomslag Witching Times

    Witching Times

    Alfred W Appel John W Deforest

    Inbunden

    369:-

Andra av samma författare

  1. bokomslag Compiling with Continuations

    Compiling with Continuations

    Andrew W Appel Andrew W Appel

    Pocket

    1459:-
  2. bokomslag Modern Compiler Implementation in ML

    Modern Compiler Implementation in ML

    Andrew W Appel, Andrew W Appel, Appel Andrew W

    Pocket

    1199:-
  3. bokomslag Modern Compiler Implementation in C

    Modern Compiler Implementation in C

    Andrew W Appel Andrew W Appel

    Pocket

    1229:-
  4. bokomslag Modern Compiler Implementation in Java

    Modern Compiler Implementation in Java

    Andrew W Appel Andrew W Appel

    Inbunden

    1169:-
  5. bokomslag Alan Turing's Systems of Logic

    Alan Turing's Systems of Logic

    Andrew W Appel

    Inbunden

    429:-
  6. bokomslag Alan Turing's Systems of Logic

    Alan Turing's Systems of Logic

    Andrew W Appel Andrew W Appel

    Pocket

    169:-