Executable Refinement Types.

Kenneth Knowles

Published in: CoRR (2014)

Keyphrases

neural network
database
real time
search engine
case study
image segmentation
high level
control system
formal specification