BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
M.Ying X.Wu J.Liu B.Zhan S.Wang T.Liu Y.Li N.Zhan
Talks about:
quantum (3) characteris (1) algorithm (1) program (1) generat (1) invari (1) formal (1) verif (1) logic (1) hoar (1)

Person: Shenggang Ying

DBLP DBLP: Ying:Shenggang

Contributed to:

CAV (2) 20192019
POPL 20172017

Wrote 2 papers:

CAV-2019-LiuZWYLLYZ #algorithm #hoare #logic #quantum #using #verification
Formal Verification of Quantum Algorithms Using Quantum Hoare Logic (JL, BZ, SW, SY, TL, YL, MY, NZ), pp. 187–207.
POPL-2017-YingYW #generative #invariant #quantum #source code
Invariants of quantum programs: characterisations and generation (MY, SY, XW), pp. 818–832.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.