Symbolic Modeling and Transformation of Java Code #JVMLS

The podcast introduces code reflection in Java programs, focusing on symbolically modeling them as code models. It prepares for incubation by placing 99% of the code in its own incubating module to encourage experimentation and feedback. The primary goal is to enable interoperability with foreign programming models and machine learning using natural Java language constructs by representing code symbolically. The code model, inspired by MLIR, uses a tree structure comprising operations, bodies, and blocks. Examples illustrate how methods, variables, and control structures like if statements and for loops are modeled, emphasizing the inclusion of location information and explicit conversions. The discussion also touches on modeling patterns and the tooling available for viewing code models.

Outlines

Part 1: Concepts and Incubation

Part 2: The Code Model Meta-Model

Part 3: Reflective Operations and Conversions

Part 4: Control Flow and Logic Modeling

Sign in to continue reading, translating and more.

Continue

Java

Part 1: Concepts and Incubation

Static and Dynamic Analysis in JVM: Code Reflection on Steroids

Code Reflection: Preparing for Incubation and Interoperability with Machine Learning

Part 2: The Code Model Meta-Model

Code Model Meta-Model: A Tree Structure of Operations, Bodies, and Blocks

Code Model Items: Types, Values, and Block References in SSA Form

Modeling Java Methods: Location Information, Func Operations, and Variable Declarations

Expression Trees, Local Variables, and Normalizing Surface Syntax

Part 3: Reflective Operations and Conversions

Instance Methods and Reflective Operations: Field Loads and Symbolic References

Explicit Conversions: Modeling Type Conversions in Code Models

Modeling Structured Code: Java Block Operations and Invoke Operations

Part 4: Control Flow and Logic Modeling

Modeling Control Flow: If Statements and Conditional Expressions

Modeling Loops: For Statements and the Yielding of Variables

Modeling Labeled Statements and Pattern Matching

Tooling for Viewing and Splicing Code Models

Symbolic Modeling and Transformation of Java Code #JVMLS

Java

Part 1: Concepts and Incubation

00:00Static and Dynamic Analysis in JVM: Code Reflection on Steroids

Static and Dynamic Analysis in JVM: Code Reflection on Steroids

01:16Code Reflection: Preparing for Incubation and Interoperability with Machine Learning

Code Reflection: Preparing for Incubation and Interoperability with Machine Learning

Part 2: The Code Model Meta-Model

03:25Code Model Meta-Model: A Tree Structure of Operations, Bodies, and Blocks

Code Model Meta-Model: A Tree Structure of Operations, Bodies, and Blocks

04:54Code Model Items: Types, Values, and Block References in SSA Form

Code Model Items: Types, Values, and Block References in SSA Form

07:02Modeling Java Methods: Location Information, Func Operations, and Variable Declarations

Modeling Java Methods: Location Information, Func Operations, and Variable Declarations

11:44Expression Trees, Local Variables, and Normalizing Surface Syntax

Expression Trees, Local Variables, and Normalizing Surface Syntax

Part 3: Reflective Operations and Conversions

13:46Instance Methods and Reflective Operations: Field Loads and Symbolic References

Instance Methods and Reflective Operations: Field Loads and Symbolic References

15:30Explicit Conversions: Modeling Type Conversions in Code Models

Explicit Conversions: Modeling Type Conversions in Code Models

17:04Modeling Structured Code: Java Block Operations and Invoke Operations

Modeling Structured Code: Java Block Operations and Invoke Operations

Part 4: Control Flow and Logic Modeling

18:32Modeling Control Flow: If Statements and Conditional Expressions

Modeling Control Flow: If Statements and Conditional Expressions

20:16Modeling Loops: For Statements and the Yielding of Variables

Modeling Loops: For Statements and the Yielding of Variables

22:39Modeling Labeled Statements and Pattern Matching

Modeling Labeled Statements and Pattern Matching

24:56Tooling for Viewing and Splicing Code Models

Tooling for Viewing and Splicing Code Models