Cover Image

Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhong, Zhiyao, Omar, Cyrus
Format:	Preprint
Published:	2025
Subjects:	Programming Languages 68N15, 68U35 D.3.0; K.3.2
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

Emulation-Completeness of Programming Languages
by: Morse, Gregory, 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)

The Significance of Symbolic Logic for Scientific Education
by: Platzer, André
Published: (2024)

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
by: Guo, Jinyao, et al.
Published: (2025)

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

To Be or Not To Be: Adding Integrity Constraints to stableKanren to Make a Decision
by: Guo, Xiangyu, et al.
Published: (2024)

Improving stableKanren's Backward Compatibility
by: Guo, Xiangyu, et al.
Published: (2024)

LLMDFA: Analyzing Dataflow in Code with Large Language Models
by: Wang, Chengpeng, et al.
Published: (2024)

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

An innovative data collection method to eliminate the preprocessing phase in web usage mining
by: Canay, Ozkan, et al.
Published: (2025)

AdvFusion: Adapter-based Knowledge Transfer for Code Summarization on Code Language Models
by: Saberi, Iman, et al.
Published: (2023)

Truth-Aware Decoding: A Program-Logic Approach to Factual Language Generation
by: Alpay, Faruk, et al.
Published: (2025)

BRIDGE: Building Representations In Domain Guided Program Synthesis
by: George, Robert Joseph, et al.
Published: (2025)

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

Integrated Digital Management System for Railway Workshops: A Modular Multi-Workflow Architecture for Machine, Permit, Contract, and Incident Management
by: Kamble, Sharvari, et al.
Published: (2026)

AI-Enhanced Acoustic Analysis for Comprehensive Biodiversity Monitoring and Assessment
by: Bobba, Kumar Srinivas, et al.
Published: (2024)

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

Inferring Input Grammars from Code with Symbolic Parsing
by: Bettscheider, Leon, et al.
Published: (2025)

Integrating Universal Generative AI Platforms in Educational Labs to Foster Critical Thinking and Digital Literacy
by: Znamenskiy, Vasiliy, et al.
Published: (2025)

The Stress of Improvisation: Instructors' Perspectives on Live Coding in Programming Classes
by: Su, Xiaotian, et al.
Published: (2025)

Chain-Oriented Objective Logic with Neural Network Feedback Control and Cascade Filtering for Dynamic Multi-DSL Regulation
by: Han, Jipeng
Published: (2024)

Multiple Query Satisfiability of Constrained Horn Clauses
by: De Angelis, Emanuele, et al.
Published: (2022)

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

Vanilla Object Orientation (VOO): A Value-Semantics Approach to Classes in Tcl
by: Araujo, Alan
Published: (2026)

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

foetus -- Termination Checker for Simple Functional Programs
by: Abel, Andreas
Published: (2024)

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)
by: Erhard, Julian, et al.
Published: (2024)

Scaling Accessible Mathematics on arXiv: HTML Conversion and MathML 4
by: Ginev, Deyan, et al.
Published: (2026)

Structure and Destructure: Dual Forces in the Making of Knowledge Engines
by: Chen, Yihong
Published: (2025)

Kodezi Chronos: A Debugging-First Language Model for Repository-Scale Code Understanding
by: Khan, Ishraq, et al.
Published: (2025)

CHORUS: An Agentic Framework for Generating Realistic Deliberation Data
by: Koursaris, A., et al.
Published: (2026)

A quantitative and typological study of Early Slavic participle clauses and their competition
by: Pedrazzini, Nilo
Published: (2024)

Mapping 'when'-clauses in Latin American and Caribbean languages: an experiment in subtoken-based typology
by: Pedrazzini, Nilo
Published: (2024)

Including Non-Autistic Peers in Games Designed for Autistic Socialization
by: Xiao, Yiqi
Published: (2024)

Heterogeneous LLM Methods for Ontology Learning (Few-Shot Prompting, Ensemble Typing, and Attention-Based Taxonomies)
by: Beliaeva, Aleksandra, et al.
Published: (2025)

A Knowledge Graph based Approach for Mobile Application Recommendation
by: Zhang, Mingwei, et al.
Published: (2020)