Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/padl/BalducciniKS15,
  author       = {Marcello Balduccini and
                  Sarah Kushner and
                  Jacquelin Speck},
  editor       = {Enrico Pontelli and
                  Tran Cao Son},
  title        = {Ontology-Driven Data Semantics Discovery for Cyber-Security},
  booktitle    = {Practical Aspects of Declarative Languages - 17th International Symposium,
                  {PADL} 2015, Portland, OR, USA, June 18-19, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9131},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19686-2\_1},
  doi          = {10.1007/978-3-319-19686-2\_1},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/BalducciniKS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/BassedaK15,
  author       = {Reza Basseda and
                  Michael Kifer},
  editor       = {Enrico Pontelli and
                  Tran Cao Son},
  title        = {State Space Planning Using Transaction Logic},
  booktitle    = {Practical Aspects of Declarative Languages - 17th International Symposium,
                  {PADL} 2015, Portland, OR, USA, June 18-19, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9131},
  pages        = {17--33},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19686-2\_2},
  doi          = {10.1007/978-3-319-19686-2\_2},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/BassedaK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/CruzR15,
  author       = {Fl{\'{a}}vio Cruz and
                  Ricardo Rocha},
  editor       = {Enrico Pontelli and
                  Tran Cao Son},
  title        = {On Compiling Linear Logic Programs with Comprehensions, Aggregates
                  and Rule Priorities},
  booktitle    = {Practical Aspects of Declarative Languages - 17th International Symposium,
                  {PADL} 2015, Portland, OR, USA, June 18-19, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9131},
  pages        = {34--49},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19686-2\_3},
  doi          = {10.1007/978-3-319-19686-2\_3},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/padl/CruzR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/DymchenkoM15,
  author       = {Sergii Dymchenko and
                  Mariia Mykhailova},
  editor       = {Enrico Pontelli and
                  Tran Cao Son},
  title        = {Declaratively Solving Google Code Jam Problems with Picat},
  booktitle    = {Practical Aspects of Declarative Languages - 17th International Symposium,
                  {PADL} 2015, Portland, OR, USA, June 18-19, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9131},
  pages        = {50--57},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19686-2\_4},
  doi          = {10.1007/978-3-319-19686-2\_4},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/DymchenkoM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/FowlerDG15,
  author       = {Simon Fowler and
                  Lo{\"{\i}}c Denuzi{\`{e}}re and
                  Adam Granicz},
  editor       = {Enrico Pontelli and
                  Tran Cao Son},
  title        = {Reactive Single-Page Applications with Dynamic Dataflow},
  booktitle    = {Practical Aspects of Declarative Languages - 17th International Symposium,
                  {PADL} 2015, Portland, OR, USA, June 18-19, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9131},
  pages        = {58--73},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19686-2\_5},
  doi          = {10.1007/978-3-319-19686-2\_5},
  timestamp    = {Wed, 22 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/padl/FowlerDG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/Hanus15,
  author       = {Michael Hanus},
  editor       = {Enrico Pontelli and
                  Tran Cao Son},
  title        = {CHR(Curry): Interpretation and Compilation of Constraint Handling
                  Rules in Curry},
  booktitle    = {Practical Aspects of Declarative Languages - 17th International Symposium,
                  {PADL} 2015, Portland, OR, USA, June 18-19, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9131},
  pages        = {74--89},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19686-2\_6},
  doi          = {10.1007/978-3-319-19686-2\_6},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/Hanus15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/ShterionovJ15,
  author       = {Dimitar Sht. Shterionov and
                  Gerda Janssens},
  editor       = {Enrico Pontelli and
                  Tran Cao Son},
  title        = {Implementation and Performance of Probabilistic Inference Pipelines},
  booktitle    = {Practical Aspects of Declarative Languages - 17th International Symposium,
                  {PADL} 2015, Portland, OR, USA, June 18-19, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9131},
  pages        = {90--104},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19686-2\_7},
  doi          = {10.1007/978-3-319-19686-2\_7},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/ShterionovJ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/TamaritVCM15,
  author       = {Salvador Tamarit and
                  Guillermo Vigueras and
                  Manuel Carro and
                  Julio Mari{\~{n}}o},
  editor       = {Enrico Pontelli and
                  Tran Cao Son},
  title        = {A Haskell Implementation of a Rule-Based Program Transformation for
                  {C} Programs},
  booktitle    = {Practical Aspects of Declarative Languages - 17th International Symposium,
                  {PADL} 2015, Portland, OR, USA, June 18-19, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9131},
  pages        = {105--114},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19686-2\_8},
  doi          = {10.1007/978-3-319-19686-2\_8},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/TamaritVCM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/Tarau15,
  author       = {Paul Tarau},
  editor       = {Enrico Pontelli and
                  Tran Cao Son},
  title        = {On Logic Programming Representations of Lambda Terms: de Bruijn Indices,
                  Compression, Type Inference, Combinatorial Generation, Normalization},
  booktitle    = {Practical Aspects of Declarative Languages - 17th International Symposium,
                  {PADL} 2015, Portland, OR, USA, June 18-19, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9131},
  pages        = {115--131},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19686-2\_9},
  doi          = {10.1007/978-3-319-19686-2\_9},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/Tarau15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/VaugonWC15,
  author       = {Beno{\^{\i}}t Vaugon and
                  Philippe Wang and
                  Emmanuel Chailloux},
  editor       = {Enrico Pontelli and
                  Tran Cao Son},
  title        = {Programming Microcontrollers in OCaml: The OCaPIC Project},
  booktitle    = {Practical Aspects of Declarative Languages - 17th International Symposium,
                  {PADL} 2015, Portland, OR, USA, June 18-19, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9131},
  pages        = {132--148},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19686-2\_10},
  doi          = {10.1007/978-3-319-19686-2\_10},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/VaugonWC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/padl/2015,
  editor       = {Enrico Pontelli and
                  Tran Cao Son},
  title        = {Practical Aspects of Declarative Languages - 17th International Symposium,
                  {PADL} 2015, Portland, OR, USA, June 18-19, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9131},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19686-2},
  doi          = {10.1007/978-3-319-19686-2},
  isbn         = {978-3-319-19685-5},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/2015.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.