Controversy revisited: The Mythseeker project
- 作者Michael Heim
- 卷第28卷
- 期第1期
- 印刷ISSN0164-1212
- 文件大小93.00KB
- 发表时间1995
- DOI10.1016/0164-1212(94)00112-z
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