| 2012 | A Declarative Approach for Software Modeling. Mayer Goldberg, Guy Wiener |
| 2012 | A Declarative Specification of Tree-Based Symbolic Arithmetic Computations. Paul Tarau |
| 2012 | A Segment-Swapping Approach for Executing Trapped Computations. Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
| 2012 | Contracts and Specifications for Functional Logic Programming. Sergio Antoy, Michael Hanus |
| 2012 | Distributed Policy Specification and Interpretation with Classified Advertisements. Nicholas Coleman |
| 2012 | Efficient Tabling of Structured Data Using Indexing and Program Transformation. Christian Theil Have, Henning Christiansen |
| 2012 | Handshaking in Kansas Lava Using Patch Logic. Andy Gill, Bowe Neuenschwander |
| 2012 | LearnPADS + + : Incremental Inference of Ad Hoc Data Formats. Kenny Qili Zhu, Kathleen Fisher, David Walker |
| 2012 | Make Things Now! Pragmatic Functional Programming in Haskell. Don Stewart |
| 2012 | Node-Based Connection Semantics for Equation-Based Object-Oriented Modeling Languages. David Broman, Henrik Nilsson |
| 2012 | Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation. Dario Campagna, Beata Sarna-Starosta, Tom Schrijvers |
| 2012 | Palovca: Describing and Executing Graph Algorithms in Haskell. Michael Lesniak |
| 2012 | Practical Aspects of Declarative Languages - 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings Claudio V. Russo, Neng-Fa Zhou |
| 2012 | Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools. Marcello Balduccini, Yuliya Lierler |
| 2012 | Recent Advances in Declarative Networking. Boon Thau Loo, Harjot Gill, Changbin Liu, Yun Mao, William R. Marczak, Micah Sherr, Anduo Wang, Wenchao Zhou |
| 2012 | Resource-Safe Systems Programming with Embedded Domain Specific Languages. Edwin C. Brady, Kevin Hammond |
| 2012 | Symbolic Execution of Concurrent Objects in CLP. Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa |
| 2012 | The Environment as an Argument - Context-Aware Functional Programming. Pedro M. N. Martins, Julie A. McCann, Susan Eisenbach |
| 2012 | The Kennedy-Warren Algorithm Revisited: Ordering Attribute Grammars. Jeroen Bransen, Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra |
| 2012 | Typing the Numeric Tower. Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, Matthias Felleisen |
| 2012 | Virtualizing Real-World Objects in FRP. Daniel Winograd-Cort, Hai Liu, Paul Hudak |
| 2012 | Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving. Yuliya Lierler, Shaden Smith, Miroslaw Truszczynski, Alex Westlund |