๐ฎ
๐ฎ
The Ethereal
A Design Recipe and Recipe-Based Errors for Regular Expressions
August 05, 2025 ยท The Ethereal ยท ๐ TFPiE
"No code URL or promise found in abstract"
Evidence collected by the PWNC Scanner
Authors
Marco T. Morazรกn, Shamil Dzhatdoyev, Josephine Des Rosiers, Tijana Miniฤ, Andrรฉs M. Garced, David Anthony K. Fields
arXiv ID
2508.03639
Category
cs.FL: Formal Languages
Cross-listed
cs.HC,
cs.PL,
cs.SE
Citations
0
Venue
TFPiE
Last Checked
2 months ago
Abstract
This article presents a novel framework to provide Formal Languages and Automata Theory students design support for the development of regular expressions. This framework includes a design recipe for regular expressions and a customized error messaging system. The error messaging system produces recipe-based errors that include the step of the design recipe not successfully completed. Furthermore, the error messages follow the established practices of being concise, succinct, jargon-free, and nonprescriptive. In addition, a shorthand syntax developed for writing unit tests is described. The in-class use of the design recipe is illustrated, two debugging sessions using the described system are discussed, and the implementation of the error messaging system is briefly sketched.
Community Contributions
Found the code? Know the venue? Think something is wrong? Let us know!
๐ Similar Papers
In the same crypt โ Formal Languages
๐ฎ
๐ฎ
The Ethereal
Supervisor Synthesis to Thwart Cyber Attack with Bounded Sensor Reading Alterations
๐ฎ
๐ฎ
The Ethereal
An Abstraction-Based Framework for Neural Network Verification
๐ฎ
๐ฎ
The Ethereal
Recurrent Neural Networks as Weighted Language Recognizers
๐ฎ
๐ฎ
The Ethereal
TeSSLa: Temporal Stream-based Specification Language
๐ฎ
๐ฎ
The Ethereal