Formal Techniques for Java-Like Programs.
Davide AnconaSophia DrossopoulouAtsushi IgarashiGary T. LeavensArnd Poetzsch-HeffterElena ZuccaPublished in: ECOOP Workshops (2006)
Keyphrases
- java programs
- object oriented languages
- lightweight
- java bytecode
- java language
- formal specification
- program code
- automatic programming
- development environment
- formal model
- software components
- open source
- general purpose
- web services
- answer sets
- artificial intelligence
- software development
- object oriented programming
- formal methods
- programming environment
- web applications
- source code
- java virtual machine
- data model