An Example of Local Reasoning in BI Pointer Logic: the Schorr−Waite Graph Marking Algorithm

An Example of Local Reasoning in BI Pointer Logic: the Schorr−Waite Graph Marking Algorithm

Bibliografske podrobnosti
Glavni avtor:	Yang, H
Format:	Conference item
Izdano:	2001

Podobne knjige/članki

Unfolding Pointer Algorithms
od: Bird, R
Izdano: (2001)

FUNCTIONAL PEARL Unfolding pointer algorithms
Izdano: (2001)

Tiny Pointers
od: Bender, Michael, et al.
Izdano: (2024)

Practical job pointers/
od: 395350 Burbank, Nelson L.
Izdano: (1940)

Data Refinement with Low−level Pointer Operations
od: Mijajlovic, I, et al.
Izdano: (2005)

Blaiming the Client: On Data Reﬁnement in the Presence of Pointers
od: Filipovic, I, et al.
Izdano: (2010)

Portable Qiblat pointer device /
od: 368936 Amylia Hamzah
Izdano: (2006)

Practical pointers for University teachers /
od: 227379 Cox, Bill
Izdano: (1994)

Reasoning with !-graphs
od: Merry, A
Izdano: (2013)

Are Wait-free Algorithms Fast?
od: Attiya, Hagit, et al.
Izdano: (2023)

Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic
od: Calcagno, C, et al.
Izdano: (2006)

RANCANGBANGUN MOUSE POINTER BERBASIS WEBCAM
od: , Rahmad Widodo, et al.
Izdano: (2011)

A Trace Model for Pointers and Objects
od: Hoare, C, et al.
Izdano: (1999)

Graph cuts with interacting edge weights: examples, approximations, and algorithms
od: Bilmes, Jeff A., et al.
Izdano: (2017)

Complexes of marked graphs in gauge theory
od: Berghoff, M, et al.
Izdano: (2020)

Critical reasoning and logic /
od: 430617 Boyd, Robert
Izdano: (2003)

Automatic Verification of Pointer Programs Using Grammar−Based Shape Analysis
od: Lee, O, et al.
Izdano: (2015)

Ketahui tip-tip kekalkan pointer tinggi
od: Sinar Harian
Izdano: (2018)

Pointer analysis and its applications for Java programs
od: Sălcianu, Alexandru D. (Alexandru Doru), 1975-
Izdano: (2014)

Pointers for parenting for mental health service professionals /
od: Gupta, Rajinder M., 1939-, et al.
Izdano: (2006)

Traffic waiting time management using fuzzy logic approach
od: Zuraime, Fatin Syafina, et al.
Izdano: (2019)

Local Reasoning for Stateful Programs
od: Yang, H
Izdano: (2001)

Examples and counterexamples in graph theory /
od: 400749 Capobianco, Michael
Izdano: (1978)

Local Algorithms for Sparse Spanning Graphs
od: Levi, Reut, et al.
Izdano: (2016)

Local Algorithms for Sparse Spanning Graphs
od: Levi, Reut, et al.
Izdano: (2021)

Waiting Algorithms for Synchornization in Large-scale Multiprocessors
od: Lim, Beng-Hong, et al.
Izdano: (2023)

Open Graphs and Computational Reasoning
od: Dixon, L, et al.
Izdano: (2010)

Wait.
od: Tan, Hui Yan
Izdano: (2022)

Wait.
od: Chong, Yi Lei
Izdano: (2022)

Tracking Pointer At Endoscopic Images For Telepointer Remote Guided
od: Muhamad Hamizi Zaidi, Mohd Jonhanis
Izdano: (2022)

Pointer analysis for Java programs : novel techniques and applications
od: Sălcianu, Alexandru D. (Alexandru Doru), 1975-
Izdano: (2007)

PACMAN: Attacking ARM Pointer Authentication with Speculative Execution
od: Ravichandran, Joseph, et al.
Izdano: (2022)

A Combined Pointer and Purity Analysis for Java Programs
od: Salcianu, Alexandru, et al.
Izdano: (2005)

Missing the Point(er): On the Effectiveness of Code Pointer Integrity
od: Evans, Isaac, et al.
Izdano: (2020)

Compositional Pointer and Escape Analysis for Multithreaded Java Programs
od: Rinard, Martin, et al.
Izdano: (2023)

COVID-19 vaccine trials with children: ethics pointers
od: Atuire, CA, et al.
Izdano: (2022)

Statistical and Logical Reasoning in Disambiguation
od: Pulman, S
Izdano: (2000)

Hypertableau Reasoning for Description Logics
od: Motik, B, et al.
Izdano: (2014)

Scalable reasoning for description logics
od: Shearer, R
Izdano: (2011)

Logic techniques of formal reasoning /
od: 390934 Kalish, Donald, et al.
Izdano: (1980)