Relational Solver for Java Generics Type System.

Peter Lozov Dmitry Kosarev Dmitry Ivanov Dmitry Boulytchev

Published in: LOPSTR (2023)

Keyphrases

object oriented
programming language
data model
real time
data sets
open source
relational data
databases
data mining
high level
database systems
np complete
lightweight
database schema