Search dblp for Publications

export results for "toc:db/conf/padl/padl99.bht:"

 download as .bib file

@inproceedings{DBLP:conf/padl/BansalB99,
  author       = {Arvind K. Bansal and
                  Peer Bork},
  editor       = {Gopal Gupta},
  title        = {Applying Logic Programming to Derive Novel Functional Information
                  of Genomes},
  booktitle    = {Practical Aspects of Declarative Languages, First International Workshop,
                  {PADL} '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1551},
  pages        = {275--289},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-49201-1\_19},
  doi          = {10.1007/3-540-49201-1\_19},
  timestamp    = {Wed, 26 Oct 2022 11:14:38 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/BansalB99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/BozzanoDMMZ99,
  author       = {Marco Bozzano and
                  Giorgio Delzanno and
                  Maurizio Martelli and
                  Viviana Mascardi and
                  Floriano Zini},
  editor       = {Gopal Gupta},
  title        = {Multi-agent Systems Development as a Software Engineering Enterprise},
  booktitle    = {Practical Aspects of Declarative Languages, First International Workshop,
                  {PADL} '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1551},
  pages        = {46--60},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-49201-1\_4},
  doi          = {10.1007/3-540-49201-1\_4},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/BozzanoDMMZ99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/CadoliPSV99,
  author       = {Marco Cadoli and
                  Luigi Palopoli and
                  Andrea Schaerf and
                  Domenico Vasile},
  editor       = {Gopal Gupta},
  title        = {{NP-SPEC:} An Executable Specification Language for Solving All Problems
                  in {NP}},
  booktitle    = {Practical Aspects of Declarative Languages, First International Workshop,
                  {PADL} '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1551},
  pages        = {16--30},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-49201-1\_2},
  doi          = {10.1007/3-540-49201-1\_2},
  timestamp    = {Mon, 18 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/CadoliPSV99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/CarlssonKA99,
  author       = {Mats Carlsson and
                  Per Kreuger and
                  Emil {\AA}str{\"{o}}m},
  editor       = {Gopal Gupta},
  title        = {Constraint-Based Resource Allocation and Scheduling in Steel Manufacturing},
  booktitle    = {Practical Aspects of Declarative Languages, First International Workshop,
                  {PADL} '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1551},
  pages        = {335--349},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-49201-1\_23},
  doi          = {10.1007/3-540-49201-1\_23},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/CarlssonKA99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/DemoenS99,
  author       = {Bart Demoen and
                  Konstantinos Sagonas},
  editor       = {Gopal Gupta},
  title        = {{CHAT:} The Copy-Hybrid Approach to Tabling},
  booktitle    = {Practical Aspects of Declarative Languages, First International Workshop,
                  {PADL} '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1551},
  pages        = {106--121},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-49201-1\_8},
  doi          = {10.1007/3-540-49201-1\_8},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/DemoenS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/Elliott99,
  author       = {Conal Elliott},
  editor       = {Gopal Gupta},
  title        = {From Functional Animation to Sprite-Based Display},
  booktitle    = {Practical Aspects of Declarative Languages, First International Workshop,
                  {PADL} '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1551},
  pages        = {61--75},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-49201-1\_5},
  doi          = {10.1007/3-540-49201-1\_5},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/Elliott99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/FerreiraD99,
  author       = {Michel Ferreira and
                  Lu{\'{\i}}s Damas},
  editor       = {Gopal Gupta},
  title        = {Multiple Specialization of {WAM} Code},
  booktitle    = {Practical Aspects of Declarative Languages, First International Workshop,
                  {PADL} '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1551},
  pages        = {243--258},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-49201-1\_17},
  doi          = {10.1007/3-540-49201-1\_17},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/FerreiraD99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/GoltzM99,
  author       = {Hans{-}Joachim Goltz and
                  Dirk Matzke},
  editor       = {Gopal Gupta},
  title        = {University Timetabling Using Constraint Logic Programming},
  booktitle    = {Practical Aspects of Declarative Languages, First International Workshop,
                  {PADL} '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1551},
  pages        = {320--334},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-49201-1\_22},
  doi          = {10.1007/3-540-49201-1\_22},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/GoltzM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/HakliNTU99,
  author       = {Raul Hakli and
                  Matti Nyk{\"{a}}nen and
                  Hellis Tamm and
                  Esko Ukkonen},
  editor       = {Gopal Gupta},
  title        = {Implementing a Declarative String Query Language with String Restructuring},
  booktitle    = {Practical Aspects of Declarative Languages, First International Workshop,
                  {PADL} '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1551},
  pages        = {179--195},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-49201-1\_13},
  doi          = {10.1007/3-540-49201-1\_13},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/HakliNTU99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/JefferyDS99,
  author       = {David Jeffery and
                  Tyson Dowd and
                  Zoltan Somogyi},
  editor       = {Gopal Gupta},
  title        = {{MCORBA:} {A} {CORBA} Binding for Mercury},
  booktitle    = {Practical Aspects of Declarative Languages, First International Workshop,
                  {PADL} '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1551},
  pages        = {211--227},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-49201-1\_15},
  doi          = {10.1007/3-540-49201-1\_15},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/JefferyDS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/Kahl99,
  author       = {Wolfram Kahl},
  editor       = {Gopal Gupta},
  title        = {Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators},
  booktitle    = {Practical Aspects of Declarative Languages, First International Workshop,
                  {PADL} '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1551},
  pages        = {76--90},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-49201-1\_6},
  doi          = {10.1007/3-540-49201-1\_6},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/Kahl99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/Lai99,
  author       = {Claude La{\"{\i}}},
  editor       = {Gopal Gupta},
  title        = {Using Constraints in Local Proofs for {CLP} Debugging},
  booktitle    = {Practical Aspects of Declarative Languages, First International Workshop,
                  {PADL} '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1551},
  pages        = {350--359},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-49201-1\_24},
  doi          = {10.1007/3-540-49201-1\_24},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/Lai99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/LetelierSR99,
  author       = {Patricio Letelier and
                  Pedro S{\'{a}}nchez and
                  Isidro Ramos},
  editor       = {Gopal Gupta},
  title        = {Prototyping a Requirements Specification through an Automatically
                  Generated Concurrent Logic Program},
  booktitle    = {Practical Aspects of Declarative Languages, First International Workshop,
                  {PADL} '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1551},
  pages        = {31--45},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-49201-1\_3},
  doi          = {10.1007/3-540-49201-1\_3},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/LetelierSR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/MattssonNW99,
  author       = {H{\aa}kan Mattsson and
                  Hans Nilsson and
                  Claes Wikstr{\"{o}}m},
  editor       = {Gopal Gupta},
  title        = {Mnesia - {A} Distributed Robust {DBMS} for Telecommunications Applications},
  booktitle    = {Practical Aspects of Declarative Languages, First International Workshop,
                  {PADL} '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1551},
  pages        = {152--163},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-49201-1\_11},
  doi          = {10.1007/3-540-49201-1\_11},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/MattssonNW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/MeijerLH99,
  author       = {Erik Meijer and
                  Daan Leijen and
                  James Hook},
  editor       = {Gopal Gupta},
  title        = {Client-Side Web Scripting with HaskellScript},
  booktitle    = {Practical Aspects of Declarative Languages, First International Workshop,
                  {PADL} '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1551},
  pages        = {196--210},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-49201-1\_14},
  doi          = {10.1007/3-540-49201-1\_14},
  timestamp    = {Wed, 14 Feb 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/padl/MeijerLH99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/MossR99,
  author       = {Graeme E. Moss and
                  Colin Runciman},
  editor       = {Gopal Gupta},
  title        = {Automated Benchmarking of Functional Data Structures},
  booktitle    = {Practical Aspects of Declarative Languages, First International Workshop,
                  {PADL} '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1551},
  pages        = {1--15},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-49201-1\_1},
  doi          = {10.1007/3-540-49201-1\_1},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/MossR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/PetersonHE99,
  author       = {John Peterson and
                  Paul Hudak and
                  Conal Elliott},
  editor       = {Gopal Gupta},
  title        = {Lambda in Motion: Controlling Robots with Haskell},
  booktitle    = {Practical Aspects of Declarative Languages, First International Workshop,
                  {PADL} '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1551},
  pages        = {91--105},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-49201-1\_7},
  doi          = {10.1007/3-540-49201-1\_7},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/PetersonHE99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/RochaSC99,
  author       = {Ricardo Rocha and
                  Fernando M. A. Silva and
                  V{\'{\i}}tor Santos Costa},
  editor       = {Gopal Gupta},
  title        = {Or-Parallelism within Tabling},
  booktitle    = {Practical Aspects of Declarative Languages, First International Workshop,
                  {PADL} '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1551},
  pages        = {137--151},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-49201-1\_10},
  doi          = {10.1007/3-540-49201-1\_10},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/padl/RochaSC99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/Schmidt99,
  author       = {David A. Schmidt},
  editor       = {Gopal Gupta},
  title        = {A Return to Elegance: The Reapplication of Declarative Notation to
                  Software Design},
  booktitle    = {Practical Aspects of Declarative Languages, First International Workshop,
                  {PADL} '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1551},
  pages        = {360--364},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-49201-1\_25},
  doi          = {10.1007/3-540-49201-1\_25},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/Schmidt99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/SiddabathuniDU99,
  author       = {Babu Siddabathuni and
                  Suzanne W. Dietrich and
                  Susan Darling Urban},
  editor       = {Gopal Gupta},
  title        = {An AQUA-Based Intermediate Language for Evaluating an Active Deductive
                  Object-Oriented Language},
  booktitle    = {Practical Aspects of Declarative Languages, First International Workshop,
                  {PADL} '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1551},
  pages        = {164--178},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-49201-1\_12},
  doi          = {10.1007/3-540-49201-1\_12},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/SiddabathuniDU99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/SilvaDBC99,
  author       = {Marcio G. Silva and
                  In{\^{e}}s de Castro Dutra and
                  Ricardo Bianchini and
                  V{\'{\i}}tor Santos Costa},
  editor       = {Gopal Gupta},
  title        = {The Influence of Architectural Parameters on the Performance of Parallel
                  Logic Programming Systems},
  booktitle    = {Practical Aspects of Declarative Languages, First International Workshop,
                  {PADL} '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1551},
  pages        = {122--136},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-49201-1\_9},
  doi          = {10.1007/3-540-49201-1\_9},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/SilvaDBC99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/SoininenN99,
  author       = {Timo Soininen and
                  Ilkka Niemel{\"{a}}},
  editor       = {Gopal Gupta},
  title        = {Developing a Declarative Rule Language for Applications in Product
                  Configuration},
  booktitle    = {Practical Aspects of Declarative Languages, First International Workshop,
                  {PADL} '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1551},
  pages        = {305--319},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-49201-1\_21},
  doi          = {10.1007/3-540-49201-1\_21},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/SoininenN99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/Vasconcelos99,
  author       = {Wamberto Weber Vasconcelos},
  editor       = {Gopal Gupta},
  title        = {A Flexible Framework for Dynamic and Static Slicing of Logic Programs},
  booktitle    = {Practical Aspects of Declarative Languages, First International Workshop,
                  {PADL} '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1551},
  pages        = {259--274},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-49201-1\_18},
  doi          = {10.1007/3-540-49201-1\_18},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/Vasconcelos99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/WallaceS99,
  author       = {Mark Wallace and
                  Joachim Schimpf},
  editor       = {Gopal Gupta},
  title        = {ECLiPSe: Declarative Specification and Scaleable Implementation},
  booktitle    = {Practical Aspects of Declarative Languages, First International Workshop,
                  {PADL} '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1551},
  pages        = {365--366},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-49201-1\_26},
  doi          = {10.1007/3-540-49201-1\_26},
  timestamp    = {Tue, 19 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/padl/WallaceS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/Watson99,
  author       = {Richard Watson},
  editor       = {Gopal Gupta},
  title        = {An Application of Action Theory to the Space Shuttle},
  booktitle    = {Practical Aspects of Declarative Languages, First International Workshop,
                  {PADL} '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1551},
  pages        = {290--304},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-49201-1\_20},
  doi          = {10.1007/3-540-49201-1\_20},
  timestamp    = {Mon, 03 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/Watson99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/Xi99,
  author       = {Hongwei Xi},
  editor       = {Gopal Gupta},
  title        = {Dead Code Elimination through Dependent Types},
  booktitle    = {Practical Aspects of Declarative Languages, First International Workshop,
                  {PADL} '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1551},
  pages        = {228--242},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-49201-1\_16},
  doi          = {10.1007/3-540-49201-1\_16},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/Xi99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/padl/1999,
  editor       = {Gopal Gupta},
  title        = {Practical Aspects of Declarative Languages, First International Workshop,
                  {PADL} '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1551},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49201-1},
  doi          = {10.1007/3-540-49201-1},
  isbn         = {3-540-65527-1},
  timestamp    = {Wed, 26 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/1999.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.