Computational and attribute models of formal languages (Q912638)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Computational and attribute models of formal languages |
scientific article; zbMATH DE number 4145354
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computational and attribute models of formal languages |
scientific article; zbMATH DE number 4145354 |
Statements
Computational and attribute models of formal languages (English)
0 references
1990
0 references
structural synthesis of programs
0 references
logic programming
0 references
intuitionistic propositional calculus
0 references
program and compiler specification
0 references
attribute grammars
0 references
computational models
0 references
attribute evaluation programs
0 references
semantics of programming languages
0 references
0 references
0 references
0.8933021
0 references
0.89178085
0 references
0.8825199
0 references
0.8783226
0 references
0.8771627
0 references
0.8763956
0 references
