Books and papers every graduate student should read

Une série de références de livres pour tout étudiant en informatique (en particulier autour des langages de programmation et des compilateurs).

Books and papers every graduate student should read

Denotational Semantics

Denotational Semantics : A METHODOLOGY FOR LANGUAGE DEVELOPMENT

David A. Schmidt

https://www.scss.tcd.ie/Andrew.Butterfield/Teaching/CS4003/DenSem-full-book.pdf

haXe

haXe est un langage de programmation dont le compilateur permet de générer du PHP, du C++, du Flash, etc. A tester ! Des commentaires sur ce langages seront les bienvenus.
Tutoriels - haXe

Interstices - À propos des compilateurs

Instructif à propos des compilateurs et de la preuve de programmes :
Interstices - À propos des compilateurs

A voir aussi : http://interstices.info/jcms/n_52365/comment-faire-confiance-a-un-compilateur