objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions
https://www.objectionary.com/normalizer/
MIT License
7 stars 2 forks source link

Explore the impact of transformation in a pipeline on runtime checks in the JVM bytecode #473

Open deemp opened 1 month ago

deemp commented 1 month ago

Details

@fizruk mentioned there may be runtime checks in JVM bytecode. They may be broken or fail due to transformations in the pipeline.

Subtasks