Imagen de Portada

An instance of FreeCHR with refined operational semantics

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Rechenberger, Sascha, Frühwirth, Thom
Formato:	Preprint
Publicado:	2025
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

FreeCHR: An Algebraic Framework for CHR-Embeddings
por: Rechenberger, Sascha, et al.
Publicado: (2023)

Optimized Execution of FreeCHR
por: Rechenberger, Sascha, et al.
Publicado: (2025)

A Refined Operational Semantics for FreeCHR
por: Rechenberger, Sascha, et al.
Publicado: (2025)

Runtime Repeated Recursion Unfolding in CHR: A Just-In-Time Online Program Optimization Strategy That Can Achieve Super-Linear Speedup
por: Fruehwirth, Thom
Publicado: (2023)

Saturating automata for game semantics
por: Dixon, Alex, et al.
Publicado: (2023)

The downgrading semantics of memory safety (Extended version)
por: Hansen, René Rydhof, et al.
Publicado: (2025)

Higher-order bialgebraic semantics
por: Goncharov, Sergey, et al.
Publicado: (2024)

Leveraging LLMs to support co-evolution between definitions and instances of textual DSLs
por: Zhang, Weixing, et al.
Publicado: (2025)

Relaxed exception semantics for Arm-A (extended version)
por: Simner, Ben, et al.
Publicado: (2024)

The generalised distribution semantics and projective families of distributions
por: Weitkämper, Felix
Publicado: (2022)

A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories
por: Kaddar, Younesse, et al.
Publicado: (2023)

Super-Linear Speedup by Generalizing Runtime Repeated Recursion Unfolding in Prolog
por: Fruehwirth, Thom
Publicado: (2025)

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

Syntactically and semantically regular languages of lambda-terms coincide through logical relations
por: Moreau, Vincent, et al.
Publicado: (2023)

Operational methods in semantics
por: Amadio, Roberto M.
Publicado: (2025)

Local Type Inference for Context-Free Session Types
por: Almeida, Bernardo, et al.
Publicado: (2025)

Contrasting Deadlock-Free Session Processes (Extended Version)
por: Jaramillo, Juan C., et al.
Publicado: (2025)

Free Foil: Generating Efficient and Scope-Safe Abstract Syntax
por: Kudasov, Nikolai, et al.
Publicado: (2024)

Optimization of the Context-Free Language Reachability Matrix-Based Algorithm
por: Muravev, Ilia
Publicado: (2024)

Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving
por: Ye, Kangfeng, et al.
Publicado: (2023)

GPU accelerated program synthesis: Enumerate semantics, not syntax!
por: Berger, Martin, et al.
Publicado: (2025)

Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings
por: Li, Feifei, et al.
Publicado: (2026)

Towards Reliable Benchmarking: A Contamination Free, Controllable Evaluation Framework for Multi-step LLM Function Calling
por: Maekawa, Seiji, et al.
Publicado: (2025)

Free to Move: Reachability Types with Flow-Sensitive Effects for Safe Deallocation and Ownership Transfer
por: Deng, Haotian, et al.
Publicado: (2025)

pSTL-Bench: A Micro-Benchmark Suite for Assessing Scalability of C++ Parallel STL Implementations
por: Laso, Ruben, et al.
Publicado: (2024)

Automatic Generation of Python Programs Using Context-Free Grammars
por: Yamani, Kamel, et al.
Publicado: (2024)

Bounded Model Checking of RISC-V Machine Code with Context-Free-Language Ordered Binary Decision Diagrams
por: Bolotina, Anna, et al.
Publicado: (2025)

Data-Driven Template-Free Invariant Generation
por: Xia, Yuan, et al.
Publicado: (2023)

RIOT-POLICE: An implementation of spatial memory safety for the RIOT operating system
por: Tempel, Sören, et al.
Publicado: (2020)

Detecting and Explaining (In-)equivalence of Context-Free Grammars
por: Schmellenkamp, Marko, et al.
Publicado: (2024)

ReFEree: Reference-Free and Fine-Grained Method for Evaluating Factual Consistency in Real-World Code Summarization
por: Bae, Suyoung, et al.
Publicado: (2026)

HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis
por: Barke, Shraddha, et al.
Publicado: (2024)

StackPilot: Autonomous Function Agents for Scalable and Environment-Free Code Execution
por: Zhao, Xinkui, et al.
Publicado: (2025)

VeriEquivBench: An Equivalence Score for Ground-Truth-Free Evaluation of Formally Verifiable Code
por: Zeng, Lingfei, et al.
Publicado: (2025)

Zoozve: A Strip-Mining-Free RISC-V Vector Extension with Arbitrary Register Grouping Compilation Support (WIP)
por: Xu, Siyi, et al.
Publicado: (2025)

Integration of a systolic array based hardware accelerator into a DNN operator auto-tuning framework
por: Peccia, F. N., et al.
Publicado: (2022)

Constrained Decoding of Diffusion LLMs with Context-Free Grammars
por: Mündler, Niels, et al.
Publicado: (2025)

Dynamic IFC Theorems for Free!
por: Algehed, Maximilian, et al.
Publicado: (2020)

Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics
por: Dvir, Yotam, et al.
Publicado: (2025)

Graph-Reward-SQL: Execution-Free Reinforcement Learning for Text-to-SQL via Graph Matching and Stepwise Reward
por: Weng, Han, et al.
Publicado: (2025)