Results 51 to 60 of about 590,012 (309)
Abstract Interpretation for Object Oriented Languages: Quo Vadis?
, 2005 The aim of this position paper is to draw a quick overview of the main contributions in abstract interpretation of object-oriented programs, and to draw possible lines of research in this ...
CORTESI A. +3 more
core +1 more source
Semantics for Prolog with Cut – Revisited [PDF]
, 2014 This paper revisits the semantics for Prolog with cut from the perspective of formulating a semantic base that is amenable to abstract interpretation. It argues that such a semantics should separate the question of divergence from questions pertaining to
Jael Kriener +3 more
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Osteosarcoma (OS) and Ewing sarcoma (EWS) are the most common primary bone cancers in children, but acute thrombosis is poorly characterized in this population. Our study evaluated the rates of venous thromboembolism (VTE) and associated risk factors in pediatric patients with bone sarcomas treated over a 10‐year period encompassing
Sarah Kappa +8 more
wiley +1 more source
Using abstract interpretation to correct synchronization faults
, 2017 We describe a novel use of abstract interpretation in which the abstract domain informs a runtime system to correct synchronization failures. To this end, we first introduce a novel synchronization paradigm, dubbed corrective synchronization, that is a ...
Koskinen E, Liu P, Ferrara P, Tripp O
core +1 more source
Evaluation of static analysis tools used to assess software important to nuclear power plant safety
Nuclear Engineering and Technology, 2015 We describe a comparative analysis of different tools used to assess safety-critical software used in nuclear power plants. To enhance the credibility of safety assessments and to optimize safety justification costs, Electricité de France (EDF ...
Alain Ourghanlian
doaj +1 more source
Compiling with Abstract Interpretation
Proceedings of the ACM on Programming LanguagesRewriting and static analyses are mutually beneficial techniques: program transformations change the inten- sional aspects of the program, and can thus improve analysis precision, while some efficient transformations are enabled by specific knowledge of some program invariants.
Dorian Lesbre, Matthieu Lemerre
openaire +2 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Claudin‐6 has emerged as a promising immunotherapeutic target, yet protein‐level data in atypical teratoid/rhabdoid tumors (AT/RTs) have been inconsistent. We analyzed 36 well‐characterized AT/RT samples and found membranous claudin‐6 protein expression in 58% of cases, with striking enrichment in the molecular subgroup AT/RT‐TYR (100%) and ...
Victoria E. Fincke +4 more
wiley +1 more source
Range Analysis of Binaries with Minimal Effort [PDF]
, 1992 COTS components are ubiquitous in military, industrial and governmental systems. However, the bene?fits of reduced development and maintainance costs are compromised by security concerns.
Barrett, Edd, King, Andy
core +1 more source
Static program analysis for IoT risk mitigation in space-air-ground integrated networks
Security and SafetyThe space-air-ground integrated networks (SAGINs) are pivotal for modern communication and surveillance, with a growing number of connected devices. The proliferation of IoT devices within these networks introduces new risks due to potential erroneous ...
Deng Haotian +6 more
doaj +1 more source
Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation
ACM Transactions on Programming Languages and SystemsRobustness is a key and desirable property of any classifying system, in particular, to avoid the ever-rising threat of adversarial attacks. Informally, a classification system is robust when the result is not affected by the perturbation of the input. This notion has been extensively studied, but little attention has been dedicated to
Roberto Giacobazzi +2 more
openaire +1 more source