IEEE - Institute of Electrical and Electronics Engineers, Inc. - A Certifying Compiler for Clike Subset of C Language

2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE)

Author(s): Zhaopeng Li ; Zhong Zhuang ; Yiyun Chen ; Simin Yang ; Zhenting Zhang ; Dawei Fan
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 August 2010
Conference Location: Taipei, Taiwan, Taiwan
Conference Date: 25 August 2010
Page(s): 47 - 56
ISBN (Paper): 978-1-4244-7847-7
DOI: 10.1109/TASE.2010.8
Regular:

Proof-carrying code (PCC) is a technique that allows code consumers to check whether the code is safe to execute or not through a formal safety proof provided by the code producer. And a... View More

Advertisement