Semantic Scholar uses AI to extract papers important to this topic.
We present a logic for reasoning about pairs of interactive quantum programs – quantum relational Hoare logic (qRHL). This logic… Expand In joint work with Peter O'Hearn and others, based on early ideas of Burstall, we have developed an extension of Hoare logic that… Expand We show that Kleene algebra with tests (KAT) subsumes propositional Hoare logic (PHL). Thus the specialized syntax and deductive… Expand This study investigates firms subject to accounting enforcement actions by the Securities and Exchange Commission (SEC) for… Expand This paper discusses the role of individuals' beliefs about their abilities to competently use computers (computer self-efficacy… Expand We present the a-calculus, a calculus of communicating systems in which one can naturally express processes which have changing… Expand Recent meta-analyses and other studies of media's influence on learning are reviewed. Consistent evidence is found for the… Expand A survey of various results concerning Hoare's approach to proving partial and total correctness of programs is presented… Expand This paper deals with logics of programs. The objective is to formalize a notion of program description and to give both… Expand This paper deals with logics of programs. The objective is to formalize a notion of program description, and to give both… Expand