A Java typestate checker supporting inheritance.
Lorenzo BacchianiMario BravettiMarco GiuntiJoão MotaAntónio RavaraPublished in: Sci. Comput. Program. (2022)
Keyphrases
- object oriented
- object oriented languages
- programming language
- development environment
- database applications
- decision support
- open source
- source code
- web applications
- object oriented databases
- java programs
- lightweight
- object oriented programming
- nonmonotonic reasoning
- cross platform
- data sets
- multiple inheritance
- software development
- knowledge representation
- data model
- relational databases
- digital libraries
- high level
- search engine
- data mining