Constructive Foundations for Featherweight Java.
Thomas StuderPublished in: Proof Theory in Computer Science (2001)
Keyphrases
- programming language
- database applications
- artificial intelligence
- source code
- open source
- lightweight
- java programs
- development environment
- object oriented
- databases
- information retrieval
- web services
- web applications
- distributed object
- database programming
- object oriented programming
- data structure
- case study
- data mining
- real world