1 / 9

A Relational Virtual Machine for Program Evolution

A Relational Virtual Machine for Program Evolution. Sergio Pissanetzky Sergio@SciControls.com. SER 3534. Motivation. The Problem • Program evolution involves many repetitive tasks. • But mechanizing the tasks has proved difficult. The Reason

gefen
Download Presentation

A Relational Virtual Machine for Program Evolution

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. A Relational Virtual Machine for Program Evolution Sergio Pissanetzky Sergio@SciControls.com SER 3534 SER 3534 - A Relational Virtual Machine for Program Evolution. Sergio Pissanetzky. Sergio@SciControls.com

  2. Motivation • The Problem • • Program evolution involves many repetitive tasks. • • But mechanizing the tasks has proved difficult. • The Reason • • There is no common program representation. The Solution • Using a relational container for source code. SER 3534 - A Relational Virtual Machine for Program Evolution. Sergio Pissanetzky. Sergio@SciControls.com

  3. Using relations to represent a program is natural 1. a = b / c; a service 2. b = b + 3; Variables can be ( A, M, C ). Literals can only be ( A ). Services : As× Ms → Ms× Cs SER 3534 - A Relational Virtual Machine for Program Evolution. Sergio Pissanetzky. Sergio@SciControls.com

  4. The RMC Model: M = (C, Q) C = Q = SER 3534 - A Relational Virtual Machine for Program Evolution. Sergio Pissanetzky. Sergio@SciControls.com

  5. Matrix of Services RMC Sequences “CAA’MA’CAA’MMC’CA’CA” Turing Machine ”CCCAAA’ACA’MMC’ACAA’AAC’MAA” SER 3534 - A Relational Virtual Machine for Program Evolution. Sergio Pissanetzky. Sergio@SciControls.com

  6. Submodeling, encapsulation, inheritance Class diagram Matrix C S Q P R SER 3534 - A Relational Virtual Machine for Program Evolution. Sergio Pissanetzky. Sergio@SciControls.com

  7. RMC Algebra • Formal algorithms • Matrix operations submatricing, permutations. • Relational operations joins, projections, normalization • Graph operations searches, labels, paths • Set operations sub-superset, union, products SER 3534 - A Relational Virtual Machine for Program Evolution. Sergio Pissanetzky. Sergio@SciControls.com

  8. An RMC-centric environment source code business rules developers parser developers RMC + algorithms language module interpreter low level code assembly, 3-address other models UML, CFG, DFD intermediate representations SER 3534 - A Relational Virtual Machine for Program Evolution. Sergio Pissanetzky. Sergio@SciControls.com

  9. Summary •Program Mathematical object. • Turing complete Universal. •Formal algebra Algorithms. • Link to source code. •Coherence in program evolution. SER 3534 - A Relational Virtual Machine for Program Evolution. Sergio Pissanetzky. Sergio@SciControls.com

More Related