Synthesizing Specifications.

Kanghee Park Loris D'Antoni Thomas W. Reps

Published in: Proc. ACM Program. Lang. (2023)

Keyphrases

specification language
real time
high level
formal specification
delay insensitive
attribute grammars
bayesian networks
operational semantics
databases
information retrieval
computer vision
decision trees
case study
lower bound
special case
functional requirements