The following pages link to Arun Lakhotia (Q656865):
Displayed 6 items.
- Context-sensitive analysis without calling-context (Q656869) (← links)
- How to control unfolding when specializing interpreters (Q918195) (← links)
- Item:Q656865 (redirect page) (← links)
- Composing recursive logic programs with clausal join (Q1109585) (← links)
- Abstract Symbolic Automata (Q2819818) (← links)
- CajunBot: Architecture and algorithms (Q3425400) (← links)