Travelled to:1 × USA
Collaborated with:R.A.Mueller R.Butler R.Olson
Talks about:prolog (2) transform (1) parallel (1) abstract (1) theorem (1) program (1) connect (1) warren (1) machin (1) effici (1)
Person: Rasiah Loganantharaj
DBLP: Loganantharaj:Rasiah
Contributed to:
19881986Wrote 2 papers:
- CADE-1988-ButlerLO #automaton #compilation #performance #program transformation #prolog
- Notes on Prolog Program Transformations, Prolog Style, and Efficient Compilation to The Warren Abstract Machine (RB, RL, RO), pp. 323–332.
- CADE-1986-LoganantharajM #graph #parallel #proving #theorem proving
- Parallel Theorem Proving with Connection Graphs (RL, RAM), pp. 337–352.