Abstract is missing.
- How to Talk to a Human: The Semantic Web and the Clash of the TitansMassimo Marchiori. 1-14 [doi]
- CHESS: Systematic Stress Testing of Concurrent SoftwareMadan Musuvathi, Shaz Qadeer. 15-16 [doi]
- ARM: Automatic Rule MinerSlim Abdennadher, Abdellatif Olama, Noha Salem, Amira Thabet. 17-25 [doi]
- Constructing Consensus Logic ProgramsChiaki Sakama, Katsumi Inoue. 26-42 [doi]
- Supervising Offline Partial Evaluation of Logic Programs Using Online TechniquesMichael Leuschel, Stephen-John Craig, Daniel Elphick. 43-59 [doi]
- Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change GraphsGustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germán Vidal. 60-76 [doi]
- Towards Description and Optimization of Abstract Machines in an Extension of PrologJosé F. Morales, Manuel Carro, Manuel V. Hermenegildo. 77-93 [doi]
- Combining Different Proof Techniques for Verifying Information Flow SecurityHeiko Mantel, Henning Sudbrock, Tina Kraußer. 94-110 [doi]
- On the Automated Synthesis of Proof-Carrying Temporal Reference MonitorsSimon Winwood, Gerwin Klein, Manuel M. T. Chakravarty. 111-126 [doi]
- Synthesis of Asynchronous SystemsSven Schewe, Bernd Finkbeiner. 127-142 [doi]
- A Comparative Study of Algorithmic Debugging StrategiesJosep Silva. 143-159 [doi]
- A Program Transformation for Tracing Functional Logic ComputationsBernd Brassel, Sebastian Fischer, Frank Huch. 160-176 [doi]
- Automated Termination Analysis for Logic Programs by Term RewritingPeter Schneider-Kamp, Jürgen Giesl, Alexander Serebrenik, René Thiemann. 177-193 [doi]
- Detecting Non-termination of Term Rewriting Systems Using an Unfolding OperatorÉtienne Payet. 194-209 [doi]
- Polytool: Proving Termination Automatically Based on Polynomial InterpretationsManh Thang Nguyen, Danny De Schreye. 210-218 [doi]
- Grids: A Domain for Analyzing the Distribution of Numerical ValuesRoberto Bagnara, Katy Dobson, Patricia M. Hill, Matthew Mundell, Enea Zaffanella. 219-235 [doi]