BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Loganantharaj:Rasiah

Contributed to:

CADE 19881988
CADE 19861986

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.