A Co-contextual Type Checker for Featherweight Java (incl. Proofs).

Edlira Kuci Sebastian Erdweg Oliver Bracevac Andi Bejleri Mira Mezini

Published in: CoRR (2017)

Keyphrases

contextual information
open source
data sets
programming language
knowledge base
source code
relational databases
lightweight
database applications
theorem proving
cross platform
java programs
object oriented languages
strongly typed