Image de couverture de livre

Ranking Functions for Linear-Constraint Loops

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Ben-Amram, Amir M., Genaim, Samir
Format:	Preprint
Publié:	2012
Sujets:	Programming Languages Logic in Computer Science F.2.0; F.3.1
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Proof-Carrying Neuro-Symbolic Code
par: Komendantskaya, Ekaterina
Publié: (2025)

Effect-Transparent Governance for AI Workflow Architectures: Semantic Preservation, Expressive Minimality, and Decidability Boundaries
par: McCann, Alan L.
Publié: (2026)

Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries
par: McCann, Alan L.
Publié: (2026)

Unified Fairness for Weak Memory Verification
par: Abdulla, Parosh Aziz, et autres
Publié: (2023)

Modelling Recursion and Probabilistic Choice in Guarded Type Theory
par: Stassen, Philipp Jan Andries, et autres
Publié: (2024)

Forall-Exists Relational Verification by Filtering to Forall-Forall
par: Nagasamudram, Ramana, et autres
Publié: (2025)

Bayesian Separation Logic
par: Ho, Shing Hin, et autres
Publié: (2025)

INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition
par: Bansal, Suguman, et autres
Publié: (2025)

Implicit Rankings for Verifying Liveness Properties in First-Order Logic
par: Lotan, Raz, et autres
Publié: (2024)

Verifying First-Order Temporal Properties of Infinite-State Systems via Timers and Rankings
par: Lotan, Raz, et autres
Publié: (2026)

Ohana trees, linear approximation and multi-types for the $λ$I-calculus: No variable gets left behind or forgotten!
par: Cerda, Rémy, et autres
Publié: (2025)

Explicit Weakening
par: Wadler, Philip
Publié: (2024)

Termination Analysis of Linear-Constraint Programs
par: Ben-Amram, Amir M., et autres
Publié: (2025)

Generically Automating Separation Logic by Functors, Homomorphisms and Modules
par: Xu, Qiyuan, et autres
Publié: (2024)

Definitional Functoriality for Dependent (Sub)Types -- Extended version
par: Laurent, Théo, et autres
Publié: (2023)

Towards Bug-Free Distributed Go Programs
par: Koo, Zhengqun
Publié: (2025)

Genericity Through Stratification
par: Arrial, Victor, et autres
Publié: (2024)

AdapTT: Functoriality for Dependent Type Casts
par: Adjedj, Arthur, et autres
Publié: (2025)

Non-Numerical Weakly Relational Domains
par: Seidl, Helmut, et autres
Publié: (2024)

Verifying Tree-Manipulating Programs via CHCs
par: Faella, Marco, et autres
Publié: (2025)

LeanLTL: A unifying framework for linear temporal logics in Lean
par: Vin, Eric, et autres
Publié: (2025)

On the Decidability of Verification under Release/Acquire
par: Conrado, Giovanna Kobus, et autres
Publié: (2026)

What does it take to certify a conversion checker?
par: Lennon-Bertrand, Meven
Publié: (2025)

Bisimilarity and Simulatability of Processes Parameterized by Join Interactions
par: Grabmayer, Clemens, et autres
Publié: (2025)

Multisets and Distributions
par: Kozen, Dexter, et autres
Publié: (2023)

On Modular Termination Proofs of General Logic Programs
par: Bossi, Annalisa, et autres
Publié: (2000)

Sequence-Based Abstract Interpretation of Prolog
par: Charlier, Baudouin Le, et autres
Publié: (2000)

Constructibility and the P versus NP problem
par: Hole, Arne
Publié: (2024)

Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops
par: Zaiser, Fabian, et autres
Publié: (2024)

Proving Cutoff Bounds for Safety Properties in First-Order Logic
par: Lotan, Raz, et autres
Publié: (2024)

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy
par: Frenkel, Eden, et autres
Publié: (2026)

A New Interaction Concept for Interactive and Autoactive Program Verification
par: Pfeifer, Wolfram, et autres
Publié: (2026)

Model Checking Probabilistic Operator Precedence Automata
par: Pontiggia, Francesco, et autres
Publié: (2024)

Verified VCG and Verified Compiler for Dafny
par: Nezamabadi, Daniel, et autres
Publié: (2025)

Fair Termination of Asynchronous Binary Sessions
par: Padovani, Luca, et autres
Publié: (2025)

Peek2: Regex-free Byte-level Byte-Pair Encoding Pretokenizer for LLM Inference on Edge Devices
par: Zai, Liu, et autres
Publié: (2026)

HpC: A Calculus for Hybrid and Mobile Systems -- Full Version
par: Xu, Xiong, et autres
Publié: (2025)

Have a thing? Reasoning around recursion with dynamic typing in grounded arithmetic
par: Bobrow, Elliot, et autres
Publié: (2025)

Loop Termination and Generalized Collatz Sequences
par: Carelli, Mishel
Publié: (2026)

Safety, Relative Tightness and the Probabilistic Frame Rule
par: Jereb, Janez Ignacij, et autres
Publié: (2025)