Re: Warren Abstract Machine

> Does anyone know where I might find some information on Warren
> Abstract Machines? I am interested in books web sites and publically
> available papers.


Here are some starting points:


@Book{Boizumault:94,
    author = {Boizumault, P.},
    title = {{PROLOG}: The Implementation},
    publisher = {Princeton University Press},
    year = 1994
}


@Book{AitKaci:91,
    author = {Aït-Kaci, H.},
    title = {{Warren's Abstract Machine}: A Tutorial Reconstruction},
    publisher = {MIT Press},
    year = 1991
}


@PhDThesis{Carlsson:90,
    author = {Carlsson, M.},
    title = {Design and Implementation of an OR-Parallel {P}rolog
Engine},
    school = {The Royal Institute of Technology, Stockholm, Sweden",
    department = {Telecommunication and Computer Systems},
    year = 1990,
    month = mar
}


@PhdThesis{Marien93,
    author = {Mariën, A.},
    title = {Improving the Compilation of {Prolog} in the Framework
of the {Warren Abstract Machine}},
    school = {KU Leuven, Belgium},
    year = 1993,
    month = sep
}


@PhDThesis{Taylor:91,
    author = {Taylor, A.},
    title = {High Performance {Prolog} Implementation},
    school = {University of Sydney, Australia},
    department = {Basser Department of Computer Science},
    year = 1991,
    month = jun
}


@PhDThesis{VanRoy:90,
    author = {Van Roy, P.},
    title = {Can Logic Programming Execute as Fast as Imperative
Programming},
    school = {University of California, Berkeley, USA},
    department = {Computer Science Division},
    year = 1990,
    month = dec
}


@Article{VanRoy:94,
    author = {Van Roy, P.},
    title = {1983-1993: The Wonder Years of Sequential {Prolog}
Implementation},
    journal = {Journal of Logic Programming},
    year = 1994,
    volume = {19/20},
    month = {May/July},
    note = {Special Issue: Ten Years of Logic Programming},
    pages = {385-441}
}


@TechReport{Warren:83,
    author = {Warren, D.H.D.},
    title = {An abstract {Prolog} instruction set},
    year = 1983,
    month = oct,
    institution = {SRI International},
    type = {Technical Note},
    number = 309
}


-- Jacques NOYE


PS: If you read French, you can also have a look at my own work:


@PhdThesis{Noye:94,
    author = {Noyé, J.},
    title = {Élagage de contexte, retour arrière superficiel,
                                    coupure et autres: une étude approfondie de la WAM},
    school = {Université de Rennes I, Rennes, France},
    year = 1994,
    month = nov
}
--

Return to the comp.compilers page.
Search the comp.compilers archives again.