A front-end compiler compiles source code into intermediate code, that may later be compiled into binary code. The source code defines an execution scope and includes a contract. When a contract is encountered at runtime of an execution scope, further execution of that execution scope is conditioned on whether a predicate associated with the contract is true. The front-end compiler operates so as to preserve the contract so that the contract continues to be semantically structured such that the predicate may be removed from the intermediate language code. The contract may thus continue to be understood by semantic analysis of the contract. Thus, the predicate may be understood by static analysis tools that operate on the intermediate code.
申请公布号
WO2014159373(A3)
申请公布日期
2014.11.20
申请号
WO2014US23258
申请日期
2014.03.11
申请人
MICROSOFT CORPORATION
发明人
DUFFY, JOHN J.;PARSONS, JARED PORTER;GORDON, COLIN STEBBINS;BROMFIELD, ALEXANDER DANIEL;TAILLEFER, MARTIN;BARTOLOMEO, DAVID ALLEN;BARNETT, MICHAEL