Search dblp for Publications

export results for "toc:db/conf/slp/slp94-w4.bht:"

 download as .bib file

@inproceedings{DBLP:conf/slp/BergerK94,
  author       = {Thomas Berger and
                  Andreas Krall},
  editor       = {Koenraad De Bosschere and
                  Bart Demoen and
                  Paul Tarau},
  title        = {A Progress Report on Incremental Global Compilation of Prolog},
  booktitle    = {{ILPS} 1994, Workshop 4: Implementation Techniques for Logic Programming
                  Languages, Ithaca, New York, USA, November 17, 1994},
  year         = {1994},
  url          = {ftp://ftp.elis.rug.ac.be/pub/prolog/ilps94\_workshop/krall.ps.Z},
  timestamp    = {Wed, 04 Dec 2013 14:42:59 +0100},
  biburl       = {https://dblp.org/rec/conf/slp/BergerK94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/slp/BrissetR94,
  author       = {Pascal Brisset and
                  Olivier Ridoux},
  editor       = {Koenraad De Bosschere and
                  Bart Demoen and
                  Paul Tarau},
  title        = {The Architecture of an Implementation of Lambda-Prolog: Prolog/Mali},
  booktitle    = {{ILPS} 1994, Workshop 4: Implementation Techniques for Logic Programming
                  Languages, Ithaca, New York, USA, November 17, 1994},
  year         = {1994},
  url          = {ftp://ftp.elis.rug.ac.be/pub/prolog/ilps94\_workshop/brisset.ps.Z},
  timestamp    = {Wed, 04 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/slp/BrissetR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/slp/DedkovE94,
  author       = {Anatholy F. Dedkov and
                  Douglas J. Eadline},
  editor       = {Koenraad De Bosschere and
                  Bart Demoen and
                  Paul Tarau},
  title        = {Design and Implementation of a Prolog-to-C Compiler},
  booktitle    = {{ILPS} 1994, Workshop 4: Implementation Techniques for Logic Programming
                  Languages, Ithaca, New York, USA, November 17, 1994},
  year         = {1994},
  url          = {ftp://ftp.elis.rug.ac.be/pub/prolog/ilps94\_workshop/dedkov.ps.Z},
  timestamp    = {Wed, 04 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/slp/DedkovE94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/slp/LiY94,
  author       = {Xining Li and
                  Y. Y. Yao},
  editor       = {Koenraad De Bosschere and
                  Bart Demoen and
                  Paul Tarau},
  title        = {LI-Engine: a New Sequential Control Model for Prolog},
  booktitle    = {{ILPS} 1994, Workshop 4: Implementation Techniques for Logic Programming
                  Languages, Ithaca, New York, USA, November 17, 1994},
  year         = {1994},
  url          = {ftp://ftp.elis.rug.ac.be/pub/prolog/ilps94\_workshop/li.ps.Z},
  timestamp    = {Wed, 04 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/slp/LiY94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/slp/MasseyT94,
  author       = {Barton C. Massey and
                  Evan Tick},
  editor       = {Koenraad De Bosschere and
                  Bart Demoen and
                  Paul Tarau},
  title        = {Mode Analysis of Arrays and Array Comprehensions},
  booktitle    = {{ILPS} 1994, Workshop 4: Implementation Techniques for Logic Programming
                  Languages, Ithaca, New York, USA, November 17, 1994},
  year         = {1994},
  url          = {ftp://ftp.elis.rug.ac.be/pub/prolog/ilps94\_workshop/massey.ps.Z},
  timestamp    = {Wed, 04 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/slp/MasseyT94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/slp/Noye94,
  author       = {Jacques Noy{\'{e}}},
  editor       = {Koenraad De Bosschere and
                  Bart Demoen and
                  Paul Tarau},
  title        = {Backtrackable Updates},
  booktitle    = {{ILPS} 1994, Workshop 4: Implementation Techniques for Logic Programming
                  Languages, Ithaca, New York, USA, November 17, 1994},
  year         = {1994},
  url          = {ftp://ftp.elis.rug.ac.be/pub/prolog/ilps94\_workshop/noye.ps.Z},
  timestamp    = {Wed, 04 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/slp/Noye94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/slp/SomogyiHC94,
  author       = {Zoltan Somogyi and
                  Fergus Henderson and
                  Thomas C. Conway},
  editor       = {Koenraad De Bosschere and
                  Bart Demoen and
                  Paul Tarau},
  title        = {The Implementation of Mercury, an Efficient Purely Declarative Logic
                  Programming Language},
  booktitle    = {{ILPS} 1994, Workshop 4: Implementation Techniques for Logic Programming
                  Languages, Ithaca, New York, USA, November 17, 1994},
  year         = {1994},
  url          = {ftp://ftp.elis.rug.ac.be/pub/prolog/ilps94\_workshop/somogyi.ps.Z},
  timestamp    = {Wed, 04 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/slp/SomogyiHC94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/slp/Taylor94,
  author       = {Andrew Taylor},
  editor       = {Koenraad De Bosschere and
                  Bart Demoen and
                  Paul Tarau},
  title        = {Can Dynamic Analysis Make Prolog Fast?},
  booktitle    = {{ILPS} 1994, Workshop 4: Implementation Techniques for Logic Programming
                  Languages, Ithaca, New York, USA, November 17, 1994},
  year         = {1994},
  url          = {ftp://ftp.elis.rug.ac.be/pub/prolog/ilps94\_workshop/taylor.ps.Z},
  timestamp    = {Wed, 04 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/slp/Taylor94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/slp/TongL94,
  author       = {Bo{-}Ming Tong and
                  Ho{-}fung Leung},
  editor       = {Koenraad De Bosschere and
                  Bart Demoen and
                  Paul Tarau},
  title        = {Performance of a Data-Parallel Concurrent Constraint Programming System},
  booktitle    = {{ILPS} 1994, Workshop 4: Implementation Techniques for Logic Programming
                  Languages, Ithaca, New York, USA, November 17, 1994},
  year         = {1994},
  url          = {ftp://ftp.elis.rug.ac.be/pub/prolog/ilps94\_workshop/tong.ps.Z},
  timestamp    = {Mon, 20 Apr 2015 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/TongL94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/slp/Tsarchopoulos94,
  author       = {Panagiotis Tsarchopoulos},
  editor       = {Koenraad De Bosschere and
                  Bart Demoen and
                  Paul Tarau},
  title        = {Analysis and Compilation of Constraint Solving Algorithms: {A} Case
                  Study},
  booktitle    = {{ILPS} 1994, Workshop 4: Implementation Techniques for Logic Programming
                  Languages, Ithaca, New York, USA, November 17, 1994},
  year         = {1994},
  url          = {ftp://ftp.elis.rug.ac.be/pub/prolog/ilps94\_workshop/tsarchopoulos.ps.Z},
  timestamp    = {Mon, 29 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/slp/Tsarchopoulos94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/slp/1994w4,
  editor       = {Koenraad De Bosschere and
                  Bart Demoen and
                  Paul Tarau},
  title        = {{ILPS} 1994, Workshop 4: Implementation Techniques for Logic Programming
                  Languages, Ithaca, New York, USA, November 17, 1994},
  year         = {1994},
  timestamp    = {Wed, 04 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/slp/1994w4.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.