Program Logics for Certified Compilers

Summary

Program Logics for Certified Compilers is a literary work^[1].

Key Facts

• Program Logics for Certified Compilers authored Andrew Appel^[2].
• Program Logics for Certified Compilers authored Robert Dockins^[3].
• Program Logics for Certified Compilers authored Aquinas Hobor^[4].
• Program Logics for Certified Compilers authored Lennart Beringer^[5].
• Program Logics for Certified Compilers authored Josiah Dodds^[6].
• Program Logics for Certified Compilers authored Sandrine Blazy^[7].
• Program Logics for Certified Compilers's instance of is recorded as literary work^[8].
• Program Logics for Certified Compilers's language of work or name is recorded as English^[9].
• +2014-01-01T00:00:00Z marks the founding of Program Logics for Certified Compilers^[10].
• Program Logics for Certified Compilers's Open Library ID is recorded as OL21064920W^[11].
• Program Logics for Certified Compilers's has edition or translation is recorded as Q131934618^[12].
• Program Logics for Certified Compilers's number of pages is recorded as {'unit': '1', 'amount': '+472'}^[13].
• Program Logics for Certified Compilers's title is recorded as Program Logics for Certified Compilers^[14].
• Program Logics for Certified Compilers's Goodreads work ID is recorded as 37755170^[15].

Body

Works and Contributions

Authored works include Andrew Appel^[2], a computer scientist^[16], b. 1960^[17], of United States^[18], awarded the SIGPLAN Distinguished Service Award^[19], specialised in programming language^[20]; Robert Dockins^[3]; Aquinas Hobor^[4]; Lennart Beringer^[5]; Josiah Dodds^[6]; and Sandrine Blazy^[7], a computer scientist^[21], awarded the CNRS silver medal^[22].