专利内容由知识产权出版社提供
专利名称：Efficient checking of state-dependent
constraints
发明人：Nikolai Tillmann,Wolfgang
Grieskamp,Wolfram Schulte
申请号：US10792555申请日：20040302公开号：US07500226B2公开日：20090303
专利附图：
摘要：Constraints are defined in view of a program implementation. Constraints checkprogram state or variables to maintain data consistency. A constraint component
determines a constraint's scope and variables upon which a constraint depends. Programflow is altered so constraints are checked whenever a variable upon which a constraintdepends is updated. Optionally, program flow is altered dynamically to re-establishconstraints whenever a variable upon which a constraint depends is updated. Re-establishing constraints provides efficiency, since a program flow is altered for a minimumcost based on a present evolving minimum set of active constraint-variable relationships.
申请人：Nikolai Tillmann,Wolfgang Grieskamp,Wolfram Schulte
地址：Redmond WA US,Redmond WA US,Bellevue WA US
国籍：US,US,US
代理机构：Klarquist Sparkman, LLP
更多信息请下载全文后查看
