Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Formal semantics of a classical-quantum language

Item request has been placed! ×
Item request cannot be made. ×
loading   Processing Request
اقرأ أكثر حفظ في قائمتي
  • معلومة اضافية
    • بيانات النشر:
      Elsevier BV
    • الموضوع:
      2022
    • Collection:
      University of Technology Sydney: OPUS - Open Publications of UTS Scholars
    • نبذة مختصرة :
      We investigate the formal semantics of a simple imperative language that has both classical and quantum constructs. More specifically, we provide an operational semantics, a denotational semantics and two Hoare-style proof systems: an abstract one and a concrete one. The two proof systems are satisfaction-based, as inspired by the program logics of Barthe et al. for probabilistic programs. The abstract proof system turns out to be sound and relatively complete, while the concrete one is sound only.
    • File Description:
      application/pdf
    • ISSN:
      0304-3975
    • Relation:
      http://purl.org/au-research/grants/arc/DP180100691; http://purl.org/au-research/grants/arc/DP220102059; Theoretical Computer Science; Theoretical Computer Science, 2022; http://hdl.handle.net/10453/155745
    • الدخول الالكتروني :
      http://hdl.handle.net/10453/155745
    • Rights:
      info:eu-repo/semantics/openAccess
    • الرقم المعرف:
      edsbas.6EAE4BE6