Abstract is missing.
- On theorem proving for program checking: historical perspective and recent developmentsMaria Paola Bonacina. 1-12 [doi]
- Dimensions in program synthesisSumit Gulwani. 13-24 [doi]
- Graph queries through datalog optimizationsK. Tuncay Tekle, Michael Gorbovitski, Yanhong A. Liu. 25-34 [doi]
- Precise complexity analysis for efficient datalog queriesK. Tuncay Tekle, Yanhong A. Liu. 35-44 [doi]
- Deriving predicate statistics in datalogSenlin Liang, Michael Kifer. 45-56 [doi]
- Semantics-preserving translations between linear concurrent constraint programming and constraint handling rulesThierry Martinez. 57-66 [doi]
- A declarative approach to robust weighted Max-SATMiquel Bofill, Dídac Busquets, Mateu Villaret. 67-76 [doi]
- Equational axiomatization of call-by-name delimited controlYukiyoshi Kameyama, Asami Tanaka. 77-86 [doi]
- Functional derivation of a virtual machine for delimited continuationsKenichi Asai, Arisa Kitani. 87-98 [doi]
- Towards a jitting VM for prolog executionCarl Friedrich Bolz, Michael Leuschel, David Schneider. 99-108 [doi]
- HSS: a compiler for cascading style sheetsManuel Serrano. 109-118 [doi]
- Rewrite-based verification of XML updatesFlorent Jacquemard, Michaël Rusinowitch. 119-130 [doi]
- Declarative modeling of finite mathematicsPaul Tarau. 131-142 [doi]
- Generic record combinators with static type checkingWolfgang Jeltsch. 143-154 [doi]
- Two notions of sub-behaviour for session-based client/server systemsFranco Barbanera, Ugo de Liguoro. 155-164 [doi]
- Permissive-nominal logicGilles Dowek, Murdoch James Gabbay. 165-176 [doi]
- Relating nominal and higher-order abstract syntax specificationsAndrew Gacek. 177-186 [doi]
- A meta-programming approach to realizing dependently typed logic programmingZachary Snow, David Baelde, Gopalan Nadathur. 187-198 [doi]
- Tabling for transaction logicPaul Fodor, Michael Kifer. 199-208 [doi]
- Declarative workflows to efficiently manage flexible and advanced business processesRomain Demeyer, Maxime Van Assche, Ludovic Langevine, Wim Vanhoof. 209-218 [doi]
- Type inference in intuitionistic linear logicPatrick Baillot, Martin Hofmann. 219-230 [doi]
- Optimality for dynamic patternsThibaut Balabonski. 231-242 [doi]
- Typed and unambiguous pattern matching on strings using regular expressionsClaus Brabrand, Jakob G. Thomsen. 243-254 [doi]