Microsoft Technology Licensing, LLC

Colin Stebbins Gordon

John Joseph Duffy

Martin Taillefer

Michael Barnett

Jared Porter Parsons

Alexander Daniel Bromfield

David Allen Bartolomeo

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.

Growing community of inventors

Seattle, WA, United States of America

Colin Stebbins Gordon