Turchin's Relation for Call-by-Name Computations: A Formal Approach.

Antonina Nepeivoda

Published in: VPT@ETAPS (2016)

Keyphrases

formal model
database
database systems
preprocessing
software engineering
formal methods
machine learning
artificial intelligence
web services
expert systems
information technology
special case
query language
equivalence relation
mathematical theory