An assertion-based proof system for multithreaded Java.
Erika ÁbrahámFrank S. de BoerWillem P. de RoeverMartin SteffenPublished in: Theor. Comput. Sci. (2005)
Keyphrases
- multithreading
- java programs
- source code
- web applications
- object oriented
- programming language
- lightweight
- open source
- multi user
- byte code
- cross platform
- high level
- java virtual machine
- modal logic
- database access
- database applications
- computational power
- parallel computing
- development environment
- database programming
- constraint satisfaction
- general purpose
- relational databases
- java programming
- database
- intuitionistic logic