Formal Techniques for Java-like Programs.
Sophia DrossopoulouSusan EisenbachGary T. LeavensArnd Poetzsch-HeffterErik PollPublished in: ECOOP Workshops (2002)
Keyphrases
- java programs
- object oriented languages
- open source
- java bytecode
- java language
- general purpose
- object oriented
- programming language
- computer programs
- automatic programming
- formal model
- multi threaded
- source code
- database applications
- development environment
- web applications
- programming environment
- programming skills
- programming exercises
- formal methods
- oracle pl sql
- cross platform
- application server
- operational semantics
- data sets
- software components
- lightweight
- information systems