:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Rechenberger, Sascha, Frühwirth, Thom
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2504.04962
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Optimized Execution of FreeCHR
by: Rechenberger, Sascha, et al.
Published: (2025)

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

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

An Operational Semantics for Yul
by: Koutavas, Vasileios, et al.
Published: (2024)

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

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

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

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

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

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

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

Synchronous Programming with Refinement Types
by: Chen, Jiawei, et al.
Published: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Dependent Type Refinements for Futures
by: Somayyajula, Siva, et al.
Published: (2023)

Semantics of Sets of Programs
by: Kim, Jinwoo, et al.
Published: (2024)

Causality and Semantic Separation
by: Zhang, Anna, et al.
Published: (2026)

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

Persistent Amortised Analysis, Operationally
by: Lorenzen, Anton
Published: (2026)

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

Compilation as Multi-Language Semantics
by: Bowman, William J.
Published: (2025)

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

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

The Simulation Semantics of Synthesisable Verilog
by: Lööw, Andreas
Published: (2025)

Joint Distributions in Probabilistic Semantics
by: Kozen, Dexter, et al.
Published: (2023)

Persistent Iterators with Value Semantics
by: Li, Yihe, et al.
Published: (2026)

Almost-Sure Termination by Guarded Refinement
by: Gregersen, Simon Oddershede, et al.
Published: (2024)