Preliminary Notes on Termination and Non-Termination Reasoning
Programming Languages
2013-09-13 v1
Authors:
Ton Chanh Le
Abstract
In this preliminary note, we will illustrate our ideas on automated mechanisms for termination and non-termination reasoning.
Keywords
Cite
@article{arxiv.1309.3128,
title = {Preliminary Notes on Termination and Non-Termination Reasoning},
author = {Ton Chanh Le},
journal= {arXiv preprint arXiv:1309.3128},
year = {2013}
}
Related papers
View all related →
Programming Languages · Computer Science
DynamiTe: Dynamic Termination and Non-termination Proofs
Ton Chanh Le, Timos Antonopoulos, Parisa Fathololumi, Eric Koskinen +1
2020-10-13
Logic in Computer Science · Computer Science
DefunT: A Tool for Automating Termination Proofs by Using the Community Books (Extended Abstract)
Matt Kaufmann
2018-10-16
Programming Languages · Computer Science
Non-Termination Inference of Logic Programs
Etienne Payet, Fred Mesnard
2007-05-23
Logic in Computer Science · Computer Science
Binary Non-Termination in Term Rewriting and Logic Programming
Étienne Payet
2023-07-24
Formal Languages and Automata Theory · Computer Science
Finite-state Independence and Normal Sequences
Nicolás Álvarez, Verónica Becher, Olivier Carton
2018-07-10
Logic in Computer Science · Computer Science
Proving Looping and Non-Looping Non-Termination by Finite Automata
Jörg Endrullis, Hans Zantema
2015-05-05
Logic in Computer Science · Computer Science
A Second-Order Formulation of Non-Termination
Fred Mesnard, Etienne Payet
2014-12-11
Logic · Mathematics
Automatic structures and the problem of natural well-orderings
Lev D. Beklemishev, Fedor N. Pakhomov
2024-07-16
Programming Languages · Computer Science
Termination Analysis Without the Tears
Shaowei Zhu, Zachary Kincaid
2021-09-16
Logic in Computer Science · Computer Science
Some Notes on Temporal Justification Logic
Samuel Bucheli
2015-10-27
Machine Learning · Computer Science
Neural Termination Analysis
Mirco Giacobbe, Daniel Kroening, Julian Parsert
2022-09-07
Artificial Intelligence · Computer Science
A General Framework for Modelling Conditional Reasoning -- Preliminary Report
Giovanni Casini, Umberto Straccia
2022-02-16
Formal Languages and Automata Theory · Computer Science
Parikh Automata on Finite and Infinite Words
Mario Grobler, Leif Sabellek, Sebastian Siebertz
2025-11-12
Logic · Mathematics
Roadmap for preferential logics
Dov Gabbay, Karl Schlechta
2008-08-25
Programming Languages · Computer Science
A Non-Termination Criterion for Binary Constraint Logic Programs
Etienne Payet, Fred Mesnard
2009-01-10
Programming Languages · Computer Science
Termination of Nondeterministic Recursive Probabilistic Programs
Krishnendu Chatterjee, Hongfei Fu
2017-01-12
Logic in Computer Science · Computer Science
Temporal Many-valued Conditional Logics: a Preliminary Report
Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2024-09-17
Logic in Computer Science · Computer Science
Automated Termination Analysis for Logic Programs with Cut
Peter Schneider-Kamp, Jürgen Giesl, Thomas Ströder, Alexander Serebrenik +1
2010-07-29
Geometric Topology · Mathematics
Automated reasoning for proving non-orderability of groups
Alexei Lisitsa, Zipei Nie, Alexei Vernitski
2023-10-10
Programming Languages · Computer Science
An Improved Non-Termination Criterion for Binary Constraint Logic Programs
Etienne Payet, Fred Mesnard
2007-05-23
Artificial Intelligence · Computer Science
Statistical Early Stopping for Reasoning Models
Yangxinyu Xie, Tao Wang, Soham Mallick, Yan Sun +5
2026-02-17
Programming Languages · Computer Science
Termination Analysis of Linear-Constraint Programs
Amir M. Ben-Amram, Samir Genaim, Joël Ouaknine, James Worrell
2026-01-27
Logic in Computer Science · Computer Science
Temporal Justification Logic
Samuel Bucheli, Meghdad Ghari, Thomas Studer
2017-03-08
Logic in Computer Science · Computer Science
Non-termination using Regular Languages
Jörg Endrullis, Hans Zantema
2014-05-23
Programming Languages · Computer Science
Automatic Termination Analysis of Programs Containing Arithmetic Predicates
Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
2007-05-23