Abstract: The work aims to enable the use of common software engineering techniques and tools for quantum programming languages (e.g., OpenQASM). With the increased interest in quantum computing, ...
C compiler, LustreC, into a generator of both executable code and associated specification. Model-based design tools are ...