BibTeX records: Dan Sahlin

download as .bib file

@article{DBLP:journals/spe/ChungMES05,
  author       = {Yoo C. Chung and
                  Soo{-}Mook Moon and
                  Kemal Ebcioglu and
                  Dan Sahlin},
  title        = {Selective sweeping},
  journal      = {Softw. Pract. Exp.},
  volume       = {35},
  number       = {1},
  pages        = {15--26},
  year         = {2005},
  url          = {https://doi.org/10.1002/spe.624},
  doi          = {10.1002/SPE.624},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/ChungMES05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icn/KanterRS01,
  author       = {Theo Kanter and
                  Tom Rindborg and
                  Dan Sahlin},
  editor       = {Pascal Lorenz},
  title        = {3G and Beyond {\&} Enabled Adaptive Mobile Multimedia Communication},
  booktitle    = {Networking - {ICN} 2001, First International Conference, Colmar, France,
                  July 9-13, 2001 Proceedings, Part 1},
  series       = {Lecture Notes in Computer Science},
  volume       = {2093},
  pages        = {12--26},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-47728-4\_2},
  doi          = {10.1007/3-540-47728-4\_2},
  timestamp    = {Tue, 21 Mar 2023 21:02:31 +0100},
  biburl       = {https://dblp.org/rec/conf/icn/KanterRS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/ChungMES00,
  author       = {Yoo C. Chung and
                  Soo{-}Mook Moon and
                  Kemal Ebcioglu and
                  Dan Sahlin},
  editor       = {Mark N. Wegman and
                  Thomas W. Reps},
  title        = {Reducing Sweep Time for a Nearly Empty Heap},
  booktitle    = {{POPL} 2000, Proceedings of the 27th {ACM} {SIGPLAN-SIGACT} Symposium
                  on Principles of Programming Languages, Boston, Massachusetts, USA,
                  January 19-21, 2000},
  pages        = {378--389},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/325694.325744},
  doi          = {10.1145/325694.325744},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/ChungMES00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icics/BrownS99,
  author       = {Lawrie Brown and
                  Dan Sahlin},
  editor       = {Vijay Varadharajan and
                  Yi Mu},
  title        = {Extending {ERLANG} for Safe Mobile Code Execution},
  booktitle    = {Information and Communication Security, Second International Conference,
                  ICICS'99, Sydney, Australia, November 9-11, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1726},
  pages        = {39--53},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-540-47942-0\_5},
  doi          = {10.1007/978-3-540-47942-0\_5},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/icics/BrownS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/BoortzS97,
  author       = {Kent Boortz and
                  Dan Sahlin},
  editor       = {Chris Clack and
                  Kevin Hammond and
                  Antony J. T. Davie},
  title        = {A Compacting Garbage Collector for Unidirectional Heaps},
  booktitle    = {Implementation of Functional Languages, 9th International Workshop,
                  IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1467},
  pages        = {358},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0055441},
  doi          = {10.1007/BFB0055441},
  timestamp    = {Tue, 14 May 2019 10:00:35 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/BoortzS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/paam/ArthurssonEJMNO97,
  author       = {Johan Arthursson and
                  Jakob Engblom and
                  Ing{-}Marie Jonsson and
                  Rehan Mirza and
                  Gustaf Naeser and
                  Mikael Olsson and
                  Robert Ottenhag and
                  Dan Sahlin and
                  Maria Schmid and
                  Bertil Spolander and
                  Elham Zolfonoon},
  editor       = {I. Barry Crabtree},
  title        = {A Platform for Secure Mobile Agents},
  booktitle    = {Proceedings of the Second International Conference on the Practical
                  Application of Intelligent Agents and Multi-Agent Technology, {PAAM}
                  1997, Westminster Central Hall, London, UK, April 21-23, 1997},
  pages        = {109--120},
  publisher    = {Practical Application Company Ltd.},
  year         = {1997},
  timestamp    = {Mon, 28 Nov 2022 16:52:59 +0100},
  biburl       = {https://dblp.org/rec/conf/paam/ArthurssonEJMNO97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ccp2/Sahlin95,
  author       = {Dan Sahlin},
  editor       = {Agostino Cortesi and
                  Philippe Codognet},
  title        = {Partial Evaluation of {AKL}},
  booktitle    = {First International Workshop on Concurrent Constraint Programming,
                  {CCP} 1995, C{\`{a}} Dolfin, Venice, Italy, May 29-31, 1995},
  pages        = {10:1--10:16},
  publisher    = {{INRIA} Rocquencourt},
  year         = {1995},
  timestamp    = {Tue, 18 Apr 2023 16:18:59 +0200},
  biburl       = {https://dblp.org/rec/conf/ccp2/Sahlin95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/SahlinS95,
  author       = {Dan Sahlin and
                  Thomas Sj{\"{o}}land},
  editor       = {Leon Sterling},
  title        = {An Analyzer for a Concurrent Constraint Language},
  booktitle    = {Logic Programming, Proceedings of the Twelfth International Conference
                  on Logic Programming, Tokyo, Japan, June 13-16, 1995},
  pages        = {828},
  publisher    = {{MIT} Press},
  year         = {1995},
  timestamp    = {Mon, 02 Dec 2013 17:40:44 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/SahlinS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ngc/Sahlin93,
  author       = {Dan Sahlin},
  title        = {Mixtus: An Automatic Partial Avaluator for Full Prolog},
  journal      = {New Gener. Comput.},
  volume       = {12},
  number       = {1},
  pages        = {7--51},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF03038271},
  doi          = {10.1007/BF03038271},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ngc/Sahlin93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/SahlinS93,
  author       = {Dan Sahlin and
                  Thomas Sj{\"{o}}land},
  editor       = {Christian Schulte and
                  Gert Smolka},
  title        = {Towards Abstract Interpretation of {AKL}},
  booktitle    = {Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent
                  Constraint Programming, Budapest, Hungary, June 24-25, 1993},
  year         = {1993},
  timestamp    = {Tue, 26 Dec 2017 15:02:23 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/SahlinS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppcp/HaridiJMFBBDCKSS93,
  author       = {Seif Haridi and
                  Sverker Janson and
                  Johan Montelius and
                  Torkel Franz{\'{e}}n and
                  Per Brand and
                  Kent Boortz and
                  Bj{\"{o}}rn Danielsson and
                  Bj{\"{o}}rn Carlson and
                  Torbj{\"{o}}rn Keisu and
                  Dan Sahlin and
                  Thomas Sj{\"{o}}land},
  title        = {Concurrent Constraint Programming at {SICS} with the Andorra Kernel
                  Language (Extended Abstract)},
  booktitle    = {Principles and Practice of Constraint Programming, {PPCP} 1993, Newport,
                  Rhode Island},
  pages        = {107--116},
  year         = {1993},
  timestamp    = {Fri, 09 Aug 2019 11:23:42 +0200},
  biburl       = {https://dblp.org/rec/conf/ppcp/HaridiJMFBBDCKSS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/SahlinS93,
  author       = {Dan Sahlin and
                  Thomas Sj{\"{o}}land},
  editor       = {Patrick Cousot and
                  Moreno Falaschi and
                  Gilberto Fil{\'{e}} and
                  Antoine Rauzy},
  title        = {Demonstration: Static Analysis of {AKL}},
  booktitle    = {Static Analysis, Third International Workshop, WSA'93, Padova, Italy,
                  September 22-24, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {724},
  pages        = {282--283},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-57264-3\_48},
  doi          = {10.1007/3-540-57264-3\_48},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/SahlinS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/logcom/SahlinFH92,
  author       = {Dan Sahlin and
                  Torkel Franz{\'{e}}n and
                  Seif Haridi},
  title        = {An Intuitionistic Predicate Logic Theorem Prover},
  journal      = {J. Log. Comput.},
  volume       = {2},
  number       = {5},
  pages        = {619--656},
  year         = {1992},
  url          = {https://doi.org/10.1093/logcom/2.5.619},
  doi          = {10.1093/LOGCOM/2.5.619},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/SahlinFH92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pepm/Sahlin91,
  author       = {Dan Sahlin},
  editor       = {Charles Consel and
                  Olivier Danvy},
  title        = {Determinacy Analysis for Full Prolog},
  booktitle    = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based
                  Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut,
                  USA, June 17-19, 1991},
  pages        = {23--30},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/115865.115869},
  doi          = {10.1145/115865.115869},
  timestamp    = {Fri, 09 Jul 2021 14:03:46 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/Sahlin91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plilp/Sahlin90,
  author       = {Dan Sahlin},
  editor       = {Pierre Deransart and
                  Jan Maluszynski},
  title        = {Finding the Least Fixed Point Using Wait-Declarations in Prolog},
  booktitle    = {Programming Language Implementation and Logic Programming, 2nd International
                  Workshop PLILP'90, Link{\"{o}}ping, Sweden, August 20-22, 1990,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {456},
  pages        = {151--158},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/BFb0024182},
  doi          = {10.1007/BFB0024182},
  timestamp    = {Tue, 14 May 2019 10:00:35 +0200},
  biburl       = {https://dblp.org/rec/conf/plilp/Sahlin90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/slp/Sahlin90,
  author       = {Dan Sahlin},
  editor       = {Saumya K. Debray and
                  Manuel V. Hermenegildo},
  title        = {The Mixtus Approach to Automatic Partial Evaluation of Full Prolog},
  booktitle    = {Logic Programming, Proceedings of the 1990 North American Conference,
                  Austin, Texas, USA, October 29 - November 1, 1990},
  pages        = {377--398},
  publisher    = {{MIT} Press},
  year         = {1990},
  timestamp    = {Wed, 04 Dec 2013 14:42:58 +0100},
  biburl       = {https://dblp.org/rec/conf/slp/Sahlin90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cacm/ApplebyCHS88,
  author       = {Karen Appleby and
                  Mats Carlsson and
                  Seif Haridi and
                  Dan Sahlin},
  title        = {Garbage Collection for Prolog Based on {WAM}},
  journal      = {Commun. {ACM}},
  volume       = {31},
  number       = {6},
  pages        = {719--741},
  year         = {1988},
  url          = {https://doi.org/10.1145/62959.62968},
  doi          = {10.1145/62959.62968},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/ApplebyCHS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/db-workshops/OrciS85,
  author       = {Istvan P. Orci and
                  Dan Sahlin},
  editor       = {Joachim W. Schmidt and
                  Costantino Thanos},
  title        = {Two-Mode Evaluation for Dealing with Implicit Interactions Between
                  Logic Programs and Relational Data Bases},
  booktitle    = {Foundations of Knowledge Base Management: Contributions from Logic,
                  Databases, and Artificial Intelligence, Book resulting from the Xania
                  Workshop 1985},
  series       = {Topics in Information Systems},
  pages        = {345--371},
  publisher    = {Springer},
  year         = {1985},
  timestamp    = {Wed, 07 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/db-workshops/OrciS85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/eh/campbell84/HaridiS84,
  author       = {Seif Haridi and
                  Dan Sahlin},
  editor       = {John A. Campbell},
  title        = {Efficient Implementation of Unification of Cyclic Structures},
  booktitle    = {Implementations of Prolog.},
  pages        = {234--249},
  publisher    = {Ellis Horwood/Halsted Press/Wiley},
  year         = {1984},
  timestamp    = {Mon, 05 Aug 2019 16:47:22 +0200},
  biburl       = {https://dblp.org/rec/books/eh/campbell84/HaridiS84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/HaridiS83,
  author       = {Seif Haridi and
                  Dan Sahlin},
  editor       = {Lu{\'{\i}}s Moniz Pereira and
                  Ant{\'{o}}nio Porto and
                  Lu{\'{\i}}s Monteiro and
                  Miguel Figueiras},
  title        = {Evaluation of Logic Programs Based on Natural Deduction {(DRAFT)}},
  booktitle    = {Logic Programming Workshop '83, Praia da Fal{\'{e}}sia, Algarve,
                  Portugal, 26 June - 1 July, 1983, Proceedings},
  pages        = {560--574},
  publisher    = {N{\'{u}}cleo de Intellig{\^{e}}ncia Artificial, Universidade
                  Nova De Lisboa, Portugal},
  year         = {1983},
  url          = {http://www.softwarepreservation.org/projects/prolog/lisbon/lpw83/p560-Haridi.pdf},
  timestamp    = {Thu, 12 Mar 2020 11:37:20 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/HaridiS83.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.