Description and Optimization of Abstract Machines in a Dialect of Prolog. Morales, J. F., Carro, M., & Hermenegildo, M. V. TPLP, 16(1):1-58, 2016.
Description and Optimization of Abstract Machines in a Dialect of Prolog. [link]Link  Description and Optimization of Abstract Machines in a Dialect of Prolog. [link]Paper  bibtex   
@article{journals/tplp/MoralesCH16,
  added-at = {2016-01-29T00:00:00.000+0100},
  author = {Morales, José F. and Carro, Manuel and Hermenegildo, Manuel V.},
  biburl = {http://www.bibsonomy.org/bibtex/2f038dbe95a85dfb0faf4523c9097bee7/dblp},
  ee = {http://dx.doi.org/10.1017/S1471068414000672},
  interhash = {714ad49d7550c2de57aef714c23cbb56},
  intrahash = {f038dbe95a85dfb0faf4523c9097bee7},
  journal = {TPLP},
  keywords = {dblp},
  number = 1,
  pages = {1-58},
  timestamp = {2016-01-30T11:36:58.000+0100},
  title = {Description and Optimization of Abstract Machines in a Dialect of Prolog.},
  url = {http://dblp.uni-trier.de/db/journals/tplp/tplp16.html#MoralesCH16},
  volume = 16,
  year = 2016
}

Downloads: 0