Results 41 to 50 of about 6,513,935 (304)

Interpretational abstraction

Computers & Mathematics with Applications, 1991
AbstractInterpretational abstraction is proposed as a means to overcome dificiencies in cases where procedural or data abstraction are not able to express underlying concepts explicitly. Interpretational abstraction enables the software developer to modify and extend the computational meaning of a program.
openaire   +2 more sources

Data dependencies and program slicing: from syntax to abstract semantics [PDF]

, 2008
We discuss the relation between program slicing and data dependencies. We claim that slicing can be defined, and therefore calculated, parametrically on the chosen notion of dependency, which implies a different result when building the program ...
Damiano Zanardini, MASTROENI, Isabella, Isabella Mastroeni, Mastroieni, Isabella, Zanardini, Damiano   +4 more
core   +1 more source

Abstract Interpretation of Microcontroller Code: Intervals meet Congruences [PDF]

, 2013
Bitwise instructions, loops and indirect data access present challenges to the verification of microcontroller programs. In particular, since registers are often memory mapped, it is necessary to show that an indirect store operation does not accidently ...
Brauer, Jorg, King, Andy, Kowalewski, Stefan   +2 more
core   +1 more source

Program development using abstract interpretation (and the ciao system preprocessor) [PDF]

, 2003
The technique of Abstract Interpretation has allowed the development of very sophisticated global program analyses which are at the same time provably correct and practical.
Hermenegildo, Manuel V., Bueno Carrillo, Francisco, López García, Pedro, Puebla Sánchez, Alvaro Germán   +3 more
core  

European Standard Clinical Practice Guideline and EXPeRT Recommendations for the Diagnosis and Management of Gastroenteropancreatic Neuroendocrine Neoplasms in Children and Adolescents

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Pediatric gastroenteropancreatic neuroendocrine neoplasms (GEP‐NENs) are extremely rare and clinically heterogeneous. Management has largely been extrapolated from adult practice. This European Standard Clinical Practice Guideline (ESCP), developed by the EXPeRT network in collaboration with adult NEN experts, provides (adult) evidence ...
Michaela Kuhlen, Calogero Virgone, Antje Redlich, Michael Abele, Ricardo Lopez‐Almaraz, Tal Ben‐Ami, Ewa Bien, Gianni Bisogno, Maja Mazic Cesen, Andrea Ferrari, Malgorzata A. Krawczyk, Yves Reguerre, Dominik T. Schneider, Ines B. Brecht, Charlotte Rigaud, Bilgehan Yalcin, Rainer Claus, Christian Vokuhl, Constantin Lapa, Jörg Fuchs, Segolene Hescot, Thomas Walter, Julien Hadoux, Daniel Orbach   +23 more
wiley   +1 more source

Abstract Interpretation-based verification/certification in the ciaoPP system [PDF]

, 2005
CiaoPP is the abstract interpretation-based preprocessor of the Ciao multi-paradigm (Constraint) Logic Programming system. It uses modular, incremental abstract interpretation as a fundamental tool to obtain information about programs.
Albert Albiol, Elvira, Hermenegildo, Manuel V., Puebla Sánchez, Alvaro Germán   +2 more
core  

Acute Neurological Events in Children With Hemoglobin SC Disease: A Multicenter Retrospective Study

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Introduction Neurological manifestations in children with hemoglobin SC (HbSC) disease remain insufficiently characterized, particularly regarding acute events. The aim of this study was to describe the spectrum and frequency of acute neurological events in a multicenter cohort of children with HbSC disease.
Célia Paulmin, Bérengère Koehl, Audrey Maudoux, Hanine Mansour, Marie‐Hélène Odievre, Nathalie Garrec, Emilie Georget, Cécile Arnaud, Slimane Allali, Lydia Doumdo, Marie Belloy, Corinne Guitton   +11 more
wiley   +1 more source

ForBac: A Static Analysis Approach With Forward and Backward Analysis for Precision in Floating-Point Computations

IEEE Access
Accuracy in floating-point computations is critical for reliable software, especially in systems where precision impacts safety and performance. Inaccuracies from rounding errors and precision loss can lead to significant issues in applications like ...
M. G. Thushara, K. Somasundaram
doaj   +1 more source

Bounded Abstract Interpretation [PDF]

, 2016
In practice, software engineers are only able to spend a limited amount of resources on statically analyzing their code. Such resources may refer to their available time or their tolerance for imprecision, and usually depend on when in their workflow a static analysis is run. To serve these different needs, we propose a technique that enables engineers
Maria Christakis, Valentin Wüstholz
openaire   +2 more sources

On the Monniaux Problem in Abstract Interpretation [PDF]

Journal of the ACM, 2019
The Monniaux Problem in abstract interpretation asks, roughly speaking, whether the following question is decidable: Given a program P , a safety (e.g., non-reachability) specification \(\varphi\) , and an abstract domain of invariants \(\
Fijalkow, Nathanaël, Lefaucheux, Engel, Ohlmann, Pierre, Ouaknine, Joël, Pouly, Amaury, Worrell, James   +5 more
openaire   +8 more sources