Search Results - Coinductive Logic Programming

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

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

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

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

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

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

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

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

The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them by 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…”
Get full text

Coinductive Streams in Monoidal Categories by 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…”
Get full text

Productive corecursion in logic programming by 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…”
Get full text

Coaxioms: flexible coinductive definitions by inference systems by 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…”
Get full text

A generic framework for symbolic execution: A coinductive approach by 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…”
Get full text

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

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

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

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

Totality for Mixed Inductive and Coinductive Types by Hyvernat, Pierre

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

The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types by 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…”
Get full text

An operational interpretation of coinductive types by 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…”
Get full text

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

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

Guarded Cubical Type Theory by 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…”
Get full text

The Size-Change Principle for Mixed Inductive and Coinductive types by 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…”
Get full text

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

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

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

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

Proceedings 38th International Conference on Logic Programming by 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…”
Get full text