An Inherently-Typed Formalization for Featherweight Java.
Samuel da Silva FeitosaAlejandro Serrano MenaRodrigo Geraldo RibeiroAndré Rauber Du BoisPublished in: SBLP (2019)
Keyphrases
- open source
- higher order
- object oriented
- programming language
- lightweight
- java programs
- source code
- web services
- development environment
- lambda calculus
- databases
- byte code
- formal model
- database applications
- high level
- artificial intelligence
- software development
- knowledge representation
- software systems
- data model
- expert systems
- operational semantics
- cross platform
- java virtual machine
- machine learning