:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Araujo, Alan
Format:	Preprint
Published:	2026
Subjects:	Programming Languages 68N19 D.3.3
Online Access:	https://arxiv.org/abs/2604.10399
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Transport via Partial Galois Connections and Equivalences
by: Kappelmann, Kevin
Published: (2023)

Complexity of Consistency Testing for the Release-Acquire Semantics
by: Govind, R., et al.
Published: (2026)

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking
by: Oza, Neeva, et al.
Published: (2025)

Three non-cubical applications of extension types
by: Zhang, Tesla
Published: (2023)

(Co)condition hits the Path
by: Zhang, Tesla, et al.
Published: (2024)

Deconstructed Proto-Quipper: A Rational Reconstruction
by: Kavanagh, Ryan, et al.
Published: (2025)

Implementing backjumping by means of exception handling
by: Drabent, Włodzimierz
Published: (2023)

The Semantics of Metapropramming in Prolog
by: Warren, David S.
Published: (2024)

CrossTL: A Universal Programming Language Translator with Unified Intermediate Representation
by: Niketan, Nripesh, et al.
Published: (2025)

Erlang Binary and Source Code Obfuscation
by: Morse, Gregory, et al.
Published: (2026)

Have Object-Oriented Languages Missed a Trick with Class Function and its Subclasses?
by: Allison, Lloyd
Published: (2025)

Quest Complete: the Holy Grail of Gradual Security
by: Chen, Tianyu, et al.
Published: (2023)

Formal Verification of Imperative First-Class Functions in Move
by: Grieskamp, Wolfgang, et al.
Published: (2026)

Idempotent Slices with Applications to Code-Size Reduction
by: de Azevedo, Rafael Alvarenga, et al.
Published: (2026)

Multi-Language Benchmark Generation via L-Systems
by: da Silva, Vinícius Francisco, et al.
Published: (2025)

Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations
by: Zhong, Zhiyao, et al.
Published: (2025)

A note on occur-check (extended report)
by: Drabent, Włodzimierz
Published: (2022)

ChiBench: a Benchmark Suite for Testing Electronic Design Automation Tools
by: Sumitani, Rafael, et al.
Published: (2024)

Intent-Driven Computing: A Computational Model for Governed Autonomous Systems
by: McCann, Alan L.
Published: (2026)

Anchor Attention, Small Cache: Code Generation with Large Language Models
by: Zhang, Xiangyu, et al.
Published: (2024)

A Diagrammatic Calculus for a Functional Model of Natural Language Semantics
by: Boyer, Matthieu Pierre
Published: (2025)

Vectorization of Verilog Designs and its Effects on Verification and Synthesis
by: Guimarães, Maria Fernanda Oliveira, et al.
Published: (2026)

Explore as a Storm, Exploit as a Raindrop: On the Benefit of Fine-Tuning Kernel Schedulers with Coordinate Descent
by: Canesche, Michael, et al.
Published: (2024)

Abstracting Effect Systems for Algebraic Effect Handlers
by: Yoshioka, Takuma, et al.
Published: (2024)

Model Callers for Transforming Predictive and Generative AI Applications
by: Dalal, Mukesh
Published: (2024)

Dynamic String Generation and C++-style Output in Fortran
by: Mohr, Marcus
Published: (2024)

QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck
by: Krook, Robert, et al.
Published: (2024)

Modernizing SMT-Based Type Error Localization
by: Kopinsky, Max, et al.
Published: (2024)

Optimal Software Pipelining using an SMT-Solver
by: Roorda, Jan-Willem
Published: (2026)

Emulation-Completeness of Programming Languages
by: Morse, Gregory, et al.
Published: (2026)

Bottom-Up Generation of Verilog Designs for Testing EDA Tools
by: Vieira, João Victor Amorim, et al.
Published: (2025)

Controlling Copatterns: There and Back Again (Extended Version)
by: Downen, Paul
Published: (2025)

Weak-Linear Types
by: Gramaglia, Hector
Published: (2024)

Weak-linearity, globality and in-place update
by: Gramaglia, Hector
Published: (2024)

Game Semantics for Higher-Order Unitary Quantum Computation
by: Abramsky, Samson, et al.
Published: (2024)

Trustworthy Clinical Decision Support Using Meta-Predicates and Domain-Specific Languages
by: Bouzinier, Michael, et al.
Published: (2026)

Grid Programs: A Two-Dimensional, Variable-Free Model of Computation
by: López-Rubio, Ezequiel
Published: (2026)

Lua API and benchmark design using 3n+1 sequences: Comparing API elegance and raw speed in Redis and YottaDB databases
by: Hoyt, Berwyn
Published: (2024)

Proving and Computing: The Infinite Pigeonhole Principle and Countable Choice
by: Ariola, Zena M., et al.
Published: (2026)

High-Performance Generation of Constrained Inputs
by: Crump, Addison, et al.
Published: (2025)