[ACM Press the 15th annual ACM SIGUCCS conference - Kansas City, Missouri, United States (1987.09.27-1987.09.30)] Proceedings of the 15th annual ACM SIGUCCS conference on User Services - SIGUCCS '87 - You cannot lead a horse to water: taking charge of microcomputer support
- 作者Johnson, Mark B.
- 文件大小438.40KB
- 发表时间1987
- DOI10.1145/41866.41879
- 页码67-71
Synthetic programmingNachum Dershowitz · 1985
Patterns in treesNachum Dershowitz; Shmuel Zaks · 1989
Orderings for term-rewriting systemsNachum Dershowitz · 1982
Completion for rewriting modulo a congruenceLeo Bachmair; Nachum Dershowitz · 1989
A rationale for conditional equational programmingNachum Dershowitz; Mitsuhiro Okada · 1990
Natural terminationNachum Dershowitz; Charles Hoot · 1995
An implementation of narrowingAlan Josephson; Nachum Dershowitz · 1989
A hypercomputational alienUdi Boker; Nachum Dershowitz · Applied Mathematics and Computation · 2006
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