-
4
-
-
84958958152
-
A bounded-connect construction for LR-regular parsers
-
Wilhelm, R., ed.: CC'01. Springer
-
Farré, J., Fortes Gálvez, J.: A bounded-connect construction for LR-regular parsers. In Wilhelm, R., ed.: CC'01. Volume 2027 of Lecture Notes in Computer Science., Springer (2001) 244-258
-
(2001)
Lecture Notes in Computer Science
, vol.2027
, pp. 244-258
-
-
Farré, J.1
Fortes Gálvez, J.2
-
5
-
-
0742293391
-
Noncanonical extensions of bottom-up parsing techniques
-
Szymanski, T.G., Williams, J.H.: Noncanonical extensions of bottom-up parsing techniques. SIAM Journal on Computing 5(2) (1976) 231-250
-
(1976)
SIAM Journal on Computing
, vol.5
, Issue.2
, pp. 231-250
-
-
Szymanski, T.G.1
Williams, J.H.2
-
7
-
-
33746215785
-
Noncanonical LALR(1) parsing
-
Dang, Z., Ibarra, O.H., eds.: DLT'06, Springer
-
Schmitz, S.: Noncanonical LALR(1) parsing. In Dang, Z., Ibarra, O.H., eds.: DLT'06. Volume 4036 of Lecture Notes in Computer Science., Springer (2006) 95-107
-
(2006)
Lecture Notes in Computer Science
, vol.4036
, pp. 95-107
-
-
Schmitz, S.1
-
8
-
-
27344432613
-
The theory of parsing, translation, and compiling
-
Prentice Hall, Englewood Cliffs, New Jersey
-
Aho, A.V., Ullman, J.D.: The Theory of Parsing, Translation, and Compiling. Volume I: Parsing of Series in Automatic Computation. Prentice Hall, Englewood Cliffs, New Jersey (1972)
-
(1972)
Parsing of Series in Automatic Computation
, vol.1
-
-
Aho, A.V.1
Ullman, J.D.2
-
11
-
-
0742285801
-
Bounded-connect noncanonical discriminating-reverse parsers
-
Farré, J., Fortes Gálvez, J.: Bounded-connect noncanonical discriminating-reverse parsers. Theoretical Computer Science 313(1) (2004) 73-91
-
(2004)
Theoretical Computer Science
, vol.313
, Issue.1
, pp. 73-91
-
-
Farré, J.1
Fortes Gálvez, J.2
-
12
-
-
0742310863
-
-
PhD thesis, Universidad de Las Palmas de Gran Canaria and Université de Nice-Sophia Antipolis
-
Fortes Gálvez, J.: A Discriminating Reverse Approach to LR(k) Parsing. PhD thesis, Universidad de Las Palmas de Gran Canaria and Université de Nice-Sophia Antipolis (1998)
-
(1998)
A Discriminating Reverse Approach to LR(k) Parsing
-
-
Fortes Gálvez, J.1
-
14
-
-
0016660260
-
On the complexity of LR(k) testing
-
Hunt, III, H.B., Szymanski, T.G., Ullman, J.D.: On the complexity of LR(k) testing. Communications of the ACM 18(12) (1975) 707-716
-
(1975)
Communications of the ACM
, vol.18
, Issue.12
, pp. 707-716
-
-
Hunt III, H.B.1
Szymanski, T.G.2
Ullman, J.D.3
-
15
-
-
0040173688
-
A parsing automata approach to LR theory
-
Heilbrunner, S.: A parsing automata approach to LR theory. Theoretical Computer Science 15(2) (1981) 117-157
-
(1981)
Theoretical Computer Science
, vol.15
, Issue.2
, pp. 117-157
-
-
Heilbrunner, S.1
-
16
-
-
33749412007
-
Towards a unifying theory of context-free parsing
-
Pighizzini, G., San Pietro, P., eds.: Proceedings ASMICS Workshop on Parsing Theory. Université di Milano
-
Schöbel-Theuer, T.: Towards a unifying theory of context-free parsing. In Pighizzini, G., San Pietro, P., eds.: Proceedings ASMICS Workshop on Parsing Theory. Technical Report 126-1994, Université di Milano (1994) 89-100
-
(1994)
Technical Report
, vol.126
, Issue.1994
, pp. 89-100
-
-
Schöbel-Theuer, T.1
-
17
-
-
85050550846
-
Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints
-
ACM Press
-
Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL '77, ACM Press (1977) 238-252
-
(1977)
POPL '77
, pp. 238-252
-
-
Cousot, P.1
Cousot, R.2
|