首页>
外国专利>
Efficient automated translation of procedures in an constraint-based programming language implemented with notification and callback
Efficient automated translation of procedures in an constraint-based programming language implemented with notification and callback
展开▼
机译:使用基于通知和回调的基于约束的编程语言进行高效的过程自动翻译
展开▼
页面导航
摘要
著录项
相似文献
摘要
A method is provided for translating sets of constraint declarations to imperative code sequences based on defining an instantiatable object per set, inserting calls to a notification callback mechanism on state modification and defining calls in the constraint context as imperative code sequences that, in response to these callbacks, take actions to maintain these constraints. This notification and callback mechanism can also be employed in connection with external events, thereby providing for efficient implementation of event-sequenced imperative procedures in a constraint programming language.
展开▼