Formal Techniques for Java-Like Programs.
Elvira AlbertAnindya BanerjeeSophia DrossopoulouMarieke HuismanAtsushi IgarashiGary T. LeavensPeter MüllerTobias WrigstadPublished in: ECOOP Workshops (2008)
Keyphrases
- java programs
- object oriented languages
- object oriented
- java bytecode
- computer programs
- programming language
- source code
- web applications
- multi threaded
- java language
- web services
- open source
- database
- lightweight
- database applications
- java virtual machine
- software development
- formal representation
- software engineering
- high level
- artificial intelligence