Aul A Hoare - Wissenschaftliche Veröffentlichungen

(1 - 4 von 5

)

A Hoare-Logic for VHDL

myweb.rz.uni-augsburg.de

A Hoare-Logic for VHDL by Peter T Breuer, Universidad Politécnica de Madrid. A denotational semantics and a Hoare programming logic for a subset of the standard ...

Publikationen der UdS: Relative completeness of a Hoare-calculus for...

publikationen.sulb.uni-saarland.de

Relative completeness of a Hoare-calculus for while-programs Kurt Sieber A Februa ry Fachberei ch Angewandte Mathematik und lnformatik

Access Paper

www-wjp.cs.uni-sb.de

We develop a general language model for sequential imperative programs together with a Hoare logic. We instantiate the framework with common programming language ...

Hoare

proglang.informatik.uni-freiburg.de

However, using an auxiliary variable m to remember the original value of X we can define a Hoare rule for assignment that does, intuitively, "work ...

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

Wissenschaftliche Veröffentlichungen Aul A Hoare

A Hoare-Logic for VHDL

Publikationen der UdS: Relative completeness of a Hoare-calculus for...

Access Paper

Hoare