Login / Signup
Towards synthesis from assume-guarantee contracts involving infinite theories: a preliminary report.
Andreas Katis
Andrew Gacek
Michael W. Whalen
Published in:
FormaliSE@ICSE (2016)
Keyphrases
</>
independent and identically distributed
program synthesis
supply chain
real time
theoretical framework
causal reasoning
database
neural network
real world
cognitive psychology
defeasible logic