default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/padl/padl2000.bht:"
download as .bib file
@inproceedings{DBLP:conf/padl/Abreu00,
author = {Salvador Abreu},
editor = {Enrico Pontelli and
V{\'{\i}}tor Santos Costa},
title = {A Logic-Based Information System},
booktitle = {Practical Aspects of Declarative Languages, Second International Workshop,
{PADL} 2000, Boston, MA, USA, January 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1753},
pages = {141--153},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46584-7\_10},
doi = {10.1007/3-540-46584-7\_10},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/Abreu00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/BistarelliCGR00,
author = {Stefano Bistarelli and
Philippe Codognet and
Yan Georget and
Francesca Rossi},
editor = {Enrico Pontelli and
V{\'{\i}}tor Santos Costa},
title = {Labeling and Partial Local Consistency for Soft Constraint Programming},
booktitle = {Practical Aspects of Declarative Languages, Second International Workshop,
{PADL} 2000, Boston, MA, USA, January 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1753},
pages = {230--248},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46584-7\_16},
doi = {10.1007/3-540-46584-7\_16},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/BistarelliCGR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/ChewHN00,
author = {Tee Yong Chew and
Martin Henz and
Ka Boon Ng},
editor = {Enrico Pontelli and
V{\'{\i}}tor Santos Costa},
title = {A Toolkit for Constraint-Based Inference Engines},
booktitle = {Practical Aspects of Declarative Languages, Second International Workshop,
{PADL} 2000, Boston, MA, USA, January 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1753},
pages = {185--199},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46584-7\_13},
doi = {10.1007/3-540-46584-7\_13},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/ChewHN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/ChuangM00,
author = {Tyng{-}Ruey Chuang and
Shin{-}Cheng Mu},
editor = {Enrico Pontelli and
V{\'{\i}}tor Santos Costa},
title = {Out-of-Core Functional Programming with Type-Based Primitives},
booktitle = {Practical Aspects of Declarative Languages, Second International Workshop,
{PADL} 2000, Boston, MA, USA, January 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1753},
pages = {32--46},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46584-7\_3},
doi = {10.1007/3-540-46584-7\_3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/ChuangM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/DemoenS00,
author = {Bart Demoen and
Konstantinos Sagonas},
editor = {Enrico Pontelli and
V{\'{\i}}tor Santos Costa},
title = {Heap Garbage Collection in {XSB:} Practice and Experience},
booktitle = {Practical Aspects of Declarative Languages, Second International Workshop,
{PADL} 2000, Boston, MA, USA, January 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1753},
pages = {93--108},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46584-7\_7},
doi = {10.1007/3-540-46584-7\_7},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/DemoenS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/DiazC00,
author = {Daniel Diaz and
Philippe Codognet},
editor = {Enrico Pontelli and
V{\'{\i}}tor Santos Costa},
title = {{GNU} Prolog: Beyond Compiling Prolog to {C}},
booktitle = {Practical Aspects of Declarative Languages, Second International Workshop,
{PADL} 2000, Boston, MA, USA, January 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1753},
pages = {81--92},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46584-7\_6},
doi = {10.1007/3-540-46584-7\_6},
timestamp = {Fri, 10 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/DiazC00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/GuptaA00,
author = {Gopal Gupta and
Shameem F. Akhter},
editor = {Enrico Pontelli and
V{\'{\i}}tor Santos Costa},
title = {Knowledgesheet: {A} Graphical Spreadsheet Interface for Interactively
Developing a Class of Constraint Programs},
booktitle = {Practical Aspects of Declarative Languages, Second International Workshop,
{PADL} 2000, Boston, MA, USA, January 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1753},
pages = {308--323},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46584-7\_21},
doi = {10.1007/3-540-46584-7\_21},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/GuptaA00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/Hanus00,
author = {Michael Hanus},
editor = {Enrico Pontelli and
V{\'{\i}}tor Santos Costa},
title = {A Functional Logic Programming Approach to Graphical User Interfaces},
booktitle = {Practical Aspects of Declarative Languages, Second International Workshop,
{PADL} 2000, Boston, MA, USA, January 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1753},
pages = {47--62},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46584-7\_4},
doi = {10.1007/3-540-46584-7\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/Hanus00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/Hickey00,
author = {Timothy J. Hickey},
editor = {Enrico Pontelli and
V{\'{\i}}tor Santos Costa},
title = {{CLIP:} {A} CLP(Intervals) Dialect for Metalevel Constraint Solving},
booktitle = {Practical Aspects of Declarative Languages, Second International Workshop,
{PADL} 2000, Boston, MA, USA, January 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1753},
pages = {200--214},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46584-7\_14},
doi = {10.1007/3-540-46584-7\_14},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/Hickey00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/HindeRP00,
author = {Chris J. Hinde and
Richard J. Reader and
Kath Phelps},
editor = {Enrico Pontelli and
V{\'{\i}}tor Santos Costa},
title = {{HIPPO} - {A} Declarative Graphical Modelling System},
booktitle = {Practical Aspects of Declarative Languages, Second International Workshop,
{PADL} 2000, Boston, MA, USA, January 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1753},
pages = {154--168},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46584-7\_11},
doi = {10.1007/3-540-46584-7\_11},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/HindeRP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/HuCT00,
author = {Zhenjiang Hu and
Wei{-}Ngan Chin and
Masato Takeichi},
editor = {Enrico Pontelli and
V{\'{\i}}tor Santos Costa},
title = {Calculating a New Data Mining Algorithm for Market Basket Analysis},
booktitle = {Practical Aspects of Declarative Languages, Second International Workshop,
{PADL} 2000, Boston, MA, USA, January 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1753},
pages = {169--184},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46584-7\_12},
doi = {10.1007/3-540-46584-7\_12},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/HuCT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/KrishnamurthiGG00,
author = {Shriram Krishnamurthi and
Kathryn E. Gray and
Paul T. Graunke},
editor = {Enrico Pontelli and
V{\'{\i}}tor Santos Costa},
title = {Transformation-by-Example for {XML}},
booktitle = {Practical Aspects of Declarative Languages, Second International Workshop,
{PADL} 2000, Boston, MA, USA, January 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1753},
pages = {249--262},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46584-7\_17},
doi = {10.1007/3-540-46584-7\_17},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/KrishnamurthiGG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/Lee00,
author = {Peter Lee},
editor = {Enrico Pontelli and
V{\'{\i}}tor Santos Costa},
title = {Production-Quality Proof-Carrying Code},
booktitle = {Practical Aspects of Declarative Languages, Second International Workshop,
{PADL} 2000, Boston, MA, USA, January 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1753},
pages = {325},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46584-7\_23},
doi = {10.1007/3-540-46584-7\_23},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/Lee00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/MarinoM00,
author = {Julio Mari{\~{n}}o and
Juan Jos{\'{e}} Moreno{-}Navarro},
editor = {Enrico Pontelli and
V{\'{\i}}tor Santos Costa},
title = {Using Static Analysis to Compile Non-sequential Functional Logic Programs},
booktitle = {Practical Aspects of Declarative Languages, Second International Workshop,
{PADL} 2000, Boston, MA, USA, January 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1753},
pages = {63--80},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46584-7\_5},
doi = {10.1007/3-540-46584-7\_5},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/MarinoM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/Moreno-NavarroM00,
author = {Juan Jos{\'{e}} Moreno{-}Navarro and
Susana Mu{\~{n}}oz{-}Hern{\'{a}}ndez},
editor = {Enrico Pontelli and
V{\'{\i}}tor Santos Costa},
title = {How to Incorporate Negation in a Prolog Compiler},
booktitle = {Practical Aspects of Declarative Languages, Second International Workshop,
{PADL} 2000, Boston, MA, USA, January 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1753},
pages = {124--140},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46584-7\_9},
doi = {10.1007/3-540-46584-7\_9},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/Moreno-NavarroM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/PetersonTS00,
author = {John Peterson and
Valery Trifonov and
Andrei Serjantov},
editor = {Enrico Pontelli and
V{\'{\i}}tor Santos Costa},
title = {Parallel Functional Reactive Programming},
booktitle = {Practical Aspects of Declarative Languages, Second International Workshop,
{PADL} 2000, Boston, MA, USA, January 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1753},
pages = {16--31},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46584-7\_2},
doi = {10.1007/3-540-46584-7\_2},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/PetersonTS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/Ramakrishnan00,
author = {I. V. Ramakrishnan},
editor = {Enrico Pontelli and
V{\'{\i}}tor Santos Costa},
title = {Current Trends in Logic Programming: Prospects and Promises},
booktitle = {Practical Aspects of Declarative Languages, Second International Workshop,
{PADL} 2000, Boston, MA, USA, January 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1753},
pages = {324},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46584-7\_22},
doi = {10.1007/3-540-46584-7\_22},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/Ramakrishnan00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/Schulte00,
author = {Christian Schulte},
editor = {Enrico Pontelli and
V{\'{\i}}tor Santos Costa},
title = {Programming Deep Concurrent Constraint Combinators},
booktitle = {Practical Aspects of Declarative Languages, Second International Workshop,
{PADL} 2000, Boston, MA, USA, January 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1753},
pages = {215--229},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46584-7\_15},
doi = {10.1007/3-540-46584-7\_15},
timestamp = {Tue, 26 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/Schulte00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/Thiemann00,
author = {Peter Thiemann},
editor = {Enrico Pontelli and
V{\'{\i}}tor Santos Costa},
title = {Modeling {HTML} in Haskell},
booktitle = {Practical Aspects of Declarative Languages, Second International Workshop,
{PADL} 2000, Boston, MA, USA, January 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1753},
pages = {263--277},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46584-7\_18},
doi = {10.1007/3-540-46584-7\_18},
timestamp = {Mon, 23 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/Thiemann00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/Tullsen00,
author = {Mark Tullsen},
editor = {Enrico Pontelli and
V{\'{\i}}tor Santos Costa},
title = {First Class Patterns},
booktitle = {Practical Aspects of Declarative Languages, Second International Workshop,
{PADL} 2000, Boston, MA, USA, January 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1753},
pages = {1--15},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46584-7\_1},
doi = {10.1007/3-540-46584-7\_1},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/Tullsen00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/Yeh00,
author = {Ching{-}Long Yeh},
editor = {Enrico Pontelli and
V{\'{\i}}tor Santos Costa},
title = {A Logic Programming Approach to Supporting the Entries of {XML} Documents
in an Object Database},
booktitle = {Practical Aspects of Declarative Languages, Second International Workshop,
{PADL} 2000, Boston, MA, USA, January 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1753},
pages = {278--292},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46584-7\_19},
doi = {10.1007/3-540-46584-7\_19},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/Yeh00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/YunesMS00,
author = {Tallys H. Yunes and
Arnaldo Vieira Moura and
Cid C. de Souza},
editor = {Enrico Pontelli and
V{\'{\i}}tor Santos Costa},
title = {A Hybrid Approach for Solving Large Scale Crew Scheduling Problems},
booktitle = {Practical Aspects of Declarative Languages, Second International Workshop,
{PADL} 2000, Boston, MA, USA, January 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1753},
pages = {293--307},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46584-7\_20},
doi = {10.1007/3-540-46584-7\_20},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/YunesMS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/ZhouSYY00,
author = {Neng{-}Fa Zhou and
Yi{-}Dong Shen and
Li{-}Yan Yuan and
Jia{-}Huai You},
editor = {Enrico Pontelli and
V{\'{\i}}tor Santos Costa},
title = {Implementation of a Linear Tabling Mechanism},
booktitle = {Practical Aspects of Declarative Languages, Second International Workshop,
{PADL} 2000, Boston, MA, USA, January 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1753},
pages = {109--123},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46584-7\_8},
doi = {10.1007/3-540-46584-7\_8},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/ZhouSYY00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2000,
editor = {Enrico Pontelli and
V{\'{\i}}tor Santos Costa},
title = {Practical Aspects of Declarative Languages, Second International Workshop,
{PADL} 2000, Boston, MA, USA, January 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1753},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46584-7},
doi = {10.1007/3-540-46584-7},
isbn = {3-540-66992-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/2000.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.
retrieved on 2025-01-28 06:49 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
