Librería Samer Atenea
Librería Aciertas (Toledo)
Kálamo Books
Librería Perelló (Valencia)
Librería Elías (Asturias)
Donde los libros
Librería Kolima (Madrid)
Librería Proteo (Málaga)
Invited Papers.- Answer Set Programming in 2010: A Personal Perspective.- An Introduction to Maude and Some of Its Applications.- Non-Monotonic Reasoning - Answer Set Programming.- Efficient Application of Answer Set Programming for Advanced Data Integration.- Implementing Query Answering for Hybrid MKNF Knowledge Bases.- An ASP-Based System for Team-Building in the Gioia-Tauro Seaport.- Types.- Explicitly Typed Exceptions for Haskell.- Conversion by Evaluation.- Parallelism and Distribution.- Skeleton Composition Using Remote Data.- Netlog, a Rule-Based Language for Distributed Programming.- Code Quality Assurance.- Similar Code Detection and Elimination for Erlang Programs.- Static Detection of Race Conditions in Erlang.- Automating Mathematical Program Transformations.- ActionScript In-Lined Reference Monitoring in Prolog.- Domain Specific Languages.- An Ode to Arrows.- Lazy Combinators for Executable Specifications of General Attribute Grammars.- A Domain-Specific Language Approach to Protocol Stack Implementation.- Programming Aids.- First-Order Interactive Programming.- An ER-Based Framework for Declarative Web Programming.- Constraints.- Lazy Explanations for Constraint Propagators.- On the Implementation of the CLP( ) Language.- Tabling - Agents.- Compact Lists for Tabled Evaluation.- A Simple and Efficient Implementation of Concurrent Local Tabling.- An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives.- Prospective Storytelling Agents.
