Aul A Hoare - Dokumente zum Namen - alle Infos bei Yasni.de

(1 - 12 von 16

)

[ ] A Hoare logic for the coinductive trace-based big-step...

arxiv.org

On terminating runs, this semantics agrees with the standard inductive state-based semantics. Here we present a Hoare logic counterpart of our ...

citeseerx.ist.psu.edu › viewdoc › summaryVerifying Probabilistic Programs Using A Hoare Like Logic

citeseerx.ist.psu.edu

A Hoare-style proof system to check properties of probabilistic programs is given. The proof system for a sublanguage is shown to be sound and complete; the ...

A Hoare Logic Survey - KindSoftwarekindsoftware.com › proposals › ho...

www.kindsoftware.com

A Hoare Logic Survey · Supervisor Dr. · Subject Area Mathematics · Pre-requisite Strong mathematical background and basic understanding of Hoare Logic · Co- ...

CiteSeerX — A Hoare Logic for Call-by-Value Functional Programs

citeseerx.ist.psu.edu

Abstract. We present a Hoare logic for a call-by-value programming language equipped with recursive, higher-order functions, algebraic data types, and a polymorphic type system in the style of Hindley and Milner. It is the theoretical basis for a tool that extracts proof obligations out of programs annotated with logical ...

A Hoare logic for the coinductive trace-based big NASA/ADSui.adsabs.harvard.edu › abstract

ui.adsabs.harvard.edu

On terminating runs, this semantics agrees with the standard inductive state-based semantics. Here we present a Hoare logic counterpart of our coinductive trace- ...

A Hoare Logic for Concurrent Objects with Asynchronous ...citeseerx.ist.psu.edu › summary

citeseerx.ist.psu.edu

CiteSeerX - Document Details (Isaac Councill, Lee Giles, Pradeep Teregowda): The Creol language proposes high level language constructs to unite object ...

CiteSeerX — Java Program Verification via a Hoare Logic with Abrupt...

citeseerx.ist.psu.edu

CiteSeerX - Document Details (Isaac Councill, Lee Giles, Pradeep Teregowda): This paper formalises a semantics for statements and expressions (in sequential ...

EBSCOhost | | A Hoare logic for linear systems.

web.a.ebscohost.com

Title: A Hoare logic for linear systems. Language: English; Authors: Arthan, Rob1 .ac.uk. Martin, Ursula1. Oliva, Paulo1; Source: Formal Aspects ...

KeY Project: Integrated Deductive Software Design

i12www.iti.uni-karlsruhe.de

Download KeY-Hoare KeY-Hoare is built on top of the software verification tool KeY and features a Hoare calculus with updates. It is used in the Chalmers ...

Hoare2: Hoare Logic, Part II

www.cs.umd.edu

On a piece of paper, write down a specification (as a Hoare triple) for the following program: X ::= 2;; Y ::= X + X. Write down a (useful) specification for the ...

Verwandte Suchanfragen zu Aul A Hoare

Personen
Vorname
Name "Hoare" (115)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Dokumente zum Namen Aul A Hoare