PCC Framework for Program-Generators ∗


In this paper, we propose a proof-carrying code framework for program-generators. The enabling technique is abstract parsing, a static string analysis technique, which is used as a component for generating and validating certificates. Our framework provides an efficient solution for certifying program-generators whose safety properties are expressed in… (More)


2 Figures and Tables

Slides referencing similar topics