J.C. Reynolds  Home/Search
Context Related
| cmu.edu/user/jcr/tandilslides.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cmu.edu/~jcr/misclectures (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Syntax hexpi ::= 0 j 1 j 2 j \Delta \Delta \Delta j hvari j \Gamma hexpi j hexpi + hexpi j hexpi \Gamma hexpi j hexpi \Theta hexpi j \Delta \Delta \Delta hboolexpi ::= true j false j hexpi = hexpi j hexpi 6= hexpi j \Delta \Delta \Delta j : hboolexpi j hboolexpi hboolexpi j hboolexpi hboolexpi j hboolexpi ) hboolexpi j hboolexpi , hboolexpi hcommi ::= hvari := hexpi j skip j hcommi ; hcommi j if hboolexpi then hcommi else hcommi j while hboolexpi do hcommi j newvar hvari := hexpi in hcommi ... (Update)
Similar documents based on text: More All
0.4: Componentwise Perturbation Theory for Linear Systems with.. - Higham, Higham (1992) (Correct)
0.2: An Effective Action for Finite Temperature Lattice Gauge.. - Peter Meisinger (Correct)
0.2: Calibration Errors in Structure from Motion - Abraham, Förstner (1998) (Correct)
BibTeX entry: (Update)
J.C. Reynolds. Lectures on reasoning about shared mutable data structure. Tandil Argentina, September 2000. http://citeseer.ist.psu.edu/reynolds00lectures.html More
@misc{ reynolds00lectures,
author = "J. Reynolds",
title = "Lectures on reasoning about shared mutable data structure",
text = "J.C. Reynolds. Lectures on reasoning about shared mutable data structure.
Tandil Argentina, September 2000.",
year = "2000",
url = "citeseer.ist.psu.edu/reynolds00lectures.html" }
Citations (may not include all citations):650 An axiomatic basis for computer programming (context) - Hoare - 1969
41 Some techniques for proving correctness of programs which al.. (context) - Burstall - 1972
31 Proof of a program: FIND (context) - Hoare - 1971
18 Proving assertions about programs that manipulate data struc.. (context) - Oppen, Cook
15 An assertion language for data structures (context) - Cook, Oppen - 1975
4 Correctness of programs manipulating data structures (context) - Kowaltowski - 1973
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.cmu.edu/~jcr/misclectures.html):
Further Reasoning about Shared Mutable Data Structure - Reynolds, al. (Correct)
Lectures on Reasoning about Shared Mutable Data Structure Part 1 - Reynolds (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC