| 2010 | A declarative approach to robust weighted Max-SAT. Miquel Bofill, Dídac Busquets, Mateu Villaret |
| 2010 | A meta-programming approach to realizing dependently typed logic programming. Zachary Snow, David Baelde, Gopalan Nadathur |
| 2010 | Declarative modeling of finite mathematics. Paul Tarau |
| 2010 | Declarative workflows to efficiently manage flexible and advanced business processes. Romain Demeyer, Maxime Van Assche, Ludovic Langevine, Wim Vanhoof |
| 2010 | Deriving predicate statistics in datalog. Senlin Liang, Michael Kifer |
| 2010 | Dimensions in program synthesis. Sumit Gulwani |
| 2010 | Equational axiomatization of call-by-name delimited control. Yukiyoshi Kameyama, Asami Tanaka |
| 2010 | Functional derivation of a virtual machine for delimited continuations. Kenichi Asai, Arisa Kitani |
| 2010 | Generic record combinators with static type checking. Wolfgang Jeltsch |
| 2010 | Graph queries through datalog optimizations. K. Tuncay Tekle, Michael Gorbovitski, Yanhong A. Liu |
| 2010 | HSS: a compiler for cascading style sheets. Manuel Serrano |
| 2010 | On theorem proving for program checking: historical perspective and recent developments. Maria Paola Bonacina |
| 2010 | Optimality for dynamic patterns. Thibaut Balabonski |
| 2010 | Permissive-nominal logic. Gilles Dowek, Murdoch James Gabbay |
| 2010 | Precise complexity analysis for efficient datalog queries. K. Tuncay Tekle, Yanhong A. Liu |
| 2010 | Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria Temur Kutsia, Wolfgang Schreiner, Maribel Fernández |
| 2010 | Relating nominal and higher-order abstract syntax specifications. Andrew Gacek |
| 2010 | Rewrite-based verification of XML updates. Florent Jacquemard, Michaël Rusinowitch |
| 2010 | Semantics-preserving translations between linear concurrent constraint programming and constraint handling rules. Thierry Martinez |
| 2010 | Tabling for transaction logic. Paul Fodor, Michael Kifer |
| 2010 | Towards a jitting VM for prolog execution. Carl Friedrich Bolz, Michael Leuschel, David Schneider |
| 2010 | Two notions of sub-behaviour for session-based client/server systems. Franco Barbanera, Ugo de'Liguoro |
| 2010 | Type inference in intuitionistic linear logic. Patrick Baillot, Martin Hofmann |
| 2010 | Typed and unambiguous pattern matching on strings using regular expressions. Claus Brabrand, Jakob G. Thomsen |