Suchergebnisse - Coinductive Logic Programming

Flexible coinductive logic programming von DAGNINO, FRANCESCO, ANCONA, DAVIDE, ZUCCA, ELENA

“… We provide a detailed formal account of an extension of logic programming supporting flexible coinduction …”
Volltext

Extending Coinductive Logic Programming with Co-Facts von Ancona, Davide, Dagnino, Francesco, Zucca, Elena

“… As in coinductive logic programming, interpretations are subsets of the complete Herbrand basis, including infinite terms …”
Volltext

Flexible coinductive logic programming von Dagnino, Francesco, Ancona, Davide, Zucca, Elena

“… We provide a detailed formal account of an extension of logic programming supporting flexible coinduction …”
Volltext

Extending Coinductive Logic Programming with Co-Facts von Ancona, Davide, Dagnino, Francesco, Zucca, Elena

“… As in coinductive logic programming, interpretations are subsets of the complete Herbrand basis, including infinite terms …”
Volltext

The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them von Komendantskaya, Ekaterina, Rozplokhas, Dmitry, Basold, Henning

“… The property is less studied in coinductive extensions of sequent calculi. In this paper, we use coinductive Horn clause theories to show that cut is not eliminable in a coinductive extension of LJ, a system we call CLJ …”
Volltext

Coinductive Streams in Monoidal Categories von Di Lavore, Elena, de Felice, Giovanni, Román, Mario

“… In the same way that streams provide semantics to dataflow programming with pure functions, monoidal streams provide semantics to dataflow programming with theories of processes represented …”
Volltext

Productive corecursion in logic programming von KOMENDANTSKAYA, EKATERINA, LI, YUE

“… Logic Programming is a Turing complete language. As a consequence, designing algorithms that decide termination and non-termination of programs or decide inductive/coinductive soundness of formulae is a challenging task …”
Volltext

Coaxioms: flexible coinductive definitions by inference systems von Dagnino, Francesco

“… This notion nicely subsumes standard inference systems and their inductive and coinductive interpretation, thus allowing formal reasoning in cases where the inductive and coinductive interpretation …”
Volltext

A generic framework for symbolic execution: A coinductive approach von Lucanu, Dorel, Rusu, Vlad, Arusoaie, Andrei

“… We propose a language-independent symbolic execution framework. The approach is parameterised by a language definition, which consists of a signature for the …”
Volltext

Coinductive Proofs for Temporal Hyperliveness von Correnson, Arthur, Finkbeiner, Bernd

“… Temporal logics for hyperproperties have recently emerged as an expressive specification technique for relational properties of reactive systems …”
Volltext

Finite-trace linear temporal logic: coinductive completeness von Roşu, Grigore

“… Linear temporal logic (LTL) is suitable not only for infinite-trace systems, but also for finite-trace systems …”
Volltext

Totality for Mixed Inductive and Coinductive Types von Hyvernat, Pierre

“… This paper introduces an ML / Haskell like programming language with nested inductive and coinductive algebraic datatypes called \chariot …”
Volltext

The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types von Clouston, Ranald, Bizjak, Aleš, Grathwohl, Hans Bugge, Birkedal, Lars

“… We present the guarded lambda-calculus, an extension of the simply typed lambda-calculus with guarded recursive and coinductive types …”
Volltext

An operational interpretation of coinductive types von Czajka, Łukasz

“… and coinductive definitions. Intuitively, we interpret lazy data structures in a higher-order functional language by potentially infinite terms corresponding to their complete unfoldings …”
Volltext

Structural Resolution for Abstract Compilation of Object-Oriented Languages von Franceschini, Luca, Ancona, Davide, Komendantskaya, Ekaterina

“… We propose abstract compilation for precise static type analysis of object-oriented languages based on coinductive logic programming …”
Volltext

Guarded Cubical Type Theory von Birkedal, Lars, Bizjak, Aleš, Clouston, Ranald, Grathwohl, Hans Bugge, Spitters, Bas, Vezzosi, Andrea

“… ( CTT ). GDTT is an extensional type theory with guarded recursive types, which are useful for building models of program logics, and for programming and reasoning with coinductive types …”
Volltext

The Size-Change Principle for Mixed Inductive and Coinductive types von Hyvernat, Pierre

“… This paper shows how to use Lee, Jones and Ben Amram's size-change principle to check correctness of arbitrary recursive definitions in an ML / Haskell like programming language with inductive and coinductive types …”
Volltext

Program Equivalence is Coinductive von Pattinson, Dirk, Schröder, Lutz

“… Based on a complete equational axiomatization of the memory (co)model, we then give a complete inductive-coinductive …”
Volltext

A case study in programming coinductive proofs: Howe’s method von MOMIGLIANO, ALBERTO, PIENTKA, BRIGITTE, THIBODEAU, DAVID

“… Bisimulation proofs play a central role in programming languages in establishing rich properties such as contextual equivalence …”
Volltext

Proceedings 38th International Conference on Logic Programming von Lierler, Yuliya, Morales, Jose F, Dodaro, Carmine, Dahl, Veronica, Gebser, Martin, Tekle, Tuncay

“… Related Paradigms and Synergies: Inductive and coinductive logic programming, Constraint logic programming, Answer set programming, Interaction with SAT, SMT and CSP …”
Volltext