BibTeX records: Håkan Millroth

download as .bib file

@inproceedings{DBLP:conf/plilp/JohanssonJLBM97,
  author       = {Erik Johansson and
                  Christer Jonsson and
                  Thomas Lindgren and
                  Johan Bevemyr and
                  H{\aa}kan Millroth},
  editor       = {Hugh Glaser and
                  Pieter H. Hartel and
                  Herbert Kuchen},
  title        = {A Pragmatic Approach to Compilation of Erlang},
  booktitle    = {Programming Languages: Implementations, Logics, and Programs, 9th
                  International Symposium, PLILP'97, Including a Special Trach on Declarative
                  Programming Languages in Education, Southampton, UK, September 3-5,
                  1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1292},
  pages        = {419--420},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0033859},
  doi          = {10.1007/BFB0033859},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/plilp/JohanssonJLBM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Millroth95,
  author       = {H{\aa}kan Millroth},
  title        = {SLDR-Resolution: Parallelizing Structural Recursion in Logic Programs},
  journal      = {J. Log. Program.},
  volume       = {25},
  number       = {2},
  pages        = {93--117},
  year         = {1995},
  url          = {https://doi.org/10.1016/0743-1066(95)00036-J},
  doi          = {10.1016/0743-1066(95)00036-J},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Millroth95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/europar/LindgrenBM95,
  author       = {Thomas Lindgren and
                  Johan Bevemyr and
                  H{\aa}kan Millroth},
  editor       = {Seif Haridi and
                  Khayri A. M. Ali and
                  Peter Magnusson},
  title        = {Compiler Optimizations in Reform Prolog: Experiments on the {KSR-1}
                  Multiprocessor},
  booktitle    = {Euro-Par '95 Parallel Processing, First International Euro-Par Conference,
                  Stockholm, Sweden, August 29-31, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {966},
  pages        = {553--564},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0020492},
  doi          = {10.1007/BFB0020492},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/LindgrenBM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/NordinLM95,
  author       = {Magnus Nordin and
                  Thomas Lindgren and
                  H{\aa}kan Millroth},
  editor       = {Alan Mycroft},
  title        = {{IGOR:} {A} Tool for Developing Prolog Dataflow Analyzers},
  booktitle    = {Static Analysis, Second International Symposium, SAS'95, Glasgow,
                  UK, September 25-27, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {983},
  pages        = {420--421},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60360-3\_54},
  doi          = {10.1007/3-540-60360-3\_54},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/NordinLM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/slp/Millroth95,
  author       = {H{\aa}kan Millroth},
  editor       = {John W. Lloyd},
  title        = {Tradeoffs Explicit and Omplicit Parallelism (Tutorial Abstract)},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {614},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299971},
  timestamp    = {Wed, 11 Aug 2021 17:02:32 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/Millroth95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/BevemyrLM93,
  author       = {Johan Bevemyr and
                  Thomas Lindgren and
                  H{\aa}kan Millroth},
  editor       = {David Scott Warren},
  title        = {Reform Prolog: The Language and Its Implementation},
  booktitle    = {Logic Programming, Proceedings of the Tenth International Conference
                  on Logic Programming, Budapest, Hungary, June 21-25, 1993},
  pages        = {283--298},
  publisher    = {{MIT} Press},
  year         = {1993},
  timestamp    = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/BevemyrLM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/parle/BevemyrLM93,
  author       = {Johan Bevemyr and
                  Thomas Lindgren and
                  H{\aa}kan Millroth},
  editor       = {Arndt Bode and
                  Mike Reeve and
                  Gottfried Wolf},
  title        = {Exploiting Recursion-Parallelism in Prolog},
  booktitle    = {{PARLE} '93, Parallel Architectures and Languages Europe, 5th International
                  {PARLE} Conference, Munich, Germany, June 14-17, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {694},
  pages        = {279--290},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56891-3\_22},
  doi          = {10.1007/3-540-56891-3\_22},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/parle/BevemyrLM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fgcs/BarklundM92,
  author       = {Jonas Barklund and
                  H{\aa}kan Millroth},
  title        = {Providing Iteration and concurrency in Logic Programs Through Bounded
                  Quantifications},
  booktitle    = {Proceedings of the International Conference on Fifth Generation Computer
                  Systems. {FGCS} 1992, June 1-5, Tokyo, Japan},
  pages        = {817--824},
  publisher    = {{IOS} Press},
  year         = {1992},
  timestamp    = {Wed, 31 Jul 2019 10:45:39 +0200},
  biburl       = {https://dblp.org/rec/conf/fgcs/BarklundM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/BevemyrLM92,
  author       = {Johan Bevemyr and
                  Thomas Lindgren and
                  H{\aa}kan Millroth},
  title        = {Exploiting Recursion-Parallelism in Prolog: Preliminary Results},
  booktitle    = {Workshop on Concurrent and Parallel Implementations (sessions {A}
                  and B), held at IJCSLP'92, Washington, DC, USA, November 1992},
  year         = {1992},
  timestamp    = {Mon, 02 Dec 2013 17:40:45 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/BevemyrLM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/Millroth92,
  author       = {H{\aa}kan Millroth},
  editor       = {Andrei Voronkov},
  title        = {Reform Compilation for Nonlinear Recursion},
  booktitle    = {Logic Programming and Automated Reasoning,International Conference
                  LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {624},
  pages        = {160--171},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/BFb0013058},
  doi          = {10.1007/BFB0013058},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/Millroth92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/slp/Millroth91,
  author       = {H{\aa}kan Millroth},
  editor       = {Vijay A. Saraswat and
                  Kazunori Ueda},
  title        = {Reforming Compilation of Logic Programs},
  booktitle    = {Logic Programming, Proceedings of the 1991 International Symposium,
                  San Diego, California, USA, Oct. 28 - Nov 1, 1991},
  pages        = {485--499},
  publisher    = {{MIT} Press},
  year         = {1991},
  timestamp    = {Wed, 04 Dec 2013 14:42:58 +0100},
  biburl       = {https://dblp.org/rec/conf/slp/Millroth91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/Millroth90,
  author       = {H{\aa}kan Millroth},
  editor       = {Bertram Fronh{\"{o}}fer and
                  Graham Wrightson},
  title        = {Using the Reform Inference System for Parallel Prolog},
  booktitle    = {Parallelization in Inference Systems, International Workshop, Dagstuhl
                  Castle, Germany, December 17-18, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {590},
  pages        = {182--194},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-55425-4\_8},
  doi          = {10.1007/3-540-55425-4\_8},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Millroth90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/TarnlundM90,
  author       = {Sten{-}{\AA}ke T{\"{a}}rnlund and
                  H{\aa}kan Millroth},
  editor       = {Bertram Fronh{\"{o}}fer and
                  Graham Wrightson},
  title        = {Parallel Reform Computations},
  booktitle    = {Parallelization in Inference Systems, International Workshop, Dagstuhl
                  Castle, Germany, December 17-18, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {590},
  pages        = {371},
  publisher    = {Springer},
  year         = {1990},
  timestamp    = {Thu, 25 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/TarnlundM90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/BarklundM87,
  author       = {Jonas Barklund and
                  H{\aa}kan Millroth},
  editor       = {Jean{-}Louis Lassez},
  title        = {Hash Tables in Logic Programming},
  booktitle    = {Logic Programming, Proceedings of the Fourth International Conference,
                  Melbourne, Victoria, Australia, May 25-29, 1987 {(2} Volumes)},
  pages        = {411--427},
  publisher    = {{MIT} Press},
  year         = {1987},
  timestamp    = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/BarklundM87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/slp/BarklundM87,
  author       = {Jonas Barklund and
                  H{\aa}kan Millroth},
  title        = {Integrating Complex Data Structures in Prolog},
  booktitle    = {Proceedings of the 1987 Symposium on Logic Programming, San Francisco,
                  California, USA, August 31 - September 4, 1987},
  pages        = {415--425},
  publisher    = {{IEEE-CS}},
  year         = {1987},
  timestamp    = {Wed, 04 Dec 2013 14:42:58 +0100},
  biburl       = {https://dblp.org/rec/conf/slp/BarklundM87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/slp/BarklundM86,
  author       = {Jonas Barklund and
                  H{\aa}kan Millroth},
  title        = {Garbage Cut for Garbage Collection of Iterative Prolog Programs},
  booktitle    = {Proceedings of the 1986 Symposium on Logic Programming, Salt Lake
                  City, Utah, USA, September 22-25, 1986},
  pages        = {276--283},
  publisher    = {{IEEE-CS}},
  year         = {1986},
  timestamp    = {Wed, 04 Dec 2013 14:43:00 +0100},
  biburl       = {https://dblp.org/rec/conf/slp/BarklundM86.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.