https://github.com/cizr/yacc-parser-addition-rules-and-type-checking
An educational Yacc parser implementation for the specified grammar, featuring Java-like addition rules and integrated type checking for assignment consistency. Explore code, examples, and tests to deepen your understanding of Yacc parsing and semantic analysis.
https://github.com/cizr/yacc-parser-addition-rules-and-type-checking
educational grammer-checker parsing-expression-grammar semantic-analysis syntax-analysis typechecking yacc-lex
Last synced: about 1 year ago
JSON representation
An educational Yacc parser implementation for the specified grammar, featuring Java-like addition rules and integrated type checking for assignment consistency. Explore code, examples, and tests to deepen your understanding of Yacc parsing and semantic analysis.
- Host: GitHub
- URL: https://github.com/cizr/yacc-parser-addition-rules-and-type-checking
- Owner: Cizr
- Created: 2023-11-19T21:37:38.000Z (over 2 years ago)
- Default Branch: main
- Last Pushed: 2023-11-20T06:19:46.000Z (over 2 years ago)
- Last Synced: 2025-01-27T06:43:25.877Z (over 1 year ago)
- Topics: educational, grammer-checker, parsing-expression-grammar, semantic-analysis, syntax-analysis, typechecking, yacc-lex
- Language: Python
- Homepage:
- Size: 4.88 KB
- Stars: 2
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Yacc-Parser-Addition-Rules-and-Type-Checking
Yacc parser tailored for this grammar:
S → def Type id = E
E → E + E | Val
Val → nb.nb | nb
Type → int | float
This implementation incorporates Java-like addition rules and includes type checking to ensure consistent assignments. A valuable resource for educational activities, showcasing the implementation of semantic checks within parsing. Explore the code, examples, and tests to deepen your understanding of Yacc parsing and semantic analysis.