Provably correct control flow graphs from Java bytecode programs with exceptions.
Afshin AmighiPedro de Carvalho GomesDilian GurovMarieke HuismanPublished in: Int. J. Softw. Tools Technol. Transf. (2016)
Keyphrases
- control flow
- provably correct
- java bytecode
- data flow
- process model
- situation calculus
- software testing
- virtual machine
- formal methods
- workflow management systems
- programming language
- garbage collection
- modeling language
- efficient execution
- software engineering
- software development
- knowledge base
- case study
- formal semantics
- expert systems
- database
- general purpose
- business processes
- artificial intelligence