Formal Techniques for Java-Like Programs (FTfJP).
Alessandro CoglioMarieke HuismanJoseph KiniryPeter MüllerErik PollPublished in: ECOOP Workshops (2004)
Keyphrases
- java programs
- object oriented languages
- object oriented
- programming language
- open source
- formal model
- program code
- multi threaded
- programming environment
- computer programs
- formal models
- development environment
- software components
- java language
- web applications
- java bytecode
- formal methods
- information systems
- automatic programming
- program execution
- advanced features