Suchergebnisse - Abstract Interpretation 1. MODULAR LOGIC PROGRAMMING

Abstract Interpreters: A Monadic Approach to Modular Verification von 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 …”
Volltext

Automatic Modular Abstractions for Template Numerical Constraints von Monniaux, David

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

Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor) von 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 …”
Volltext

A zonotopic framework for functional abstractions von 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 …”
Volltext

Stable relations and abstract interpretation of higher-order programs von 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 …”
Volltext

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

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

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 von Groote, Jan Friso, Larsen, Kim Guldstrand

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

Axiomatizations and Computability of Weighted Monadic Second-Order Logic von 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 …”
Volltext

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 von 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 …”
Volltext

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 von 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 …”
Volltext

OR/AND neurons and the development of interpretable logic models von 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 …”
Volltext

Program partition and logic program analysis von 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 …”
Volltext

Symbolic Execution Proofs for Higher Order Store Programs von 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 …”
Volltext

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

Volltext

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

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

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 von 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 …”
Volltext

Syntactic finitism in the metatheory of programming languages von 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 …”
Volltext

Why untyped nonground metaprogramming is not (much of) a problem von 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 …”
Volltext

Order-sorted model theory for temporal executable specifications von 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 …”
Volltext