Specification based on Backus-Naur Formalism and Programming Language
No abstract available.
Related papers
- Automatic Layout of Railroad Diagrams ECOOP 2026
- A Methodology for Synthesis of Recursive Functional Programs TOPLAS 1987
- Biography of Peter Naur HOPL 1978
- Biography of John Backus HOPL 1978
- Can Programming Be Liberated from the Functional Style? SLE 2025
- Rubber ducks, nightmares, and unsaturated predicates: proto-scientific schemata are good for agile OOPSLA 2010
- "Type-Completeness" as a Language Design Principle POPL 1980
- Transcripts of presentations HOPL 1978