×

Code separation with semantic guarantees

  • US 9,465,608 B2
  • Filed: 03/15/2013
  • Issued: 10/11/2016
  • Est. Priority Date: 03/15/2013
  • Status: Active Grant
First Claim
Patent Images

1. A method to perform a software application transformation comprising:

  • receiving at least one input file of the software application in at least one programming language, wherein the at least one programming language is represented in at least one grammar;

    receiving an architectural template of a target platform for executing code that results from transformation of the software application, wherein the architectural template specifies at least one component type;

    generating a set of transformation rules based at least on the received architectural template for the target platform;

    generating an annotated abstract syntax tree from the at least one input file, wherein the annotations in the annotated abstract syntax tree include the set of transformation rules generated from the received architectural template of the target platform and one or more additional transformational rules that are unrelated to not generated from the received architectural template of the target platform;

    inferring a plurality of candidate components from the annotated abstract syntax tree based at least on the at least one component type of the received architectural template;

    selecting multiple candidate components of the plurality of candidate components to be transformed; and

    generating the code for the target platform by traversing the abstract syntax tree to restructure the multiple candidate components into separate component types.

View all claims
  • 4 Assignments
Timeline View
Assignment View
    ×
    ×