US Patent 7526755 Plug-in pre- and postconditions for static program analysis
Patent 7526755 was granted and assigned to Microsoft on April, 2009 by the United States Patent and Trademark Office.
All edits
Edits on 17 Sep, 2023
Golden AI
Edits made to:
Infobox (+2 properties)
Infobox
Patent Inventor Names
Manuel Alfred Fahndrich0
Robert Anthony DeLine0
Edits on 15 Sep, 2023
Golden AI
Edits made to:
Article (+430 characters)
Article
Patent abstract
A system and method employing pre- and/or post-condition(s) specified at a source code level and persisted (e.g., in associated object code and/or a specification repository) facilitating static checking of the object code is provided. The system and method are based, at least in part, upon a framework that employs rules for using an interface to be recorded as declarative specifications in an existing language.
Edits on 25 May, 2023
Golden AI
Edits made to:
Infobox (+1/-1 properties)
US Patent 07526755 Plug-in pre- and postconditions for static program analysis US Patent 7526755 Plug-in pre- and postconditions for static program analysis
Infobox
Patent Number
075267550
Patent Number
75267550
Edits on 20 May, 2023
Golden AI
Edits made to:
Infobox (-1 properties)
Infobox
Official Website
Edits on 6 Apr, 2023
Golden AI
Infobox
Is a
Current Assignee
Patent Jurisdiction
Patent Number
075267550
Date of Patent
April 28, 2009
0Patent Application Number
106817590
Date Filed
October 8, 2003
0Official Website
Patent Primary Examiner
Edits on 15 Jun, 2022
Golden AI
Edits made to:
Infobox (+1 properties)
Infobox
Website URL
Edits on 2 Dec, 2021
Golden AI
Edits made to:
Infobox (+8 properties)
US Patent 07526755 Plug-in pre- and postconditions for static program analysis
Infobox
Is a
Current assignee
Patent jurisdiction
Patent number
07526755
Date of patent
April 28, 2009
Patent application number
10681759
Date Filed
October 8, 2003
Patent primary examiner
Find more entities like US Patent 7526755 Plug-in pre- and postconditions for static program analysis
Use the Golden Query Tool to find similar entities by any field in the Knowledge Graph, including industry, location, and more.
