:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Zhao, Shuqing
Format:	Preprint
Published:	2026
Subjects:	Programming Languages Computation and Language D.3; B.5
Online Access:	https://arxiv.org/abs/2604.05983
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Anvil: A General-Purpose Timing-Safe Hardware Description Language
by: Yu, Jason Zhijingcheng, et al.
Published: (2025)

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

Homeostasis: Design and Implementation of a Self-Stabilizing Compiler
by: Nougrahiya, Aman, et al.
Published: (2021)

Grounded Language Design for Lightweight Diagramming for Formal Methods
by: Prasad, Siddhartha, et al.
Published: (2024)

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

A Survey on Hardware Accelerators for Large Language Models
by: Kachris, Christoforos
Published: (2024)

Completing the Functional Approach in Object-Oriented Languages
by: Pluemicke, Martin
Published: (2024)

Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
by: Geeson, Luke, et al.
Published: (2024)

AniFrame: A Programming Language for 2D Drawing and Frame-Based Animation
by: Gonzales, Mark Edward M., et al.
Published: (2024)

cpp11armadillo: An R Package to Use the Armadillo C++ Library
by: Sepúlveda, Mauricio Vargas, et al.
Published: (2024)

Register Aggregation for Hardware Decompilation
by: Rao, Varun, et al.
Published: (2024)

A Calculus of Inheritance
by: Yang, Bo
Published: (2026)

Tuning Random Generators: Property-Based Testing as Probabilistic Programming
by: Tjoa, Ryan, et al.
Published: (2025)

Dynamic Race Detection With O(1) Samples
by: Thokair, Mosaad Al, et al.
Published: (2025)

Code Less to Code More: Streamlining Language Server Protocol and Type System Development for Language Families
by: Bruzzone, Federico, et al.
Published: (2025)

Weak Memory Demands Model-based Compiler Testing
by: Geeson, Luke
Published: (2024)

Compiler Testing With Relaxed Memory Models
by: Geeson, Luke, et al.
Published: (2023)

Towards a unified framework for programming paradigms: A systematic review of classification formalisms and methodological foundations
by: Vandeloise, Mikel
Published: (2025)

Agentic Separation Logic Specification Synthesis
by: Suresh, Tarun, et al.
Published: (2026)

Protean Compiler: An Agile Framework to Drive Fine-grain Phase Ordering
by: Ashouri, Amir H., et al.
Published: (2026)

The LLMbda Calculus: AI Agents, Conversations, and Information Flow
by: Garby, Zac, et al.
Published: (2026)

Non-Termination Proving: 100 Million LoC and Beyond
by: Vanegue, Julien, et al.
Published: (2025)

Evaluating LLMs for Hardware Design and Test
by: Blocklove, Jason, et al.
Published: (2024)

LLM Translation of Compiler Intermediate Representation
by: Ramirez, Andrea Valenzuela, et al.
Published: (2026)

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

The concept of class invariant in object-oriented programming
by: Meyer, Bertrand, et al.
Published: (2021)

The Cyan Language
by: Guimarães, José de Oliveira
Published: (2013)

Visualizing the Evaluation of Functional Programs for Debugging
by: Whitington, John, et al.
Published: (2024)

Categorical Message Passing Language (CaMPL) for programmers
by: Hashimoto, Daniel Kiyoshi, et al.
Published: (2026)

Enhancing Python Programming Education with an AI-Powered Code Helper: Design, Implementation, and Impact
by: Amiri, Sayed Mahbub Hasan, et al.
Published: (2025)

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

VeriGraphi: A Multi-Agent Framework of Hierarchical RTL Generation for Large Hardware Designs
by: Islam, Sazzadul, et al.
Published: (2026)

Let's Take Esoteric Programming Languages Seriously
by: Singer, Jeremy, et al.
Published: (2025)

Dependence-Driven, Scalable Quantum Circuit Mapping with Affine Abstractions
by: Benbetka, Marouane, et al.
Published: (2025)

Weight Block Sparsity: Training, Compilation, and AI Engine Accelerators
by: D'Alberto, Paolo, et al.
Published: (2024)

The Autonomous Data Language -- Concepts, Design and Formal Verification
by: Franken, Tom T. P., et al.
Published: (2025)

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

QCoder Benchmark: Bridging Language Generation and Quantum Hardware through Simulator-Based Feedback
by: Mikuriya, Taku, et al.
Published: (2025)

ChopChop: a Programmable Framework for Semantically Constraining the Output of Language Models
by: Nagy, Shaan, et al.
Published: (2025)

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