Editor's corner Beyond formal methods
- 作者Robert L. Glass
- 卷第29卷
- 期第2期
- 印刷ISSN0164-1212
- 文件大小137.96KB
- 发表时间1995
- DOI10.1016/0164-1212(94)00068-x
- 页码95-96
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