Amanote Research
Register
Sign In
Full Functional Verification of Linked Data Structures
doi 10.1145/1375581.1375624
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2008
Authors
Karen Zee
Viktor Kuncak
Martin Rinard
Publisher
ACM Press
Related search
Data Flow Analysis for Software Prefetching Linked Data Structures in Java
A Temporal Approach to Specification and Verification of Pointer Data-Structures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Linked Data
Geospatial Web Services
PARCOACH Extension for a Full-Interprocedural Collectives Verification
Timed Circuit Verification Using TEL Structures
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Electrical
Software
Computer Graphics
Computer-Aided Design
Electronic Engineering
Verification of Functional and Non-Functional Requirements of Web Service Composition
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modular Verification of Linked Lists With Views via Separation Logic.
Journal of Object Technology
Software
Full-Wave Verification of an Electromagnetic Inversion Metasurface Design Method
Full-Wave Verification of an Electromagnetic Inversion Metasurface Design Method