Login / Signup
ScaffML: A Quantum Behavioral Interface Specification Language for Scaffold.
Tiancheng Jin
Jianjun Zhao
Published in:
QSW (2023)
Keyphrases
</>
specification language
formal specification
programming language
description language
symbolic execution
user interface
software environment
requirements specification
general purpose
reinforcement learning
cooperative
search algorithm
orders of magnitude
key features