Imagen de Portada

Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Zhu, Shaowei, Kincaid, Zachary
Formato:	Preprint
Publicado:	2024
Materias:	Programming Languages Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Verifying Lock-free Search Structure Templates
por: Patel, Nisarg, et al.
Publicado: (2024)

Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs
por: Chatterjee, Krishnendu, et al.
Publicado: (2024)

A Categorical Basis for Robust Program Analysis
por: Kincaid, Zachary, et al.
Publicado: (2026)

Can LLMs Perform Synthesis?
por: Egolf, Derek, et al.
Publicado: (2026)

Abstractions of Sequences, Functions and Operators
por: Rustenholz, Louis, et al.
Publicado: (2025)

Realizability in Semantics-Guided Synthesis Done Eagerly
por: Meyer, Roland, et al.
Publicado: (2024)

Verifying Solutions to Semantics-Guided Synthesis Problems
por: Murphy, Charlie, et al.
Publicado: (2024)

Relating Answer Set Programming and Many-sorted Logics for Formal Verification
por: Hansen, Zachary
Publicado: (2025)

Extensional and Non-extensional Functions as Processes
por: Sakayori, Ken, et al.
Publicado: (2024)

The Functional Machine Calculus III: Control
por: Heijltjes, Willem
Publicado: (2025)

Functional Array Programming in an Extended Pi-Calculus
por: Hüttel, Hans, et al.
Publicado: (2024)

Program Synthesis for Non-Linear Real Arithmetic: Going Beyond Realizability
por: Akshay, S., et al.
Publicado: (2026)

Verifying Functional Correctness Properties At the Level of Java Bytecode
por: Paganoni, Marco, et al.
Publicado: (2024)

Higher Order Automatic Differentiation of Higher Order Functions
por: Huot, Mathieu, et al.
Publicado: (2021)

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
por: Klinkenberg, Lutz, et al.
Publicado: (2023)

On Representability of Multiple-Valued Functions by Linear Lambda Terms Typed with Second-order Polymorphic Type System
por: Matsuoka, Satoshi
Publicado: (2026)

Program Synthesis is $Σ_3^0$-Complete
por: Kim, Jinwoo
Publicado: (2024)

Kleene algebra with commutativity conditions is undecidable
por: de Amorim, Arthur Azevedo, et al.
Publicado: (2024)

Ranking Functions for Linear-Constraint Loops
por: Ben-Amram, Amir M., et al.
Publicado: (2012)

String Diagrams for $λ$-calculi and Functional Computation
por: Ghica, Dan, et al.
Publicado: (2023)

Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis
por: De Angelis, Emanuele, et al.
Publicado: (2025)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
por: Kaye, George
Publicado: (2025)

Impredicativity in Linear Dependent Type Theory
por: Speight, Sam, et al.
Publicado: (2026)

Structural Temporal Logic for Mechanized Program Verification
por: Ioannidis, Eleftherios, et al.
Publicado: (2024)

An Introduction to Different Approaches to Initial Semantics
por: Lamiaux, Thomas, et al.
Publicado: (2024)

More Church-Rosser Proofs in BELUGA
por: Momigliano, Alberto, et al.
Publicado: (2024)

Bialgebraic Reasoning on Higher-Order Program Equivalence
por: Goncharov, Sergey, et al.
Publicado: (2024)

A Nominal Approach to Probabilistic Separation Logic
por: Li, John M., et al.
Publicado: (2024)

Syntax-Guided Automated Program Repair for Hyperproperties
por: Beutner, Raven, et al.
Publicado: (2024)

DeLaM: A Dependent Layered Modal Type Theory for Meta-programming
por: Hu, Jason Z. S., et al.
Publicado: (2024)

Hybrid Intersection Types for PCF (Extended Version)
por: Barenbaum, Pablo, et al.
Publicado: (2024)

An Abstract Domain for Heap Commutativity (Extended Version)
por: Pincus, Jared, et al.
Publicado: (2024)

A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests
por: Verscht, Lena, et al.
Publicado: (2024)

Polymorphic Metaprogramming with Memory Management -- An Adjoint Analysis of Metaprogramming
por: Jang, Junyoung, et al.
Publicado: (2024)

The Vanilla Sequent Calculus is Call-by-Value (Fresh Perspective)
por: Accattoli, Beniamino
Publicado: (2024)

Useful Evaluation: Syntax and Semantics (Technical Report)
por: Barenbaum, Pablo, et al.
Publicado: (2024)

Linear Contextual Metaprogramming and Session Types
por: Ângelo, Pedro, et al.
Publicado: (2024)

Domain Reasoning in TopKAT
por: Zhang, Cheng, et al.
Publicado: (2024)

Redex -> Coq: towards a theory of decidability of Redex's reduction semantics
por: Soldevila, Mallku, et al.
Publicado: (2024)

Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification
por: Zimmerman, Conrad, et al.
Publicado: (2024)