Parsing as abstract interpretation of grammar semantics (Q1853600): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: ``A la Burstall'' intermittent assertions induction principles for proving inevitability properties of programs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Constructive versions of Tarski's fixed point theorems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Systematic design of program transformation frameworks by abstract interpretation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Temporal abstract interpretation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An efficient context-free parsing algorithm / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the translation of languages from left to right / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A lattice-theoretical fixpoint theorem and its applications / rank | |||
Normal rank |
Latest revision as of 11:29, 5 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Parsing as abstract interpretation of grammar semantics |
scientific article |
Statements
Parsing as abstract interpretation of grammar semantics (English)
0 references
21 January 2003
0 references
parsing algorithm
0 references
context-free grammars
0 references
0 references