An axiomatic basis for bidirectional programming.

Hsiang-Shang Ko Zhenjiang Hu

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

Keyphrases

programming language
multiscale
data sets
database systems
starting point
object oriented programming
image processing
three dimensional
programming environments