Search dblp for Publications

export results for "toc:db/journals/jlp/jlp29.bht:"

 download as .bib file

@article{DBLP:journals/jlp/DebrayGB96,
  author       = {Saumya K. Debray and
                  David Gudeman and
                  Peter A. Bigot},
  title        = {Detection and Optimization of Suspension-Free Logic Programs},
  journal      = {J. Log. Program.},
  volume       = {29},
  number       = {1-3},
  pages        = {171--194},
  year         = {1996},
  url          = {https://doi.org/10.1016/S0743-1066(96)00052-0},
  doi          = {10.1016/S0743-1066(96)00052-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/DebrayGB96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/GuptaC96a,
  author       = {Gopal Gupta and
                  Mats Carlsson},
  title        = {Guest Editors' Introduction: High-Performance Implementations of Logic
                  Programming Systems},
  journal      = {J. Log. Program.},
  volume       = {29},
  number       = {1-3},
  pages        = {1--3},
  year         = {1996},
  url          = {https://doi.org/10.1016/S0743-1066(96)00066-0},
  doi          = {10.1016/S0743-1066(96)00066-0},
  timestamp    = {Wed, 26 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/GuptaC96a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/HolmerSCRD96,
  author       = {Bruce K. Holmer and
                  Barton Sano and
                  Michael J. Carlton and
                  Peter Van Roy and
                  Alvin M. Despain},
  title        = {Design and Analysis of Hardware for High-Performance Prolog},
  journal      = {J. Log. Program.},
  volume       = {29},
  number       = {1-3},
  pages        = {107--139},
  year         = {1996},
  url          = {https://doi.org/10.1016/S0743-1066(96)88981-3},
  doi          = {10.1016/S0743-1066(96)88981-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/HolmerSCRD96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Krall96,
  author       = {Andreas Krall},
  title        = {The Vienna Abstract Machine},
  journal      = {J. Log. Program.},
  volume       = {29},
  number       = {1-3},
  pages        = {85--106},
  year         = {1996},
  url          = {https://doi.org/10.1016/S0743-1066(96)00064-7},
  doi          = {10.1016/S0743-1066(96)00064-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Krall96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Shen96,
  author       = {Kish Shen},
  title        = {Overview of Daswam: Exploitation of Dependent and-Parallelism},
  journal      = {J. Log. Program.},
  volume       = {29},
  number       = {1-3},
  pages        = {245--293},
  year         = {1996},
  url          = {https://doi.org/10.1016/S0743-1066(96)00079-9},
  doi          = {10.1016/S0743-1066(96)00079-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Shen96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Smith96,
  author       = {Donald A. Smith},
  title        = {Multilog and Data or-Parallelism},
  journal      = {J. Log. Program.},
  volume       = {29},
  number       = {1-3},
  pages        = {195--244},
  year         = {1996},
  url          = {https://doi.org/10.1016/S0743-1066(96)00067-2},
  doi          = {10.1016/S0743-1066(96)00067-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Smith96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/SomogyiHC96,
  author       = {Zoltan Somogyi and
                  Fergus Henderson and
                  Thomas C. Conway},
  title        = {The Execution Algorithm of Mercury, an Efficient Purely Declarative
                  Logic Programming Language},
  journal      = {J. Log. Program.},
  volume       = {29},
  number       = {1-3},
  pages        = {17--64},
  year         = {1996},
  url          = {https://doi.org/10.1016/S0743-1066(96)00068-4},
  doi          = {10.1016/S0743-1066(96)00068-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/SomogyiHC96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/TarauBD96,
  author       = {Paul Tarau and
                  Koenraad De Bosschere and
                  Bart Demoen},
  title        = {Partial Translation: Towards a Portable and Efficient Prolog Implementation
                  Technology},
  journal      = {J. Log. Program.},
  volume       = {29},
  number       = {1-3},
  pages        = {65--83},
  year         = {1996},
  url          = {https://doi.org/10.1016/S0743-1066(96)00063-5},
  doi          = {10.1016/S0743-1066(96)00063-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/TarauBD96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Taylor96,
  author       = {Andrew Taylor},
  title        = {Parma - Bridging the Performance {GAP} Between Imperative and Logic
                  Programming},
  journal      = {J. Log. Program.},
  volume       = {29},
  number       = {1-3},
  pages        = {5--16},
  year         = {1996},
  url          = {https://doi.org/10.1016/S0743-1066(96)00065-9},
  doi          = {10.1016/S0743-1066(96)00065-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Taylor96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/TickML96,
  author       = {Evan Tick and
                  Barton C. Massey and
                  James S. Larson},
  title        = {Experience with the Super Monaco Optimizing Compiler},
  journal      = {J. Log. Program.},
  volume       = {29},
  number       = {1-3},
  pages        = {141--169},
  year         = {1996},
  url          = {https://doi.org/10.1016/S0743-1066(96)00051-9},
  doi          = {10.1016/S0743-1066(96)00051-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/TickML96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.