Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

GG
2010
Springer

favoriteEmaildiscussreport

150views Theoretical Computer Science» more GG 2010»

A Hoare Calculus for Graph Programs

13 years 5 months ago

A Hoare Calculus for Graph Programs

Download www-users.cs.york.ac.uk

el of abstraction). Refereed Conference and Workshop Papers

Christopher M. Poskitt, Detlef Plump

Real-time Traffic

GG 2010 | Theoretical Computer Science |

claim paper

Related Content

» A SyntaxDirected Hoare Logic for ObjectOriented Programming Concepts

» A Hoare Calculus for Verifying Java Realizations of OCLConstrained Design Models

» Reasoning About States of Probabilistic Sequential Programs

» Deriving RealTime Programs from Duration Calculus Specifications

» Explaining Verification Conditions

» Matching Logic An Alternative to HoareFloyd Logic

» Synthesizing Proofs from Programs in the Calculus of Inductive Constructions

» Concurrent Kleene Algebra

» Proving Pointer Programs in HigherOrder Logic

Post Info
More Details (n/a)

Added	09 Nov 2010
Updated	09 Nov 2010
Type	Conference
Year	2010
Where	GG
Authors	Christopher M. Poskitt, Detlef Plump

Comments (0)