Type-based Enforcement of Infinitary Trace Properties for Java.

Serdar Erbatur Ulrich Schöpp Chuangjie Xu

Published in: PPDP (2021)

Keyphrases

open source
lightweight
desirable properties
database
real time
neural network
user interface
database applications
structural properties
development environment
topological properties
application server