adding methodcalls-counting normalization to hadle the way that method calls...
adding methodcalls-counting normalization to hadle the way that method calls generate fresh variables to represent their return values.
Showing
- examples/MethodCalls.java 46 additions, 0 deletionsexamples/MethodCalls.java
- experiments/wermer2/WlpExperiment.hs 4 additions, 4 deletionsexperiments/wermer2/WlpExperiment.hs
- experiments/wermer2/subjects/src/Fibonacci.java 31 additions, 0 deletionsexperiments/wermer2/subjects/src/Fibonacci.java
- src/Javawlp/API.hs 5 additions, 3 deletionssrc/Javawlp/API.hs
- src/Javawlp/Engine/HelperFunctions.hs 95 additions, 37 deletionssrc/Javawlp/Engine/HelperFunctions.hs
Loading
Please register or sign in to comment