Composable, sound transformations of nested recursion and loops.

Kirshanthan Sundararajah Milind Kulkarni

Published in: PLDI (2019)

Keyphrases

deductive databases
complex objects
nested relations
real time
hierarchical structure
machine learning
database systems
data mining
computer vision
affine transformation
geometric transformations
sound source
compositional semantics