Abstract is missing.
- Answer Set Programming in 2010: A Personal PerspectiveEnrico Pontelli. 1-3 [doi]
- An Introduction to Maude and Some of Its ApplicationsNarciso MartÃ-Oliet. 4-9 [doi]
- Efficient Application of Answer Set Programming for Advanced Data IntegrationNicola Leone, Francesco Ricca, Luca Agostino Rubino, Giorgio Terracina. 10-24 [doi]
- Implementing Query Answering for Hybrid MKNF Knowledge BasesAna Sofia Gomes, José Júlio Alferes, Terrance Swift. 25-39 [doi]
- An ASP-Based System for Team-Building in the Gioia-Tauro SeaportGiovanni Grasso, Salvatore Iiritano, Nicola Leone, Vincenzino Lio, Francesco Ricca, Francesco Scalise. 40-42 [doi]
- Explicitly Typed Exceptions for HaskellJosé Iborra. 43-57 [doi]
- Conversion by EvaluationMathieu Boespflug. 58-72 [doi]
- Skeleton Composition Using Remote DataMischa Dieterle, Thomas Horstmeyer, Rita Loogen. 73-87 [doi]
- Netlog, a Rule-Based Language for Distributed ProgrammingStéphane Grumbach, Fang Wang. 88-103 [doi]
- Similar Code Detection and Elimination for Erlang ProgramsHuiqing Li, Simon Thompson. 104-118 [doi]
- Static Detection of Race Conditions in ErlangMaria Christakis, Konstantinos F. Sagonas. 119-133 [doi]
- Automating Mathematical Program TransformationsAshish Agarwal, Sooraj Bhat, Alexander Gray, Ignacio E. Grossmann. 134-148 [doi]
- ActionScript In-Lined Reference Monitoring in PrologMeera Sridhar, Kevin W. Hamlen. 149-151 [doi]
- An Ode to ArrowsHai Liu, Paul Hudak. 152-166 [doi]
- Lazy Combinators for Executable Specifications of General Attribute GrammarsRahmatullah Hafiz, Richard A. Frost. 167-182 [doi]
- A Domain-Specific Language Approach to Protocol Stack ImplementationYan Wang, Verónica Gaspes. 183-185 [doi]
- First-Order Interactive ProgrammingRoly Perera. 186-200 [doi]
- An ER-Based Framework for Declarative Web ProgrammingMichael Hanus, Sven Koschnicke. 201-216 [doi]
- Lazy Explanations for Constraint PropagatorsIan P. Gent, Ian Miguel, Neil C. A. Moore. 217-233 [doi]
- On the Implementation of the CLP(::::B::::::::N::::/mathcal BN) LanguageVÃtor Santos Costa. 234-248 [doi]
- Compact Lists for Tabled EvaluationJoão Raimundo, Ricardo Rocha. 249-263 [doi]
- A Simple and Efficient Implementation of Concurrent Local TablingRui Marques, Terrance Swift, José C. Cunha. 264-278 [doi]
- An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of AlternativesMiguel Areias, Ricardo Rocha. 279-293 [doi]
- Prospective Storytelling AgentsGonçalo Lopes, LuÃs Moniz Pereira. 294-296 [doi]