MPC 2010 - PDF Preprint Papers

MPC 2010 International Conference on Mathematics of Program Construction

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed MPC-2010 Paper

click to vote

MPC
2010
Springer

246views Mathematics» more MPC 2010»

Abstraction of Object Graphs in Program Verification

14 years 1 months ago

Download sei.pku.edu.cn

ion of Object Graphs in Program Verification Yifeng Chen1 and J.W. Sanders2 1 HCST Key Lab at School of EECS, Peking University, China. 2 UNU-IIST, Macao. A set-theoretic formalism...

Yifeng Chen, Jeff W. Sanders

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	246	Abstraction of Object Graphs in Program Verification	claim
2	181	Process Algebras for Collective Dynamics	claim
3	177	Adjoint Folds and Unfolds	claim
4	174	Matrices as Arrows!	claim
5	172	Temporal Logic Verification of Lock-Freedom	claim
6	171	An Abstract Machine for the Old Value Retrieval	claim
7	166	The Algorithmics of Solitaire-Like Games	claim
8	165	Dependently Typed Grammars	claim
9	165	Generic Point-free Lenses	claim
10	164	On Automated Program Construction and Verification	claim
11	159	Subtyping, Declaratively	claim
12	158	Compositional Action System Derivation Using Enforced Properties	claim
13	157	Formal Derivation of Concurrent Garbage Collectors	claim
14	157	The Logic of Large Enough	claim
15	156	Compositionality of Secure Information Flow	claim
16	152	Lucy-n: a n-Synchronous Extension of Lustre	claim
17	147	Designing an Algorithmic Proof of the Two-Squares Theorem	claim
18	143	Gradual Refinement	claim
19	141	Sampling, Splitting and Merging in Coinductive Stream Calculus	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers