Program logics for certified compilers

著者

• Appel, Andrew W.
• Dockins, Robert
• Hobor, Aquinas
• Beringer, Lennart
• Dodds, Josiah
• Stewart, Gordon
• Blazy, Sandrine
• Leroy, Xavier

書誌事項

Program logics for certified compilers

Andrew W. Appel ... [el al.]

Cambridge University Press, 2014

• : hardback

注記

Other authors: Robert Dockins, Aquinas Hobor, Lennart Beringer, Josiah Dodds, Gordon Stewart, Sandrine Blazy, Xavier Leroy

Includes bibliographical references (p. 442-451) and index

• NII書誌ID(NCID): BB17632633
• ISBN:
  • 9781107048010
• LCCN: 2014001794
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: New York, N.Y.
• ページ数/冊数: x, 458 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA76.76.V47
  • DC23 : 005.1/4
• 件名:
  • LCSH : Computer software -- Verification
  • LCSH : Logic, Symbolic and mathematical
  • LCSH : Compilers (Computer programs)