Program Logics for Certified Compilers - Rilegato

Appel, Andrew W.

 
9781107048010: Program Logics for Certified Compilers
Rilegato
ISBN 10: 110704801X ISBN 13: 9781107048010
Casa editrice: Cambridge University Press, 2014

Sinossi

This tutorial for graduate students covers practical and theoretical aspects of separation logic with constructions and proofs in Coq.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Informazioni sull?autore

Andrew W. Appel is the Eugene Higgins Professor and Chairman of the Department of Computer Science at Princeton University, New Jersey, where he has been on the faculty since 1986. His research is in software verification, computer security, programming languages and compilers, automated theorem proving, and technology policy. He is known for his work on Standard ML of New Jersey and on Foundational Proof-Carrying Code. He is a Fellow of the Association for Computing Machinery, recipient of the ACM SIGPLAN Distinguished Service Award, and has served as Editor in Chief of ACM Transactions on Programming Languages and Systems. His previous books include Compiling with Continuations (1992), the Modern Compiler Implementation series (1998 and 2002) and Alan Turing's Systems of Logic (2012).

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Cambridge University Press
Data di pubblicazione
2014
Lingua
Inglese
ISBN 10 
110704801X
ISBN 13 
9781107048010
Rilegatura
Copertina rigida
Numero di pagine
472
Contatto del produttore
Cambridge University Press
https://www.cambridge.org/

Via Honduras,15
Pomezia
Italia
71
Italia