Results 41 to 50 of about 590,012 (309)

Whole-value analysis by abstract interpretation

Frontiers in Computer Science
Value analysis is the task of understanding what concrete values a program might compute for each variable or memory region. Historically, research focused mostly on numerical analysis (i.e., value analysis of programs manipulating numeric values), while
Luca Negrini
doaj   +1 more source

Abstracting Definitional Interpreters

CoRR, 2017
In this functional pearl, we examine the use of definitional interpreters as a basis for abstract interpretation of higher-order programming languages. As it turns out, definitional interpreters, especially those written in monadic style, can provide a nice basis for a wide variety of collecting semantics, abstract interpretations, symbolic executions,
David Darais, Nicholas Labich, Phuc C. Nguyen, David Van Horn   +3 more
openaire   +2 more sources

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

Strong preservation of temporal fixpoint-based operators by abstract interpretation

, 2006
Standard abstract model checking relies on abstract Kripke structures which approximate the concrete model by gluing together indistinguishable states. Strong preservation for a specification language L, encodes the equivalence of concrete and abstract ...
RANZATO, FRANCESCO, TAPPARO, FRANCESCO
core   +1 more source

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   +6 more sources

Health‐Related Quality of Life and Symptom Severity Among Patients With PIK3CA‐Related Overgrowth Spectrum: A Mixed‐Methods Study to Understand Real‐World Experience With Alpelisib Treatment

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background PIK3CA‐related overgrowth spectrum (PROS) includes several rare overgrowth disorders resulting from somatic gain‐of‐function mutations in PIK3CA. Despite treatment advances, including the recent approval of alpelisib for PROS in the United States, literature detailing the patient experience with PROS is limited.
Vamsi Bollu, Kaitlin LaGasse, Cory D. Saucier, Kimberly Raymond, Miranda Lauher‐Charest, Lauren Crowder, Beilei Cai, Mary Lisha Paul, Denise Adams   +8 more
wiley   +1 more source

Abstract verification and debugging of constraint logic programs

, 2002
The technique of Abstract Interpretation [13] has allowed the development of sophisticated program analyses which are provably correct and practical. The semantic approximations produced by such analyses have been traditionally applied to optimization ...
Pedro López-garcía, Francisco Bueno, Hermenegildo, Manuel V., Bueno Carrillo, Francisco, Germán Puebla, López García, Pedro, Manuel Hermenegildo, Puebla Sánchez, Alvaro Germán   +7 more
core   +1 more source

The Two Variable Per Inequality Abstract Domain [PDF]

, 2010
This article presents the Two Variable Per Inequality abstract domain (TVPI domain for short). This so-called weakly-relational domain is able to express systems of linear inequalities where each inequality has at most two variables.
Howe, Jacob M., Simon, Axel, King, Andy
core   +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

Clinical and Biological Features of Response in Resistant Neuroblastoma to 131I‐Metaiodobenzylguanidine Radiotherapy in the Anti‐GD2 Immunotherapy Era

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background 131I‐metaiodobenzylguanidine (131I‐MIBG) radiotherapy is a key treatment for relapsed and refractory (R/R) neuroblastoma (NB). Patients with R/R disease treated in the modern era are increasingly exposed to anti‐GD2 immunotherapy, which exerts selective pressure and may modify both tumor cell state and microenvironment.
Benjamin J. Lerman, Katherine K. Matthay, Fabienne Hollinger, Catriona Black, Ann A. Lazar, Miguel Pampaloni, Steven G. DuBois, Kieuhoa T. Vo   +7 more
wiley   +1 more source