Automatic Code Transformation

• US 20170269913A1
• Filed: 06/02/2017
• Published: 09/21/2017
• Est. Priority Date: 03/28/2008
• Status: Active Grant

• Current Assignee: Microsoft Technology Licensing LLC (Microsoft Corporation)
• Original Assignee: Microsoft Technology Licensing LLC (Microsoft Corporation)
• Inventors: MEIJER, Henricus Johannes Maria, DYER, John Wesley
• Granted Patent: US 10,318,255 B2
• Time in Patent Office: Days
• CPC Class Codes: G06F 8/24 Object-oriented
• CPC Class Codes: G06F 8/30 Creation or generation of source code
• CPC Class Codes: G06F 8/40 Transformation of program code

Abstract

Stateful computations are transformed into stateless computations automatically to facilitate scalability. Programmers can write code in a traditional imperative stateful style, which is subsequently transformed automatically into a stateless, state transformer monadic style. After the transformation, state is passed as an additional argument in a call and returns as a new state as an additional result.

Claims

1. A first device, comprising:

a mass storage configured to store a first device code that instantiates an object having a state;

a processing unit configured to execute the first device code to instantiate the object and to apply a wrapper to the object to identify the state of the object to store in a data storage and retrieve the state for the object from the data storage for invoking the object in a second device code executed by a second device;

an output interface component configured to invoke remotely the second device code for processing the object by passing the state as a serialized state argument following a state transformer monad pattern; and

an input interface component configured to receive a serialized result and a successor state argument from the second device code for storage in the data storage as a successor state.