Results 31 to 40 of about 590,012 (309)
Reversing abstract interpretations [PDF]
Science of Computer Programming, 1992 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
John Hughes 0001, John Launchbury
openaire +1 more source
Probabilistic Abstract Interpretation [PDF]
, 2012 Abstract interpretation has been widely used for verifying properties of computer systems. Here, we present a way to extend this framework to the case of probabilistic systems. The probabilistic abstraction framework that we propose allows us to systematically lift any classical analysis or verification method to the probabilistic setting by ...
Patrick Cousot, Michael Monerau
openaire +1 more source
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
Frontiers in Psychology, 2020 According to usage-based theories, children initially acquire surface-level constructions and then abstract representations. If so, bilingual children might show lags relative to monolingual children early in acquisition, but not later on, once they rely
Elena Nicoladis, Sera Sajeev
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 +1 more source
Ordering Optimizations for Concurrent Logic Programs [PDF]
, 1992 Ordering optimisations are optimisations that can be applied to a concurrent logic program when the atoms of a clause are known to be ordered. In this paper ordering optimisations are reviewed, reformulated and refined.
Soper, Paul, King, Andy
core +1 more source
The Semantics of Abstract Program Slicing
, 2008 The present paper introduces the semantic basis for abstract slicing. This notion is more general than standard, concrete slicing, in that slicing criteria are abstract, i.e., defined on properties of data, rather than concrete values.
Damiano Zanardini, Zanardini, Damiano
core +1 more source
Abstract Interpretation-Based Protection
, 2010 Hiding information means both hiding as making it imperceptible and obscuring as making it incomprehensible [9]. In programming, perception and comprehension of code’s structure and behaviour are deep semantic concepts, which depend on the relative ...
Roberto Giacobazzi, GIACOBAZZI, Roberto
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Primary lung carcinomas and bronchial carcinoid tumors (BC) are very rare malignancies in childhood. While typical BC and mucoepidermoid carcinomas are mostly low‐grade, localized tumors with a more favorable prognosis than in adults, necessitating avoidance of overtreatment, adenocarcinomas of the lung are often diagnosed at advanced disease ...
Michael Abele +19 more
wiley +1 more source
A generic framework for the analysis and specialization of logic programs
, 2005 The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the partial deduction and abstract interpretation perspectives.
Albert Albiol, Elvira +2 more
core +1 more source