Software automation: Fact or fraud?
- 作者Robert L. Glass
- 卷第31卷
- 期第3期
- 印刷ISSN0164-1212
- 文件大小210.75KB
- 发表时间1995
- DOI10.1016/0164-1212(94)00097-2
- 页码183-184
CajunBot: Architecture and algorithmsArun Lakhotia; Suresh Golconda; Anthony Maida; Pablo Mejia; Amit Puntambeker; Guna Seetharaman; Scott Wilson · 2006
Implication and equivalence I / OLakhotia, Arun · ACM SIGOPS Operating Systems Review · 1985
Abstract Symbolic AutomataDalla Preda, Mila; Giacobazzi, Roberto; Lakhotia, Arun; Mastroeni, Isabella · ACM SIGPLAN Notices · 2015
How to control unfolding when specializing interpretersArun Lakhotia; Leon Sterling · 1990
Constructing malware normalizers using term rewritingAndrew Walenstein; Rachit Mathur; Mohamed R. Chouchane; Arun Lakhotia · 2008
Theory and algorithms for slicing unstructured programsMark Harman; Arun Lakhotia; David Binkley · 2006
Restructuring programs by tucking statements into functionsArun Lakhotia; Jean-Christophe Deprez · 1998