Towards an Extrinsic Formalization of Featherweight Java in Agda.
Samuel da Silva FeitosaRodrigo Geraldo RibeiroAndré Rauber Du BoisPublished in: CLEI Electron. J. (2021)
Keyphrases
- source code
- open source
- camera calibration
- object oriented
- formal model
- web services
- database applications
- java programs
- programming language
- lightweight
- database access
- development environment
- multi view
- java virtual machine
- web applications
- knowledge representation
- byte code
- distributed object
- logical language
- database
- java applets
- formal analysis
- vision system
- artificial intelligence
- information retrieval
- neural network
- data sets