Widening Operators for Weakly-Relational Numeric Abstractions

Lecture Notes in Computer Science - Germany
doi 10.1007/11547662_3
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Automatic Numeric Abstractions for Heap-Manipulating Programs

2010English

Almost Weakly Compact Operators

Bulletin of the Polish Academy of Sciences Mathematics
2006English

Logahedra: A New Weakly Relational Domain

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Representing Non-Weakly Compact Operators

Studia Mathematica
Mathematics
1995English

Uniform Factorization for Compact Sets of Weakly Compact Operators

Studia Mathematica
Mathematics
2006English

On Centered and Weakly Centered Operators

Journal of Functional Analysis
Analysis
1995English

Relevant Classes of Weakly Picard Operators

Annals of West University of Timisoara - Mathematics and Computer Science
2016English

Weakly Almost Periodic Semigroups of Operators

Pacific Journal of Mathematics
Mathematics
1990English

Numeric Implementation of Wave-Equation Migration Velocity Analysis Operators

Geophysics
PetrologyEnergyGeochemistryGeophysics
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy