Specifications and an implementation of the type-ambiguity problem in pascal (Q3694658)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Specifications and an implementation of the type-ambiguity problem in pascal |
scientific article |
Statements
Specifications and an implementation of the type-ambiguity problem in pascal (English)
0 references
1985
0 references
guarded command
0 references
stepwise abstraction
0 references
Pascal
0 references
Specifications
0 references
implementation
0 references
Context-free grammars
0 references
Context-sensitive syntax
0 references
CFG- based parser
0 references
