Efficient Automated Translation of Procedures in an Constraint-Based Programming Language Implemented with Notification and Callback

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.