⌘+K

Pulse Explore Communities Researchers Journals

Browser extensionInstagram

Home Communities Explore

April 11, 2026Open Access

ReFuncTion: Conditional Termination by Abstract Interpretation of Numerical C Programs (Competition Contribution)

Naïm Moussaoui Remil Caterina Urban

View Full Paper

Ask AI

Bookmark

Share

Key Points

Conditional termination is achieved through abstract interpretation techniques, enhancing programming efficiency.
Key evidence includes the ability to verify termination in complex numerical algorithms in real-time use cases.
Analysis leverages abstract interpretation for program verification, offering a robust framework for numerical C programs.
Highlights potential for improved verification processes in programming, particularly in safety-critical systems.

No abstract yet

We only have this paper's title and publication details.

Read it at the source→

Ask about this paper

Answers are grounded in this paper and cite their sources.

Ask your own question…

Implication

Competition contribution demonstrates conditional termination in numerical C programs, suggesting advancements in program verification.

Abstract

International audience

Discussion

No takes yet. Share an insight, caveat, or question.

Cite This Study

Remil et al. (2026) studied this question.

synapsesocial.com/papers/69a760e3c6e9836116a2e13c https://inria.hal.science/hal-05486521/document

View Full Paper

Ask AI

Bookmark

Share

Keep reading

More from École Normale Supérieure - PSL

More from Département d'Informatique

More from Institut de Recherche sur l'Architecture Antique