author = {Herbert Kuchen and Rita Loogen and Juan Jos{\'{e}}
                  {Moreno-Navarro} and Mario {Rodr{\'{i}}guez-Artalejo}},
  title = {The Functional Logic Language {BABEL} and Its Implementation
                  on a Graph Machine},
  journal = {New Generation Computing},
  volume = {14},
  number = {4},
  pages = {391-427},
  year = {1996},
  url = {http://citeseer.nj.nec.com/kuchen96functional.html},
  postscript = {/papers/ibam_jl.ps.gz},
  keywords = {implementation of funtional logic languages},
  abstract = {We investigate the development of a graph narrowing machine
                  for a higher order functional logic language by extension of
                  an appropriate architecture for purely functional
                  languages. To execute logic programs the machine must be
                  capable of unification and backtracking. We show the
                  integration of these mechanisms in a programmed (functional)
                  graph reduction machine. The resulting abstract machine has
                  been realized in C code as part of the implementation of the
                  functional logic language BABEL. A brief introduction to
                  this language is included. Moreover, we show a comparison
                  between BABEL and PROLOG based on the runtimes of some
                  example programs.}
  title = {Adding Type-Classes to Functional-logic Languages},
  booktitle = {APPIA-GULP-PRODE'96},
  organization = {Universidad del Pa{\'{i}}s Vasco},
  year = {1996},
  editor = {M. Martelli and M. Navarro},
  publisher = {Summer Courses, Basque Country University},
  pages = {427-438},
  author = {J.J. {Moreno-Navarro} and J. Mari{\~{n}}o and J. Garc{\'{i}}a Mart{\'{i}}n and
                  {{\'{A}}ngel} Herranz and A. del Pozo}

This file was generated by bibtex2html 1.98.