Formal Meta-level Analysis Framework for Quantum Programming Languages.

Mohamed Yousri Mahmoud Amy P. Felty

Published in: LSFA (2017)

Keyphrases

meta level
programming language
object level
object oriented
strongly typed
general purpose
viewpoint
programming environment
specification language
database languages
programming paradigms
domain knowledge
software engineering
formal model
high level programming language