Liquid information flow control.

Nadia Polikarpova Deian Stefan Jean Yang Shachar Itzhaky Travis Hance Armando Solar-Lezama

Published in: Proc. ACM Program. Lang. (2020)

Keyphrases

information flow control
information flow
mathematical model
boundary conditions
navier stokes equations
artificial intelligence
image segmentation
input image
open source