LR-parsing derived
- 作者Wim H. Hesselink
- 卷第19卷
- 期第2期
- 印刷ISSN0167-6423
- 文件大小1653.86KB
- 发表时间1992
- DOI10.1016/0167-6423(92)90007-x
- 页码171-196
同作者推荐
Smoothsort revisitedCoenraad Bron; Wim H. Hesselink · 1991
LR-parsing derivedWim H. Hesselink · 1992
Interpretations of recursion under unbounded nondeterminacyWim H. Hesselink · 1988
Processes and formalisms for unbounded choiceWim H. Hesselink · 1992
Formalizing a Hierarchical File SystemWim H. Hesselink; M.I. Lali · 2009
Simulation Refinement for Concurrency VerificationWim H. Hesselink · 2008
A challenge for atomicity verificationWim H. Hesselink · 2008
Repetitions, known or unknown?Wim H. Hesselink · 1991