:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Wu, Zi-Niu
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Computation and Language Formal Languages and Automata Theory Programming Languages
Online-Zugang:	https://arxiv.org/abs/2511.06601
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Automating the Analysis and Improvement of Dynamic Programming Algorithms with Applications to Natural Language Processing
von: Vieira, Tim
Veröffentlicht: (2026)

Decision Procedure for A Theory of String Sequences
von: Hu, Denghang, et al.
Veröffentlicht: (2025)

Abstract String Domain Defined with Word Equations as a Reduced Product (Extended Version)
von: Nepeivoda, Antonina, et al.
Veröffentlicht: (2025)

An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols
von: Stutz, Felix, et al.
Veröffentlicht: (2025)

Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints
von: Paul, Abhijit
Veröffentlicht: (2025)

Synthesizing DSLs for Few-Shot Learning
von: Krogmeier, Paul, et al.
Veröffentlicht: (2025)

Syntax Repair as Language Intersection
von: Considine, Breandan
Veröffentlicht: (2025)

Probabilistic Programming Meets Automata Theory: Exact Inference using Weighted Automata
von: Geißler, Dominik, et al.
Veröffentlicht: (2025)

Refuting Equivalence in Probabilistic Programs with Conditioning
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2025)

Weighted Automata for Exact Inference in Discrete Probabilistic Programs
von: Geißler, Dominik, et al.
Veröffentlicht: (2025)

Formally Verified Linear-Time Invertible Lexing
von: Chassot, Samuel, et al.
Veröffentlicht: (2025)

Characterizing Implementability of Global Protocols with Infinite States and Data
von: Li, Elaine, et al.
Veröffentlicht: (2024)

Saturating automata for game semantics
von: Dixon, Alex, et al.
Veröffentlicht: (2023)

Maximal and minimal dynamic Petri net slicing
von: Llorens, Marisa, et al.
Veröffentlicht: (2021)

V-Star: Learning Visibly Pushdown Grammars from Program Inputs
von: Jia, Xiaodong, et al.
Veröffentlicht: (2024)

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs
von: Zhang, Kaiwen, et al.
Veröffentlicht: (2026)

Global Protocols under Rendezvous Synchrony: From Realizability to Type Checking
von: Li, Elaine, et al.
Veröffentlicht: (2026)

Equivalence and Similarity Refutation for Probabilistic Programs
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2024)

Reactive graphs in action (extended version)
von: Tinoco, David, et al.
Veröffentlicht: (2024)

Polyregular equivalence is undecidable in higher-order types
von: Bojańczyk, Mikołaj, et al.
Veröffentlicht: (2026)

Synchronisability in Mailbox Communication
von: Di Giusto, Cinzia, et al.
Veröffentlicht: (2024)

Verification under TSO with an infinite Data Domain
von: Abdulla, Parosh Aziz, et al.
Veröffentlicht: (2024)

Linear Matching of JavaScript Regular Expressions
von: Barrière, Aurèle, et al.
Veröffentlicht: (2023)

Extended Stone Duality via Monoidal Adjunctions
von: Lenke, Fabian, et al.
Veröffentlicht: (2024)

Detecting and Explaining (In-)equivalence of Context-Free Grammars
von: Schmellenkamp, Marko, et al.
Veröffentlicht: (2024)

Automata-based constraints for language model decoding
von: Koo, Terry, et al.
Veröffentlicht: (2024)

Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs
von: Zhang, Kaiwen, et al.
Veröffentlicht: (2022)

Finding Regular Herbrand Models for CHCs using Answer Set Programming
von: Maire, Gregoire, et al.
Veröffentlicht: (2025)

Weighted GKAT: Completeness and Complexity
von: Van Koevering, Spencer, et al.
Veröffentlicht: (2025)

Verifying Asynchronous Hyperproperties in Reactive Systems
von: Beutner, Raven, et al.
Veröffentlicht: (2025)

A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes
von: Różowski, Wojciech, et al.
Veröffentlicht: (2026)

Parametrizing Reads-From Equivalence for Predictive Monitoring
von: Farzan, Azadeh, et al.
Veröffentlicht: (2026)

The Decision Problem for Regular First-Order Theories
von: Mathur, Umang, et al.
Veröffentlicht: (2024)

Syntactically and semantically regular languages of lambda-terms coincide through logical relations
von: Moreau, Vincent, et al.
Veröffentlicht: (2023)

SuperDP: Differential Privacy Refutation via Supermartingales
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2026)

Towards a Coq-verified Chain of Esterel Semantics
von: Berry, Gérard, et al.
Veröffentlicht: (2019)

Operational State Complexity of Block Languages
von: Duarte, Guilherme, et al.
Veröffentlicht: (2024)

Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions
von: Zhang, Lan, et al.
Veröffentlicht: (2025)

LangSAT: A Novel Framework Combining NLP and Reinforcement Learning for SAT Solving
von: Pan, Muyu, et al.
Veröffentlicht: (2025)

Knee-Deep in C-RASP: A Transformer Depth Hierarchy
von: Yang, Andy, et al.
Veröffentlicht: (2025)