Formal Techniques for Java-Like Programs.
Susan EisenbachGary T. LeavensPeter MüllerArnd Poetzsch-HeffterErik PollPublished in: ECOOP Workshops (2003)
Keyphrases
- java programs
- object oriented languages
- java bytecode
- open source
- programming language
- source code
- formal language
- error handling
- object oriented
- lightweight
- java language
- computer programs
- automatic programming
- formal models
- garbage collection
- multi threaded
- application server
- genetic algorithm
- formal model
- database systems
- case study