O pseudocódigo quântico proposto por E. Knill é a primeira linguagem formalizada para a descrição de algoritmos quânticos que foi introduzido e, além disso, estava fortemente conectado com o modelo de máquina quântica chamado Quantum Random Access Machine (QRAM).