Instance complexity
- 期刊名称Journal of the ACM
- 作者Orponen, Pekka; Ko, Ker-i; Schöning, Uwe; Watanabe, Osamu
- 卷第41卷
- 期第1期
- 印刷ISSN0004-5411
- 文件大小1573.36KB
- 发表时间1994-1-2
- DOI10.1145/174644.174648
- 页码96-121
Evaluation of the domain propPascal Van Hentenryck; Agostino Cortesi; Baudouin Le Charlier · 1995
Reexecution in abstract interpretation of PrologBaudouin Le Charlier, Pascal Van Hentenryck · 1995
Type analysis of prolog using type graphsPascal Van Hentenryck; Agostino Cortesi; Baudouin Le Charlier · 1995
Sequence-based abstract interpretation of PrologLE CHARLIER, BAUDOUIN; ROSSI, SABINA; VAN HENTENRYCK, PASCAL · Theory and Practice of Logic Programming · 2002
Combinations of abstract domains for logic programming: open product and generic pattern constructionAgostino Cortesi; Baudouin Le Charlier; Pascal Van Hentenryck · 2000
Generic abstract interpretation algorithms for Prolog: Two optimization techniques and their experimental evaluationVincent Englebert; Baudouin Le Charlier; Didier Roland; Pascal Van Hentenryck · 1993
[ACM Press the 1993 ACM SIGPLAN symposium - Copenhagen, Denmark (1993.06.14-1993.06.16)] Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '93 - Groundness analysis for PrologLe Charlier, Baudouin; van Hentenryck, Pascal · 1993
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