default search action
Search dblp for Publications
export results for "toc:db/conf/padl/padl2011.bht:"
@inproceedings{DBLP:conf/padl/BelwalC11, author = {Chaitanya Belwal and Albert M. K. Cheng}, editor = {Ricardo Rocha and John Launchbury}, title = {Determining Actual Response Time in {P-FRP}}, booktitle = {Practical Aspects of Declarative Languages - 13th International Symposium, {PADL} 2011, Austin, TX, USA, January 24-25, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6539}, pages = {250--264}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-18378-2\_20}, doi = {10.1007/978-3-642-18378-2\_20}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/padl/BelwalC11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/padl/Brown11, author = {Neil C. C. Brown}, editor = {Ricardo Rocha and John Launchbury}, title = {Combinators for Message-Passing in Haskell}, booktitle = {Practical Aspects of Declarative Languages - 13th International Symposium, {PADL} 2011, Austin, TX, USA, January 24-25, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6539}, pages = {19--33}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-18378-2\_4}, doi = {10.1007/978-3-642-18378-2\_4}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/padl/Brown11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/padl/CaballeroGS11, author = {Rafael Caballero and Yolanda Garc{\'{\i}}a{-}Ruiz and Fernando S{\'{a}}enz{-}P{\'{e}}rez}, editor = {Ricardo Rocha and John Launchbury}, title = {Integrating XPath with the Functional-Logic Language Toy}, booktitle = {Practical Aspects of Declarative Languages - 13th International Symposium, {PADL} 2011, Austin, TX, USA, January 24-25, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6539}, pages = {145--159}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-18378-2\_13}, doi = {10.1007/978-3-642-18378-2\_13}, timestamp = {Wed, 23 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/padl/CaballeroGS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/padl/ChristakisS11, author = {Maria Christakis and Konstantinos Sagonas}, editor = {Ricardo Rocha and John Launchbury}, title = {Detection of Asynchronous Message Passing Errors Using Static Analysis}, booktitle = {Practical Aspects of Declarative Languages - 13th International Symposium, {PADL} 2011, Austin, TX, USA, January 24-25, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6539}, pages = {5--18}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-18378-2\_3}, doi = {10.1007/978-3-642-18378-2\_3}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/padl/ChristakisS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/padl/Christiansen11, author = {Jan Christiansen}, editor = {Ricardo Rocha and John Launchbury}, title = {Sloth - {A} Tool for Checking Minimal-Strictness}, booktitle = {Practical Aspects of Declarative Languages - 13th International Symposium, {PADL} 2011, Austin, TX, USA, January 24-25, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6539}, pages = {160--174}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-18378-2\_14}, doi = {10.1007/978-3-642-18378-2\_14}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/padl/Christiansen11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/padl/DevrieseP11, author = {Dominique Devriese and Frank Piessens}, editor = {Ricardo Rocha and John Launchbury}, title = {Explicitly Recursive Grammar Combinators - {A} Better Model for Shallow Parser DSLs}, booktitle = {Practical Aspects of Declarative Languages - 13th International Symposium, {PADL} 2011, Austin, TX, USA, January 24-25, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6539}, pages = {84--98}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-18378-2\_9}, doi = {10.1007/978-3-642-18378-2\_9}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/padl/DevrieseP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/padl/FodorAR11, author = {Paul Fodor and Darko Anicic and Sebastian Rudolph}, editor = {Ricardo Rocha and John Launchbury}, title = {Results on Out-of-Order Event Processing}, booktitle = {Practical Aspects of Declarative Languages - 13th International Symposium, {PADL} 2011, Austin, TX, USA, January 24-25, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6539}, pages = {220--234}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-18378-2\_18}, doi = {10.1007/978-3-642-18378-2\_18}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/padl/FodorAR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/padl/Hinrichs11, author = {Timothy L. Hinrichs}, editor = {Ricardo Rocha and John Launchbury}, title = {Plato: {A} Compiler for Interactive Web Forms}, booktitle = {Practical Aspects of Declarative Languages - 13th International Symposium, {PADL} 2011, Austin, TX, USA, January 24-25, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6539}, pages = {54--68}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-18378-2\_7}, doi = {10.1007/978-3-642-18378-2\_7}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/padl/Hinrichs11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/padl/HolkBWHCL11, author = {Eric Holk and William E. Byrd and Jeremiah Willcock and Torsten Hoefler and Arun Chauhan and Andrew Lumsdaine}, editor = {Ricardo Rocha and John Launchbury}, title = {Kanor - {A} Declarative Language for Explicit Communication}, booktitle = {Practical Aspects of Declarative Languages - 13th International Symposium, {PADL} 2011, Austin, TX, USA, January 24-25, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6539}, pages = {190--204}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-18378-2\_16}, doi = {10.1007/978-3-642-18378-2\_16}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/padl/HolkBWHCL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/padl/Kaivola11, author = {Roope Kaivola}, editor = {Ricardo Rocha and John Launchbury}, title = {Intel Core\({}^{\mbox{TM}}\) i7 Processor Execution Engine Validation in a Functional Language Based Formal Framework}, booktitle = {Practical Aspects of Declarative Languages - 13th International Symposium, {PADL} 2011, Austin, TX, USA, January 24-25, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6539}, pages = {1}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-18378-2\_1}, doi = {10.1007/978-3-642-18378-2\_1}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/padl/Kaivola11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/padl/KrajcevskiR11, author = {Pavel Krajcevski and John H. Reppy}, editor = {Ricardo Rocha and John Launchbury}, title = {A Declarative {API} for Particle Systems}, booktitle = {Practical Aspects of Declarative Languages - 13th International Symposium, {PADL} 2011, Austin, TX, USA, January 24-25, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6539}, pages = {130--144}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-18378-2\_12}, doi = {10.1007/978-3-642-18378-2\_12}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/padl/KrajcevskiR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/padl/MantadelisPJVB11, author = {Theofrastos Mantadelis and Koosha Paridel and Gerda Janssens and Yves Vanrompay and Yolande Berbers}, editor = {Ricardo Rocha and John Launchbury}, title = {Analysing a Publish/Subscribe System for Mobile Ad Hoc Networks with ProbLog}, booktitle = {Practical Aspects of Declarative Languages - 13th International Symposium, {PADL} 2011, Austin, TX, USA, January 24-25, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6539}, pages = {34--37}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-18378-2\_5}, doi = {10.1007/978-3-642-18378-2\_5}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/padl/MantadelisPJVB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/padl/MeraTLH11, author = {Edison Mera and Teresa Trigo and Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and Manuel V. Hermenegildo}, editor = {Ricardo Rocha and John Launchbury}, title = {Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs}, booktitle = {Practical Aspects of Declarative Languages - 13th International Symposium, {PADL} 2011, Austin, TX, USA, January 24-25, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6539}, pages = {38--53}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-18378-2\_6}, doi = {10.1007/978-3-642-18378-2\_6}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/padl/MeraTLH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/padl/Mooney11, author = {Raymond J. Mooney}, editor = {Ricardo Rocha and John Launchbury}, title = {Learning Language from Its Perceptual Context}, booktitle = {Practical Aspects of Declarative Languages - 13th International Symposium, {PADL} 2011, Austin, TX, USA, January 24-25, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6539}, pages = {2--4}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-18378-2\_2}, doi = {10.1007/978-3-642-18378-2\_2}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/padl/Mooney11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/padl/PetricekS11, author = {Tomas Petricek and Don Syme}, editor = {Ricardo Rocha and John Launchbury}, title = {Joinads: {A} Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming}, booktitle = {Practical Aspects of Declarative Languages - 13th International Symposium, {PADL} 2011, Austin, TX, USA, January 24-25, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6539}, pages = {205--219}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-18378-2\_17}, doi = {10.1007/978-3-642-18378-2\_17}, timestamp = {Wed, 06 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/padl/PetricekS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/padl/RedlEK11, author = {Christoph Redl and Thomas Eiter and Thomas Krennwallner}, editor = {Ricardo Rocha and John Launchbury}, title = {Declarative Belief Set Merging Using Merging Plans}, booktitle = {Practical Aspects of Declarative Languages - 13th International Symposium, {PADL} 2011, Austin, TX, USA, January 24-25, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6539}, pages = {99--114}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-18378-2\_10}, doi = {10.1007/978-3-642-18378-2\_10}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/padl/RedlEK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/padl/SalgueiroDBA11, author = {Pedro D. Salgueiro and Daniel Diaz and Isabel Brito and Salvador Abreu}, editor = {Ricardo Rocha and John Launchbury}, title = {Using Constraints for Intrusion Detection: The NeMODe System}, booktitle = {Practical Aspects of Declarative Languages - 13th International Symposium, {PADL} 2011, Austin, TX, USA, January 24-25, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6539}, pages = {115--129}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-18378-2\_11}, doi = {10.1007/978-3-642-18378-2\_11}, timestamp = {Fri, 10 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/padl/SalgueiroDBA11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/padl/SymePL11, author = {Don Syme and Tomas Petricek and Dmitry Lomov}, editor = {Ricardo Rocha and John Launchbury}, title = {The F{\#} Asynchronous Programming Model}, booktitle = {Practical Aspects of Declarative Languages - 13th International Symposium, {PADL} 2011, Austin, TX, USA, January 24-25, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6539}, pages = {175--189}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-18378-2\_15}, doi = {10.1007/978-3-642-18378-2\_15}, timestamp = {Wed, 06 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/padl/SymePL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/padl/VoellmyH11, author = {Andreas Voellmy and Paul Hudak}, editor = {Ricardo Rocha and John Launchbury}, title = {Nettle: Taking the Sting Out of Programming Network Routers}, booktitle = {Practical Aspects of Declarative Languages - 13th International Symposium, {PADL} 2011, Austin, TX, USA, January 24-25, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6539}, pages = {235--249}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-18378-2\_19}, doi = {10.1007/978-3-642-18378-2\_19}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/padl/VoellmyH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/padl/WielemakerC11, author = {Jan Wielemaker and V{\'{\i}}tor Santos Costa}, editor = {Ricardo Rocha and John Launchbury}, title = {On the Portability of Prolog Applications}, booktitle = {Practical Aspects of Declarative Languages - 13th International Symposium, {PADL} 2011, Austin, TX, USA, January 24-25, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6539}, pages = {69--83}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-18378-2\_8}, doi = {10.1007/978-3-642-18378-2\_8}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/padl/WielemakerC11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/padl/2011, editor = {Ricardo Rocha and John Launchbury}, title = {Practical Aspects of Declarative Languages - 13th International Symposium, {PADL} 2011, Austin, TX, USA, January 24-25, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6539}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-18378-2}, doi = {10.1007/978-3-642-18378-2}, isbn = {978-3-642-18377-5}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/padl/2011.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.