Login / Signup
Scalability and precision by combining expressive type systems and deductive verification.
Florian Lanzinger
Alexander Weigl
Mattias Ulbrich
Werner Dietl
Published in:
Proc. ACM Program. Lang. (2021)
Keyphrases
</>
management system
asynchronous circuits
real time
intelligent systems
retrieval systems
data sets
machine learning
information retrieval
learning algorithm
case study
complex systems
test collection
computing systems
face verification