Blaiming the Client: On Data Reﬁnement in the Presence of Pointers

Blaiming the Client: On Data Reﬁnement in the Presence of Pointers

Bibliographische Detailangaben
Hauptverfasser:	Filipovic, I, O’Hearn, P, Torp−Smith, N, Yang, H
Format:	Journal article
Veröffentlicht:	2010

Ähnliche Einträge

Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic
von: Calcagno, C, et al.
Veröffentlicht: (2006)

Data Refinement with Low−level Pointer Operations
von: Mijajlovic, I, et al.
Veröffentlicht: (2005)

Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables, and Label Variables
von: Weihl, William Edward
Veröffentlicht: (2023)

Abstraction for Concurrent Objects
von: Filipovic, I, et al.
Veröffentlicht: (2010)

Abstraction for concurrent objects
von: Filipovic, I, et al.
Veröffentlicht: (2010)

Abstraction for Concurrent Objects
von: Filipovic, I, et al.
Veröffentlicht: (2009)

Tiny Pointers
von: Bender, Michael, et al.
Veröffentlicht: (2024)

Local Reasoning about Programs that Alter Data Structures
von: O'Hearn, P, et al.
Veröffentlicht: (2001)

Unfolding Pointer Algorithms
von: Bird, R
Veröffentlicht: (2001)

Practical job pointers/
von: 395350 Burbank, Nelson L.
Veröffentlicht: (1940)

Computability and Complexity Results for a Spatial Assertion Language for Data Structures
von: Calcagno, C, et al.
Veröffentlicht: (2001)

A Semantic Basis for Local Reasoning
von: Yang, H, et al.
Veröffentlicht: (2015)

Portable Qiblat pointer device /
von: 368936 Amylia Hamzah
Veröffentlicht: (2006)

RANCANGBANGUN MOUSE POINTER BERBASIS WEBCAM
von: , Rahmad Widodo, et al.
Veröffentlicht: (2011)

Automatic Verification of Pointer Programs Using Grammar−Based Shape Analysis
von: Lee, O, et al.
Veröffentlicht: (2015)

A Trace Model for Pointers and Objects
von: Hoare, C, et al.
Veröffentlicht: (1999)

FUNCTIONAL PEARL Unfolding pointer algorithms
Veröffentlicht: (2001)

Data Refinement Refined
von: Hoare, C, et al.
Veröffentlicht: (1985)

Separation Logic Semantics for Communicating Processes
von: Hoare, T, et al.
Veröffentlicht: (2008)

Local Action and Abstract Separation Logic
von: Calcagno, C, et al.
Veröffentlicht: (2007)

Separation and Information Hiding
von: O'Hearn, P, et al.
Veröffentlicht: (2004)

Separation and Information Hiding
von: O’Hearn, P, et al.
Veröffentlicht: (2009)

Possible Worlds and Resources: The Semantics of BI
von: Pym, D, et al.
Veröffentlicht: (2004)

A local shape analysis based on separation logic
von: Distefano, D, et al.
Veröffentlicht: (2015)

Ketahui tip-tip kekalkan pointer tinggi
von: Sinar Harian
Veröffentlicht: (2018)

Pointer analysis and its applications for Java programs
von: Sălcianu, Alexandru D. (Alexandru Doru), 1975-
Veröffentlicht: (2014)

Pointers for parenting for mental health service professionals /
von: Gupta, Rajinder M., 1939-, et al.
Veröffentlicht: (2006)

Data Refinement Refined
Veröffentlicht: (1985)

Missing the Point(er): On the Effectiveness of Code Pointer Integrity
von: Evans, Isaac, et al.
Veröffentlicht: (2020)

An Example of Local Reasoning in BI Pointer Logic: the Schorr−Waite Graph Marking Algorithm
von: Yang, H
Veröffentlicht: (2001)

Shape Analysis for Composite Data Structures
von: Berdine, J, et al.
Veröffentlicht: (2007)

Tracking Pointer At Endoscopic Images For Telepointer Remote Guided
von: Muhamad Hamizi Zaidi, Mohd Jonhanis
Veröffentlicht: (2022)

Pointer analysis for Java programs : novel techniques and applications
von: Sălcianu, Alexandru D. (Alexandru Doru), 1975-
Veröffentlicht: (2007)

PACMAN: Attacking ARM Pointer Authentication with Speculative Execution
von: Ravichandran, Joseph, et al.
Veröffentlicht: (2022)

A Combined Pointer and Purity Analysis for Java Programs
von: Salcianu, Alexandru, et al.
Veröffentlicht: (2005)

Compositional Pointer and Escape Analysis for Multithreaded Java Programs
von: Rinard, Martin, et al.
Veröffentlicht: (2023)

COVID-19 vaccine trials with children: ethics pointers
von: Atuire, CA, et al.
Veröffentlicht: (2022)

Data Refinement Refined: Resume
von: He, J, et al.
Veröffentlicht: (1986)

Intensity Stability Comparison Between Different Colors of Laser Pointer
von: S., Nurulain, et al.
Veröffentlicht: (2023)

Practice Pointer: Assessment of an adolescent with a possible eating disorder
von: Bould, H, et al.
Veröffentlicht: (2017)