Joogie: from Java through Jimple to Boogie.
Stephan ArltPhilipp RümmerMartin SchäfPublished in: SOAP@PLDI (2013)
Keyphrases
- java programs
- source code
- lightweight
- object oriented
- programming language
- open source
- database applications
- databases
- web services
- neural network
- database access
- development environment
- general purpose
- evolutionary algorithm
- expert systems
- website
- e learning
- information retrieval
- distributed object
- byte code
- java applets