Results 11 to 20 of about 590,012 (309)
Abstract Interpretation Frameworks [PDF]
Journal of Logic and Computation, 1992 Summary: We introduce abstract interpretation frameworks which are variations on the archetypal framework using Galois connections between concrete and abstract semantics, widenings and narrowings and are obtained by relaxation of the original hypotheses.
Patrick Cousot, Radhia Cousot
openaire +2 more sources
Static Analysis for ECMAScript String Manipulation Programs
Applied Sciences, 2020 In recent years, dynamic languages, such as JavaScript or Python, have been increasingly used in a wide range of fields and applications. Their tricky and misunderstood behaviors pose a great challenge for static analysis of these languages. A key aspect
Vincenzo Arceri +2 more
doaj +1 more source
Abstracting Strings for Model Checking of C Programs
Applied Sciences, 2020 Data type abstraction plays a crucial role in software verification. In this paper, we introduce a domain for abstracting strings in the C programming language, where strings are managed as null-terminated arrays of characters. The new domain M-String is
Henrich Lauko +3 more
doaj +1 more source
Abstract Interpretation as a Programming Language [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 In David Schmidt's PhD work he explored the use of denotational semantics as a programming language. It was part of an effort to not only treat formal semantics as specifications but also as interpreters and input to compiler generators.
Mads Rosendahl
doaj +1 more source
Demanded abstract interpretation [PDF]
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021 We consider the problem of making expressive static analyzers interactive. Formal static analysis is seeing increasingly widespread adoption as a tool for verification and bug-finding, but even with powerful cloud infrastructure it can take minutes or hours to get batch analysis results after a code change.
Benno Stein 0002 +2 more
openaire +1 more source
Pretty-big-step-semantics-based Certified Abstract Interpretation (Preliminary version) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 We present a technique for deriving semantic program analyses from a natural semantics specification of the programming language. The technique is based on a particular kind of semantics called pretty-big-step semantics.
Martin Bodin +2 more
doaj +1 more source
Abstract Interpretation with Unfoldings [PDF]
, 2017 We present and evaluate a technique for computing path-sensitive interference conditions during abstract interpretation of concurrent programs. In lieu of fixed point computation, we use prime event structures to compactly represent causal dependence and interference between sequences of transformers.
Marcelo Sousa +3 more
openaire +2 more sources
Automatic Repair of Overflowing Expressions with Abstract Interpretation [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 We consider the problem of synthesizing provably non-overflowing integer arithmetic expressions or Boolean relations among integer arithmetic expressions.
Francesco Logozzo, Matthieu Martel
doaj +1 more source
History of Abstract Interpretation [PDF]
IEEE Annals of the History of Computing, 2022 We trace the roots of abstract interpretation and its role as a foundational principle to understand and design static program analysis and verification methods. Starting from the historical roots of formal methods and static program analysis, we show how abstract interpretation evolved and influenced the way we reason about program correctness in ...
Roberto Giacobazzi, Francesco Ranzato
openaire +2 more sources
A Survey on Product Operators in Abstract Interpretation [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 The aim of this paper is to provide a general overview of the product operators introduced in the literature as a tool to enhance the analysis accuracy in the Abstract Interpretation framework. In particular we focus on the Cartesian and reduced products,
Agostino Cortesi +2 more
doaj +1 more source