Login / Signup
Generating precise error specifications for C: a zero shot learning approach.
Baijun Wu
John Peter Campora III
Yi He
Alexander Schlecht
Sheng Chen
Published in:
Proc. ACM Program. Lang. (2019)
Keyphrases
</>
error rate
knowledge transfer
case study
high level
delay insensitive
real time
linear complexity
functional requirements
formal specification
image search
data sets
error bounds
training data
information systems
finite state machines
computer vision
genetic algorithm
error measure
neural network