Design for proof: An approach to the design of domain-specific languages
From MaRDI portal
Publication:1125425
DOI10.1007/s001650050027zbMath0951.68528MaRDI QIDQ1125425
Publication date: 6 December 1999
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s001650050027
68Q45: Formal languages and automata
Uses Software