Abstract is missing.
- Testing of concurrent and imperative software using CLPElvira Albert, Puri Arenas, Miguel Gómez-Zamalloa. 1-8 [doi]
- Challenges in compiling CoqGreg Morrisett. 9 [doi]
- Description and evaluation of a generic design to integrate CLP and tabled executionJoaquín Arias, Manuel Carro. 10-23 [doi]
- Higher-order logic programming: an expressive language for representing qualitative preferencesAngelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis. 24-37 [doi]
- A framework for easing the development of applications embedding answer set programmingDavide Fuscà, Stefano Germano, Jessica Zangari, Marco Anastasio, Francesco Calimeri, Simona Perri. 38-49 [doi]
- Proving inductive validity of constrained inequalitiesTakahiro Nagao, Naoki Nishida. 50-61 [doi]
- Analysis of access control policy updates through narrowingClara Bertolissi, Jean-Marc Talbot, Didier Villevalois. 62-75 [doi]
- Strand spaces with choice via a process algebra semanticsFan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago. 76-89 [doi]
- Reducing the overhead of assertion run-time checks via static analysisNataliia Stulova, José F. Morales, Manuel V. Hermenegildo. 90-103 [doi]
- Exploration of language specifications by compilation to first-order logicSylvia Grewe, Sebastian Erdweg, Michael Raulf, Mira Mezini. 104-117 [doi]
- Actors may synchronize, safely!Elena Giachino, Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea. 118-131 [doi]
- Iterated process analysis over lattice-valued regular expressionsJan Midtgaard, Flemming Nielson, Hanne Riis Nielson. 132-145 [doi]
- Typechecking protocols with Mungo and StMungoDimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay. 146-159 [doi]
- Unification of program expressions with recursive bindingsManfred Schmidt-Schauß, David Sabel. 160-173 [doi]
- The Bang Calculus: an untyped lambda-calculus generalizing call-by-name and call-by-valueThomas Ehrhard, Giulio Guerrieri. 174-187 [doi]
- Effect-dependent transformations for concurrent programsNick Benton, Martin Hofmann 0001, Vivek Nigam. 188-201 [doi]
- Towards a framework for algorithm recognition in binary codeFrédéric Mesnard, Étienne Payet, Wim Vanhoof. 202-213 [doi]
- Language-integrated provenanceStefan Fehrenbach, James Cheney. 214-227 [doi]
- Demand-driven incremental object queriesYanhong A. Liu, Jon Brandvein, Scott D. Stoller, Bo Lin. 228-241 [doi]