Automatic Numeric Abstractions for Heap-Manipulating Programs

doi 10.1145/1706299.1706326
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

Model and Proof Generation for Heap-Manipulating Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Widening Operators for Weakly-Relational Numeric Abstractions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Multiple Pre/Post Specifications for Heap-Manipulating Methods

2007English

Automatic Modular Abstractions for Linear Constraints

2008English

Automatic Inference of Heap Properties Exploiting Value Domains

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Weakly Sensitive Analysis for JavaScript Object-Manipulating Programs

Software - Practice and Experience
Software
2019English

Memory System Performance of Programs With Intensive Heap Allocation

ACM Transactions on Computer Systems
Computer Science
1995English

Analyzing Array Manipulating Programs by Program Transformation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Loop-Level Parallelism in Numeric and Symbolic Programs

IEEE Transactions on Parallel and Distributed Systems
HardwareComputational TheorySignal ProcessingArchitectureMathematics
1993English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy