Login / Signup
Type-based Enforcement of Infinitary Trace Properties for Java.
Serdar Erbatur
Ulrich Schöpp
Chuangjie Xu
Published in:
CoRR (2021)
Keyphrases
</>
object oriented
lightweight
data sets
neural network
desirable properties
social networks
computer vision
information systems
clustering algorithm
open source
source code
privacy preserving
structural properties
object oriented programming
advanced features