Efficient Automated Translation of Procedures in an Constraint-Based Programming Language Implemented with Notification and Callback
AssigneeOptumSoft, Inc.
InventorDavid R. Cheriton
Life of this patent
Estimating the term…
Abstract
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.
Claims10
A method for automatically translating input code to a computer executable imperative output representation, the method comprising:
- providing an input source program expressed in a programming language that provides for specification of event-sequenced procedures, wherein said input source program includes one or more more event-sequenced procedures specified in accordance with said programming language;
- automatically translating said input source program to said computer executable imperative output representation;
- wherein said computer executable imperative output representation includes an imperative representation of said one or more event-sequenced procedures with notification and callback code for events, wherein the notification and callback code for events is realized as a listener pattern having callback interfaces associated with object types;
- and
- providing said computer executable imperative output representation as an output.
Dependencies are inferred from the claim text.