Login / Signup
On Abstract Machine Semantics for Proto-Quipper-M.
Andrea Colledan
Published in:
CoRR (2021)
Keyphrases
</>
abstract machine
data model
formal semantics
logic programming
programming language
conceptual model
transformation rules
database
databases
neural network
computer vision
relational databases
evolutionary algorithm
conceptual graphs
specification language
operational semantics