Buchumschlag

Complete Fusion for Stateful Streams: Equational Theory of Stateful Streams and Fusion as Normalization-by-Evaluation

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kiselyov, Oleg, Kobayashi, Tomoaki, Palladinos, Nick
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages D.3.4; D.3.2
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Sharing Analysis in the Pawns Compiler
von: Naish, Lee
Veröffentlicht: (2024)

Teaching Introductory Functional Programming Using Haskelite
von: Vasconcelos, Pedro
Veröffentlicht: (2025)

Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations
von: Knothe, David, et al.
Veröffentlicht: (2026)

Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language
von: Abounegm, Abdelrahman, et al.
Veröffentlicht: (2024)

TensorRight: Automated Verification of Tensor Graph Rewrites
von: Arora, Jai, et al.
Veröffentlicht: (2025)

The Denotational Semantics of SSA
von: Ghalayini, Jad Elkhaleq, et al.
Veröffentlicht: (2024)

Verified VCG and Verified Compiler for Dafny
von: Nezamabadi, Daniel, et al.
Veröffentlicht: (2025)

Meta-Monomorphizing Specializations
von: Bruzzone, Federico, et al.
Veröffentlicht: (2026)

Inversion by Partial Evaluation: A Reversible Interpreter Experiment
von: Glück, Robert, et al.
Veröffentlicht: (2024)

Prioritizing Configuration Relevance via Compiler-Based Refined Feature Ranking
von: Bruzzone, Federico, et al.
Veröffentlicht: (2026)

Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
von: Geeson, Luke, et al.
Veröffentlicht: (2024)

Grounded Language Design for Lightweight Diagramming for Formal Methods
von: Prasad, Siddhartha, et al.
Veröffentlicht: (2024)

Investigating the Energy Consumption of C++ and Java Solutions Mined from a Programming Contest Site
von: de Medeiros, Sérgio Queiroz, et al.
Veröffentlicht: (2024)

Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
von: Suwa, Takashi, et al.
Veröffentlicht: (2026)

Accelerating Verified-Compiler Development with a Verified Rewriting Engine
von: Gross, Jason, et al.
Veröffentlicht: (2022)

CrossTL: A Universal Programming Language Translator with Unified Intermediate Representation
von: Niketan, Nripesh, et al.
Veröffentlicht: (2025)

Baking for Dafny: A CakeML Backend for Dafny
von: Nezamabadi, Daniel, et al.
Veröffentlicht: (2025)

Polymorphic Bottom-Up Weighted Relational Programming
von: Volkov, Dmitri
Veröffentlicht: (2026)

Committing to the bit: Relational programming with semiring arrays and SAT solving
von: Volkov, Dmitri, et al.
Veröffentlicht: (2025)

Float Self-Tagging
von: Melançon, Olivier, et al.
Veröffentlicht: (2024)

Flexible Non-intrusive Dynamic Instrumentation for WebAssembly
von: Titzer, Ben L., et al.
Veröffentlicht: (2024)

Dr Wenowdis: Specializing dynamic language C extensions using type information
von: Bernstein, Maxwell, et al.
Veröffentlicht: (2024)

A Multi-level Compiler Backend for Accelerated Micro-kernels Targeting RISC-V ISA Extensions
von: Lopoukhine, Alexandre, et al.
Veröffentlicht: (2025)

Rebound: Efficient, Expressive, and Well-Scoped Binding
von: De Santo, Noé, et al.
Veröffentlicht: (2025)

A Few Fit Most: Improving Performance Portability of SGEMM on GPUs using Multi-Versioning
von: Hochgraf, Robert, et al.
Veröffentlicht: (2025)

From Separate Compilation to Sound Language Composition
von: Bruzzone, Federico, et al.
Veröffentlicht: (2026)

AI Coding Agents Need Better Compiler Remarks
von: Deo, Akash, et al.
Veröffentlicht: (2026)

Emulation-Completeness of Programming Languages
von: Morse, Gregory, et al.
Veröffentlicht: (2026)

Towards a unified framework for programming paradigms: A systematic review of classification formalisms and methodological foundations
von: Vandeloise, Mikel
Veröffentlicht: (2025)

Levels of Binary Equivalence for the Comparison of Binaries from Alternative Builds
von: Dietrich, Jens, et al.
Veröffentlicht: (2024)

LR Parsing of Permutation Phrases
von: Kostičová, Jana
Veröffentlicht: (2024)

Closure Conversion, Flat Environments, and the Complexity of Abstract Machines
von: Accattoli, Beniamino, et al.
Veröffentlicht: (2025)

A Unified Framework for Quantitative Cache Analysis
von: Kahlen, Sophie, et al.
Veröffentlicht: (2025)

SoCal: A Language for Memory-Layout Factorization of Recursive Datatypes
von: Singhal, Vidush, et al.
Veröffentlicht: (2026)

File System Aging
von: Conway, Alex, et al.
Veröffentlicht: (2024)

Modelling Distributed Applications with Mixed-Choice Stateful Typestates
von: Parrinha, Francisco, et al.
Veröffentlicht: (2026)

Gradual Guarantee via Step-Indexed Logical Relations in Agda
von: Siek, Jeremy G.
Veröffentlicht: (2024)

Verifying Device Drivers with Pancake
von: Zhao, Junming, et al.
Veröffentlicht: (2025)

Towards Automatic Error Recovery in Parsing Expression
von: de Medeiros, Sérgio Queiroz, et al.
Veröffentlicht: (2025)

Completing the Functional Approach in Object-Oriented Languages
von: Pluemicke, Martin
Veröffentlicht: (2024)