Analysing the Java package/access concepts in Isabelle/HOL.
Norbert SchirmerPublished in: Concurr. Pract. Exp. (2004)
Keyphrases
- theorem prover
- natural deduction
- java applets
- database access
- access control
- software package
- database applications
- open source
- theorem proving
- programming language
- concept learning
- lightweight
- web services
- artificial intelligence
- inference rules
- development environment
- first order logic
- java programs
- java virtual machine
- object oriented concepts