On the (non-) relationship between SLR(1) and NQLALR(1) grammars
- 期刊名称ACM Transactions on Programming Languages and Systems
- 作者Bermudez, Manuel E.; Schimpf, Karl M.
- 卷第10卷
- 期第2期
- 印刷ISSN0164-0925
- 文件大小290.69KB
- 发表时间1988-4-1
- DOI10.1145/42190.42276
- 页码338-342
Constrained expressions: toward broad applicability of analysis methods for distributed software systemsDillon, Laura K.; Avrunin, George S.; Wileden, Jack C. · ACM Transactions on Programming Languages and Systems · 1988
[ACM Press the symposium - Victoria, British Columbia, Canada (1991.10.08-1991.10.10)] Proceedings of the symposium on Testing, analysis, and verification - TAV4 - Experiments with an improved constrained expression toolsetAvrunin, George S.; Buy, Ugo A.; Corbett, James C.; Dillon, Laura K.; Wileden, Jack C. · 1991
The Byzantine Generals ProblemLamport, Leslie; Shostak, Robert; Pease, Marshall · ACM Transactions on Programming Languages and Systems · 1982
The temporal logic of actionsLamport, Leslie · ACM Transactions on Programming Languages and Systems · 1994
Essential AOPDe Fraine, Bruno; Ernst, Erik; Südholt, Mario · ACM Transactions on Programming Languages and Systems · 2012
LOCKSMITHPratikakis, Polyvios; Foster, Jeffrey S.; Hicks, Michael · ACM Transactions on Programming Languages and Systems · 2011
Linear scan register allocationPoletto, Massimiliano; Sarkar, Vivek · ACM Transactions on Programming Languages and Systems · 1999
The undecidability of aliasingRamalingam, G. · ACM Transactions on Programming Languages and Systems · 1994
Parameterized loop tilingRenganarayanan, Lakshminarayanan; Kim, Daegon; Strout, Michelle Mills; Rajopadhye, Sanjay · ACM Transactions on Programming Languages and Systems · 2012
METRICMarathe, Jaydeep; Mueller, Frank; Mohan, Tushar; Mckee, Sally A.; De Supinski, Bronis R.; Yoo, Andy · ACM Transactions on Programming Languages and Systems · 2007