Login / Signup
Resumptions, Weak Bisimilarity and Big-Step Semantics for While with Interactive I/O: An Exercise in Mixed Induction-Coinduction
Keiko Nakata
Tarmo Uustalu
Published in:
SOS (2010)
Keyphrases
</>
formal semantics
logic programming
machine learning
user interaction
post processing
big data
semantic information
program synthesis
rule induction
explanation based learning
concept learning
inductive learning
user friendly
database
description logics
data analysis
data structure
data sets