Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs

Abstract interpretation, Hoare logic, and incorrectness (or reverse Hoare) logic are powerful techniques for static analysis of computer programs. They have all been successfully extended to the quantum setting, but developed largely in parallel. This paper explores the relationship between these te...

Celý popis

Podrobná bibliografia

Vydané v:	Information and computation Ročník 294; s. 105077
Hlavní autori:	Feng, Yuan, Li, Sanjiang
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier Inc 01.10.2023
Predmet:	Abstract interpretation Incorrectness logic Quantum programming Incorrectness logic Abstract interpretation Quantum programming
ISSN:	0890-5401
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!