Image de couverture de livre

Reasoning about External Calls

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Drossopoulou, Sophia, Mackay, Julian, Eisenbach, Susan, Noble, James
Format:	Preprint
Publié:	2025
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Semantically Separating Nominal Wyvern for Usability and Decidability
par: Zhu, Yu Xiang, et autres
Publié: (2025)

Example-Based Reasoning about the Realizability of Polymorphic Programs
par: Mulleners, Niek, et autres
Publié: (2024)

Reasoning about Weak Isolation Levels in Separation Logic
par: Mathiasen, Anders Alnor, et autres
Publié: (2025)

Effects and Coeffects in Call-By-Push-Value (Extended Version)
par: Torczon, Cassia, et autres
Publié: (2023)

NExT: Teaching Large Language Models to Reason about Code Execution
par: Ni, Ansong, et autres
Publié: (2024)

Towards AI-Assisted Synthesis of Verified Dafny Methods
par: Misu, Md Rakib Hossain, et autres
Publié: (2024)

Reasoning about Interior Mutability in Rust using Library-Defined Capabilities
par: Poli, Federico, et autres
Publié: (2024)

Exploiting Multiple Abstract Call Patterns for Optimizing Run-Time Checks
par: Ferreiro, Daniela, et autres
Publié: (2026)

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
par: Li, Kwing Hei, et autres
Publié: (2025)

Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
par: Aguirre, Alejandro, et autres
Publié: (2024)

Towards Reliable Benchmarking: A Contamination Free, Controllable Evaluation Framework for Multi-step LLM Function Calling
par: Maekawa, Seiji, et autres
Publié: (2025)

Validated Code Translation for Projects with External Libraries
par: Zhang, Hanliang, et autres
Publié: (2026)

RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly
par: Paraskevopoulou, Zoe, et autres
Publié: (2024)

iResolveX: Multi-Layered Indirect Call Resolution via Static Reasoning and Learning-Augmented Refinement
par: Santra, Monika, et autres
Publié: (2026)

Abstract Operational Methods for Call-by-Push-Value
par: Goncharov, Sergey, et autres
Publié: (2024)

Don't Call Us, We'll Call You: Towards Mixed-Initiative Interactive Proof Assistants for Programming Language Theory
par: Verter, Jan Liam, et autres
Publié: (2024)

The Path Not Taken: Duality in Reasoning about Program Execution
par: Hasanov, Eshgin, et autres
Publié: (2026)

EquiBench: Benchmarking Large Language Models' Reasoning about Program Semantics via Equivalence Checking
par: Wei, Anjiang, et autres
Publié: (2025)

The Vanilla Sequent Calculus is Call-by-Value (Fresh Perspective)
par: Accattoli, Beniamino
Publié: (2024)

Text2Model: Generating dynamic chemical reactor models using large language models (LLMs)
par: Rupprecht, Sophia, et autres
Publié: (2025)

On Code-Induced Reasoning in LLMs
par: Waheed, Abdul, et autres
Publié: (2025)

Nanopass Back-Translation of Call-Return Trees for Mechanized Secure Compilation Proofs
par: Thibault, Jérémy, et autres
Publié: (2025)

SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits
par: Yu, Nengkun, et autres
Publié: (2025)

From Tool Calling to Symbolic Thinking: LLMs in a Persistent Lisp Metaprogramming Loop
par: de la Torre, Jordi
Publié: (2025)

Branching Out: Existential External Choice in Effpi
par: Robinson, Benjamin, et autres
Publié: (2026)

Type-Based Incorrectness Reasoning
par: Zhou, Zhe, et autres
Publié: (2025)

Formalizing Stack Safety as a Security Property
par: Anderson, Sean Noble, et autres
Publié: (2021)

Ordered Adjoint Logic (Extended Version)
par: Roshal, Sophia, et autres
Publié: (2026)

A Simple and Efficient Implementation of Strong Call by Need by an Abstract Machine
par: Biernacka, Małgorzata, et autres
Publié: (2026)

An LLM-Tool Compiler for Fused Parallel Function Calling
par: Singh, Simranjit, et autres
Publié: (2024)

Functional Reasoning for Distributed Systems with Failures
par: Ni, Haobin, et autres
Publié: (2025)

Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs
par: Wu, Huiling, et autres
Publié: (2023)

\texttt{ReMind}: Understanding Deductive Code Reasoning in LLMs
par: Gao, Jun, et autres
Publié: (2025)

Scaling Code-Assisted Chain-of-Thoughts and Instructions for Model Reasoning
par: Lin, Honglin, et autres
Publié: (2025)

VerityMath: Advancing Mathematical Reasoning by Self-Verification Through Unit Consistency
par: Han, Vernon Toh Yan, et autres
Publié: (2023)

Employing polyhedral methods to optimize stencils on FPGAs with stencil-specific caches, data reuse, and wide data bursts
par: Mayer, Florian, et autres
Publié: (2024)

SymCode: A Neurosymbolic Approach to Mathematical Reasoning via Verifiable Code Generation
par: Nezhad, Sina Bagheri, et autres
Publié: (2025)

CCR 2.0: High-level Reasoning for Conditional Refinements
par: Song, Youngju, et autres
Publié: (2025)

Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design
par: DeLorenzo, Matthew, et autres
Publié: (2025)

Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs
par: Kent, Zachary, et autres
Publié: (2025)