Login / Signup
Whither Programs as Specifications.
David A. Naumann
Published in:
CoRR (2019)
Keyphrases
</>
control flow
recursive programs
real time
program synthesis
high level
functional requirements
data flow
formal specification
data sets
social networks
programming language
finite state machines
business rules
fixpoint
automatic programming
control program