Inductive Proof Outlines for Exceptions in Multithreaded Java.
Erika ÁbrahámFrank S. de BoerWillem P. de RoeverMartin SteffenPublished in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
- inductive learning
- byte code
- programming language
- theorem proving
- java programs
- development environment
- machine learning
- multithreading
- web applications
- proof planning
- open source
- neural network
- database applications
- extended abstract
- source code
- object oriented
- inductive inference
- inductive reasoning
- theorem prover
- multiple inheritance
- recursive programs
- concept learning
- advanced features
- multi user
- database
- high level
- data sets