A Deductive Proof System for Multithreaded Java with Exceptions.
Erika ÁbrahámFrank S. de BoerWillem P. de RoeverMartin SteffenPublished in: Fundam. Informaticae (2008)
Keyphrases
- object oriented
- multithreading
- programming language
- source code
- database applications
- java programs
- object oriented languages
- multi user
- java virtual machine
- cross platform
- multi threaded
- development environment
- web services
- modal logic
- database languages
- shared memory
- web applications
- abductive inference
- multiple inheritance
- hypothesis formation
- linear time temporal logic
- explanation based learning
- distributed object
- clause learning
- computational power
- highly efficient
- operating system
- lightweight
- relational databases