An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-31980-1_10
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

An Algorithm for Mesh Refinement and Un-Refinement in Fast Transient Dynamics

International Journal of Computational Methods
Computational MathematicsComputer Science
2013English

Trace Partitioning in Abstract Interpretation Based Static Analyzers

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Parallel Anisotropic Block-Based Adaptive Mesh Refinement Algorithm for Three-Dimensional Flows

2013English

An Adaptive Correspondence Algorithm for Modeling Scenes With Strong Interreflections

IEEE Transactions on Visualization and Computer Graphics
Computer GraphicsPattern RecognitionComputer VisionComputer-Aided DesignSignal ProcessingSoftware
2009English

Algorithm Refinement for Stochastic Partial Differential Equations

AIP Conference Proceedings
AstronomyPhysics
2003English

A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework

ACM Transactions on Programming Languages and Systems
Software
2018English

Abstract Interpretation for Worst and Average Case Analysis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Basic Concepts of Abstract Interpretation

IFIP International Federation for Information Processing
2004English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy