Výsledky vyhľadávania - Abstract Interpretation 1. MODULAR LOGIC PROGRAMMING

Abstract Interpreters: A Monadic Approach to Modular Verification Autor 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…”
Získať plný text

Automatic Modular Abstractions for Template Numerical Constraints Autor Monniaux, David

“…We propose a method for automatically generating abstract transformers for static analysis by abstract interpretation…”
Získať plný text

Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor) Autor 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…”
Získať plný text

A zonotopic framework for functional abstractions Autor 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…”
Získať plný text

Stable relations and abstract interpretation of higher-order programs Autor 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…”
Získať plný text

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

“…We present a static analysis by Abstract Interpretation to check for run-time errors in parallel and multi-threaded C programs…”
Získať plný 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 Autor Groote, Jan Friso, Larsen, Kim Guldstrand

“… – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021…”
Získať plný text

Axiomatizations and Computability of Weighted Monadic Second-Order Logic Autor 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…”
Získať plný 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 Autor 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…”
Získať plný 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 Autor 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…”
Získať plný text

OR/AND neurons and the development of interpretable logic models Autor 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…”
Získať plný text

Program partition and logic program analysis Autor 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…”
Získať plný text

Symbolic Execution Proofs for Higher Order Store Programs Autor 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…”
Získať plný text

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

Získať plný text

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

“…We present a static analysis by Abstract Interpretation to check for run-time errors in parallel and multi-threaded C programs…”
Získať plný 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 Autor 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…”
Získať plný text

Syntactic finitism in the metatheory of programming languages Autor 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…”
Získať plný text

Why untyped nonground metaprogramming is not (much of) a problem Autor 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…”
Získať plný text

Order-sorted model theory for temporal executable specifications Autor 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…”
Získať plný text