Copertina

A Refined Operational Semantics for FreeCHR

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Rechenberger, Sascha, Frühwirth, Thom
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Optimized Execution of FreeCHR
di: Rechenberger, Sascha, et al.
Pubblicazione: (2025)

An instance of FreeCHR with refined operational semantics
di: Rechenberger, Sascha, et al.
Pubblicazione: (2025)

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

An Operational Semantics for Yul
di: Koutavas, Vasileios, et al.
Pubblicazione: (2024)

A Compiler for Operations on Relations with Bag Semantics
di: Dong, James, et al.
Pubblicazione: (2025)

A Pure Demand Operational Semantics with Applications to Program Analysis
di: Smith, Scott, et al.
Pubblicazione: (2023)

From Monolithic to Compositional: A Compositional Operational Semantics for Crystality
di: Xu, Ziyun, et al.
Pubblicazione: (2026)

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs
di: Xu, Ziyun, et al.
Pubblicazione: (2025)

Refinement-Types Driven Development: A study
di: Domínguez, Facundo, et al.
Pubblicazione: (2025)

Synchronous Programming with Refinement Types
di: Chen, Jiawei, et al.
Pubblicazione: (2024)

Logical Predicates in Higher-Order Mathematical Operational Semantics
di: Goncharov, Sergey, et al.
Pubblicazione: (2024)

First-Class Refinement Types for Scala
di: Bovel, Matt, et al.
Pubblicazione: (2026)

pyeb: A Python Implementation of Event-B Refinement Calculus
di: Cataño, Néstor
Pubblicazione: (2025)

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

Text2Mem: A Unified Memory Operation Language for Memory Operating System
di: Wang, Yi, et al.
Pubblicazione: (2025)

Practical Refinement Session Type Inference (Extended Version)
di: Ueno, Toby, et al.
Pubblicazione: (2026)

Ownership Refinement Types for Pointer Arithmetic and Nested Arrays
di: Fujiwara, Yusuke, et al.
Pubblicazione: (2026)

CCR 2.0: High-level Reasoning for Conditional Refinements
di: Song, Youngju, et al.
Pubblicazione: (2025)

Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types
di: Dane, Serra Z., et al.
Pubblicazione: (2026)

A Denotational Semantics for Quantum Loops
di: Assolini, Nicola, et al.
Pubblicazione: (2025)

Refinements for Multiparty Message-Passing Protocols: Specification-agnostic theory and implementation
di: Martin, Vassor, et al.
Pubblicazione: (2024)

Towards a Higher-Order Mathematical Operational Semantics
di: Goncharov, Sergey, et al.
Pubblicazione: (2022)

Beyond BLEU: A Semantic Evaluation Method for Code Translation
di: Näumann, Julius, et al.
Pubblicazione: (2026)

Semantics of Sets of Programs
di: Kim, Jinwoo, et al.
Pubblicazione: (2024)

Causality and Semantic Separation
di: Zhang, Anna, et al.
Pubblicazione: (2026)

Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment
di: Kahn, David M, et al.
Pubblicazione: (2025)

A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics
di: Ghica, Dan R., et al.
Pubblicazione: (2022)

Persistent Amortised Analysis, Operationally
di: Lorenzen, Anton
Pubblicazione: (2026)

Compilation as Multi-Language Semantics
di: Bowman, William J.
Pubblicazione: (2025)

Semantic Subtyping for Maps in Erlang
di: Yildirim, Erdem, et al.
Pubblicazione: (2025)

Verification of the Release-Acquire Semantics
di: Abdulla, Parosh, et al.
Pubblicazione: (2025)

The Simulation Semantics of Synthesisable Verilog
di: Lööw, Andreas
Pubblicazione: (2025)

Joint Distributions in Probabilistic Semantics
di: Kozen, Dexter, et al.
Pubblicazione: (2023)

Persistent Iterators with Value Semantics
di: Li, Yihe, et al.
Pubblicazione: (2026)

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

A Coq Mechanization of JavaScript Regular Expression Semantics
di: De Santo, Noé, et al.
Pubblicazione: (2024)

DSPy Assertions: Computational Constraints for Self-Refining Language Model Pipelines
di: Singhvi, Arnav, et al.
Pubblicazione: (2023)

Coverage Semantics for Dependent Pattern Matching
di: Eremondi, Joseph, et al.
Pubblicazione: (2025)

The Parallel Semantics Program Dependence Graph
di: Homerding, Brian, et al.
Pubblicazione: (2024)