Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/padl/padl2011.bht:"
download as .bib file
@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}
}
a service of 
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 2024-05-26 20:37 CEST 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:
