Search Results - Abstract Interpretation 1. MODULAR LOGIC PROGRAMMING

Abstract Interpreters: A Monadic Approach to Modular Verification by Michelland, Sébastien, Zakowski, Yannick, Gonnord, Laure

“…We argue that monadic interpreters built as layers of interpretations stacked atop the free monad constitute a promising way to implement and verify abstract interpreters in dependently-typed theories…”
Get full text

Automatic Modular Abstractions for Template Numerical Constraints by Monniaux, David

“…We propose a method for automatically generating abstract transformers for static analysis by abstract interpretation…”
Get full text

Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor) by Hermenegildo, Manuel V., Puebla, Germán, Bueno, Francisco, López-García, Pedro

“… The framework uses modular, incremental abstract interpretation to obtain information about the program…”
Get full text

A zonotopic framework for functional abstractions by Goubault, Eric, Putot, Sylvie

“…This article fully describes an abstract domain, dedicated to the generation of accurate numerical invariants and based on zonotopes parameterized by vectors of affine forms…”
Get full text

Stable relations and abstract interpretation of higher-order programs by Montagu, Benoît, Jensen, Thomas

“… The definition also admits a presentation as a program logic. Following the principles of abstract interpretation, we use our denotational semantics as a collecting semantics to derive a modular relational analysis for higher-order programs…”
Get full text

Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs by Miné, Antoine

“…We present a static analysis by Abstract Interpretation to check for run-time errors in parallel and multi-threaded C programs…”
Get full text

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II by Groote, Jan Friso, Larsen, Kim Guldstrand

“… – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021…”
Get full text

Axiomatizations and Computability of Weighted Monadic Second-Order Logic by Achilleos, Antonis, Pedersen, Mathias Ruggaard

“… Gastin and Monmege (2018) gave abstract semantics for a version of weighted monadic second-order logic to give a more general and modular proof of the equivalence of the logic with weighted automata…”
Get full text

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings by Ahmed, Amal

“…This book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences…”
Get full text

Programming languages and systems : 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023 : proceedings by Wies, Thomas

“…This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint…”
Get full text

OR/AND neurons and the development of interpretable logic models by Pedrycz, W., Reformat, M., Li, K.

“… and come with significant interpretation abilities. The composite logic nature of the logic neurons becomes instrumental in covering a broad spectrum of logic…”
Get full text

Program partition and logic program analysis by Han, Jia Liang

“…A program partition scheme for stratified programs introduced by Apt et al. (1988) is used to study efficient computation of logic programs…”
Get full text

Symbolic Execution Proofs for Higher Order Store Programs by Reus, Bernhard, Charlton, Nathaniel, Horsfall, Ben

“… Yet conventional Hoare logics, which provide no means of representing changes to code at runtime, are not applicable to such programs…”
Get full text

Abstraction and resolution modulo AC: How to verify Diffie–Hellman-like protocols automatically by Goubault-Larrecq, Jean, Roger, Muriel, Verma, Kumar Neeraj

Get full text

Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs by Miné, Antoine

“…We present a static analysis by Abstract Interpretation to check for run-time errors in parallel and multi-threaded C programs…”
Get full text

Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part II by Sankaranarayanan, Sriram, Sharygina, Natasha

“… The proceedings also contain 1 invited talk in full paper length, 13 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report…”
Get full text

Syntactic finitism in the metatheory of programming languages by Sarnat, Jeffrey

“…One of the central goals of programming-language research is to develop mathematically sound formal methods for precisely specifying and reasoning about the behavior of programs…”
Get full text

Why untyped nonground metaprogramming is not (much of) a problem by Martens, Bern, de Schreye, Danny

“… For language independent, stratified normal object programs, we prove that there is a natural one-to-one correspondence between atoms p( t 1,…, t r…”
Get full text

Order-sorted model theory for temporal executable specifications by Alagic, Suad, Alagic, Mara

“…An order-sorted, temporal programming paradigm is presented. It consists of a typed, modular, declarative language, its associated order-sorted temporal Horn…”
Get full text