:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Norris, David C., Triska, Markus
Format:	Preprint
Publié:	2024
Sujets:	Programming Languages
Accès en ligne:	https://arxiv.org/abs/2402.08334
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A Prolog Program for Bottom-up Evaluation
par: Warren, David S.
Publié: (2025)

Dose-Escalation Trial Protocols that Extend Naturally to Admit Titration
par: Norris, David C.
Publié: (2025)

The Semantics of Metapropramming in Prolog
par: Warren, David S.
Publié: (2024)

Automated Theorem Proving for Prolog Verification
par: Mesnard, Fred, et autres
Publié: (2026)

ProDebug: An Automated Debugging System for Prolog
par: Brancas, Ricardo, et autres
Publié: (2026)

A Specification's Realm: Characterizing the Knowledge Required for Executing a Given Algorithm Specification
par: Marron, Assaf, et autres
Publié: (2025)

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

A Constraint-based Mathematical Modeling Library in Prolog with Answer Constraint Semantics
par: Fages, François
Publié: (2024)

An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols
par: Stutz, Felix, et autres
Publié: (2025)

Refinements for Multiparty Message-Passing Protocols: Specification-agnostic theory and implementation
par: Martin, Vassor, et autres
Publié: (2024)

Literate Execution
par: Bond, Joe, et autres
Publié: (2026)

Uniform Algebras: Models and constructive Completeness for Full, Simply Typed λProlog
par: Amato, Gianluca, et autres
Publié: (2024)

Super-Linear Speedup by Generalizing Runtime Repeated Recursion Unfolding in Prolog
par: Fruehwirth, Thom
Publié: (2025)

Hornet Node and the Hornet DSL: A Minimal, Executable Specification for Bitcoin Consensus
par: Sharp, Toby
Publié: (2025)

An Execution Model for RICE
par: Libby, Steven
Publié: (2025)

Synthesizing Formal Semantics from Executable Interpreters
par: Liu, Jiangyi, et autres
Publié: (2024)

ALEA IACTA EST: A Declarative Domain-Specific Language for Manually Performable Random Experiments
par: Widemann, Baltasar Trancón y, et autres
Publié: (2025)

Validating Traces of Distributed Programs Against TLA+ Specifications
par: Cirstea, Horatiu, et autres
Publié: (2024)

Optimized Execution of FreeCHR
par: Rechenberger, Sascha, et autres
Publié: (2025)

Executing as You Generate: Hiding Execution Latency in LLM Code Generation
par: Sun, Zhensu, et autres
Publié: (2026)

Parsing Akkadian Verbs with Prolog
par: Macks, Aaron
Publié: (2024)

KAIJU: An Executive Kernel for Intent-Gated Execution of LLM Agents
par: Guerin, Cormac, et autres
Publié: (2026)

Large Language Model Powered Symbolic Execution
par: Li, Yihe, et autres
Publié: (2025)

Protocols to Code: Formal Verification of a Next-Generation Internet Router
par: Pereira, João C., et autres
Publié: (2024)

Soteria: Efficient Symbolic Execution as a Functional Library
par: Ayoun, Sacha-Élie, et autres
Publié: (2025)

Finding $\forall\exists$ Hyperbugs using Symbolic Execution
par: Correnson, Arthur, et autres
Publié: (2025)

Synthesizing Specifications
par: Park, Kanghee, et autres
Publié: (2023)

Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version)
par: Young, David, et autres
Publié: (2024)

Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
par: Pointner, Andreas, et autres
Publié: (2025)

CUTECat: Concolic Execution for Computational Law
par: Goutagny, Pierre, et autres
Publié: (2024)

DOCE: Finding the Sweet Spot for Execution-Based Code Generation
par: Li, Haau-Sing, et autres
Publié: (2024)

Compositional Symbolic Execution for the Next 700 Memory Models (Extended Version)
par: Lööw, Andreas, et autres
Publié: (2025)

Arithmetic Reasoning with LLM: Prolog Generation & Permutation
par: Yang, Xiaocheng, et autres
Publié: (2024)

Asynchronous Global Protocols, Precisely: Full Proofs
par: Pischke, Kai, et autres
Publié: (2025)

Domain-Specific Tensor Languages
par: Bernardy, Jean-Philippe, et autres
Publié: (2023)

L0-Reasoning Bench: Evaluating Procedural Correctness in Language Models via Simple Program Execution
par: Sun, Simeng, et autres
Publié: (2025)

Agentic Separation Logic Specification Synthesis
par: Suresh, Tarun, et autres
Publié: (2026)

Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly
par: Andrès, Léo, et autres
Publié: (2024)

CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis
par: Tunç, Hünkar Can, et autres
Publié: (2024)

Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees, Extended Version
par: Karmios, Nat, et autres
Publié: (2026)