default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14th PADL 2012: Philadelphia, PA, USA
- Claudio V. Russo, Neng-Fa Zhou:
Practical Aspects of Declarative Languages - 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings. Lecture Notes in Computer Science 7149, Springer 2012, ISBN 978-3-642-27693-4 - Boon Thau Loo, Harjot Gill, Changbin Liu, Yun Mao, William R. Marczak, Micah Sherr, Anduo Wang, Wenchao Zhou:
Recent Advances in Declarative Networking. 1-16 - Don Stewart:
Make Things Now! Pragmatic Functional Programming in Haskell. 17 - Mayer Goldberg, Guy Wiener:
A Declarative Approach for Software Modeling. 18-32 - Sergio Antoy, Michael Hanus
:
Contracts and Specifications for Functional Logic Programming. 33-47 - Pedro M. N. Martins, Julie A. McCann, Susan Eisenbach:
The Environment as an Argument - Context-Aware Functional Programming. 48-62 - Yuliya Lierler, Shaden Smith, Miroslaw Truszczynski, Alex Westlund:
Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving. 63-77 - Marcello Balduccini, Yuliya Lierler:
Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools. 78-92 - Christian Theil Have, Henning Christiansen:
Efficient Tabling of Structured Data Using Indexing and Program Transformation. 93-107 - Dario Campagna, Beata Sarna-Starosta, Tom Schrijvers:
Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation. 108-122 - Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa:
Symbolic Execution of Concurrent Objects in CLP. 123-137 - Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo:
A Segment-Swapping Approach for Executing Trapped Computations. 138-152 - Michael Lesniak:
Palovca: Describing and Executing Graph Algorithms in Haskell. 153-167 - Kenny Qili Zhu, Kathleen Fisher, David Walker:
LearnPADS + + : Incremental Inference of Ad Hoc Data Formats. 168-182 - Jeroen Bransen, Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra:
The Kennedy-Warren Algorithm Revisited: Ordering Attribute Grammars. 183-197 - Nicholas Coleman:
Distributed Policy Specification and Interpretation with Classified Advertisements. 198-211 - Andy Gill, Bowe Neuenschwander:
Handshaking in Kansas Lava Using Patch Logic. 212-226 - Daniel Winograd-Cort, Hai Liu, Paul Hudak:
Virtualizing Real-World Objects in FRP. 227-241 - Edwin C. Brady, Kevin Hammond:
Resource-Safe Systems Programming with Embedded Domain Specific Languages. 242-257 - David Broman, Henrik Nilsson:
Node-Based Connection Semantics for Equation-Based Object-Oriented Modeling Languages. 258-272 - Paul Tarau:
A Declarative Specification of Tree-Based Symbolic Arithmetic Computations. 273-288 - Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, Matthias Felleisen:
Typing the Numeric Tower. 289-303
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 2026-10-17 00:57 CEST 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, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
