![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
19th PADL 2017: Paris, France
- Yuliya Lierler, Walid Taha:
Practical Aspects of Declarative Languages - 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings. Lecture Notes in Computer Science 10137, Springer 2017, ISBN 978-3-319-51675-2 - Sergio Antoy, Michael Hanus
:
Eliminating Irrelevant Non-determinism in Functional Logic Programs. 1-18 - Neng-Fa Zhou, Jonathan Fruhman:
Canonicalizing High-Level Constructs in Picat. 19-33 - Besik Dundua, Temur Kutsia
, Klaus Reisenberger-Hagmayer:
An Overview of PρLog. 34-49 - Jakob Rath, Christoph Redl:
Integrating Answer Set Programming with Object-Oriented Languages. 50-67 - Christoph Redl:
Extending Answer Set Programs with Interpreted Functions as First-Class Citizens. 68-85 - Joost Vennekens
:
Lowering the Learning Curve for Declarative Programming: A Python API for the IDP System. 86-102 - Jonathan Fowler, Graham Hutton
:
Failing Faster: Overlapping Patterns for Property-Based Testing. 103-119 - Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau:
Boltzmann Samplers for Closed Simply-Typed Lambda Terms. 120-135 - Jules Hedges, Paulo Oliva, Evguenia Shprits, Viktor Winschel, Philipp Zahn:
Selection Equilibria of Higher-Order Games. 136-151 - Stefania Costantini, Giovanni De Gasperis
, Giulio Nazzicone:
DALI for Cognitive Robotics: Principles and Prototype Implementation. 152-162 - Henrik Nilsson
, Guerric Chupin:
Funky Grooves: Declarative Programming of Full-Fledged Musical Applications. 163-172 - Geoffrey Mainland
:
A Domain-Specific Language for Software-Defined Radio. 173-188 - Felix S. Klock II:
A Declarative DSL for Customizing ASCII Art. 189-197 - Theofrastos Mantadelis
, Ricardo Rocha
:
Using Iterative Deepening for Probabilistic Logic Inference. 198-213
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.