default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID17th PADL 2015: Portland, OR, USA
- Enrico Pontelli, Tran Cao Son:
Practical Aspects of Declarative Languages - 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings. Lecture Notes in Computer Science 9131, Springer 2015, ISBN 978-3-319-19685-5 - Marcello Balduccini, Sarah Kushner, Jacquelin Speck:
Ontology-Driven Data Semantics Discovery for Cyber-Security. 1-16 - Reza Basseda, Michael Kifer:
State Space Planning Using Transaction Logic. 17-33 - Flávio Cruz, Ricardo Rocha
:
On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities. 34-49 - Sergii Dymchenko, Mariia Mykhailova:
Declaratively Solving Google Code Jam Problems with Picat. 50-57 - Simon Fowler, Loïc Denuzière, Adam Granicz:
Reactive Single-Page Applications with Dynamic Dataflow. 58-73 - Michael Hanus:
CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry. 74-89 - Dimitar Sht. Shterionov, Gerda Janssens:
Implementation and Performance of Probabilistic Inference Pipelines. 90-104 - Salvador Tamarit, Guillermo Vigueras, Manuel Carro, Julio Mariño:
A Haskell Implementation of a Rule-Based Program Transformation for C Programs. 105-114 - Paul Tarau:
On Logic Programming Representations of Lambda Terms: de Bruijn Indices, Compression, Type Inference, Combinatorial Generation, Normalization. 115-131 - Benoît Vaugon, Philippe Wang, Emmanuel Chailloux:
Programming Microcontrollers in OCaml: The OCaPIC Project. 132-148
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.
last updated on 2025-02-26 20:52 CET 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:
