Encoding Featherweight Java with assignment and immutability using the Coq proof assistant.
Julian MackayHannes MehnertAlex PotaninLindsay GrovesNicholas CameronPublished in: FTfJP@ECOOP (2012)
Keyphrases
- theorem prover
- theorem proving
- source code
- java programs
- open source
- first order logic
- test bed
- programming language
- fractal image compression
- real time
- linear logic
- web services
- object oriented
- encoding scheme
- formal methods
- java virtual machine
- development environment
- database applications
- database systems
- genetic algorithm
- databases