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á bibliografie

Vydáno v:	Information and computation Ročník 294; s. 105077
Hlavní autoři:	Feng, Yuan, Li, Sanjiang
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Inc 01.10.2023
Témata:	Abstract interpretation Incorrectness logic Quantum programming Incorrectness logic Abstract interpretation Quantum programming
ISSN:	0890-5401
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!