Transformation rules for designing CNOT-based quantum circuits.

Kazuo Iwama Yahiko Kambayashi Shigeru Yamashita

Published in: DAC (2002)

Keyphrases

transformation rules
quantum computing
logic circuits
metamodel
rewrite rules
model driven
recursive programs
management system
case study
data driven