Scalable and Precise Refinement Types for Imperative Languages.

Florian Lanzinger Joshua Bachmeier Mattias Ulbrich Werner Dietl

Published in: iFM (2023)

Keyphrases

data sets
language independent
learning algorithm
expert systems
expressive power
case study
multiscale
multiple types
language identification
refinement process
arabic language