default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th PADL 2010: Madrid, Spain
- Manuel Carro
, Ricardo Peña:
Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings. Lecture Notes in Computer Science 5937, Springer 2010, ISBN 978-3-642-11502-8
Invited Papers
- Enrico Pontelli:
Answer Set Programming in 2010: A Personal Perspective. 1-3 - Narciso Martí-Oliet:
An Introduction to Maude and Some of Its Applications. 4-9
Non-Monotonic Reasoning - Answer Set Programming
- Nicola Leone, Francesco Ricca, Luca Agostino Rubino, Giorgio Terracina:
Efficient Application of Answer Set Programming for Advanced Data Integration. 10-24 - Ana Sofia Gomes, José Júlio Alferes, Terrance Swift:
Implementing Query Answering for Hybrid MKNF Knowledge Bases. 25-39 - Giovanni Grasso, Salvatore Iiritano, Nicola Leone, Vincenzino Lio, Francesco Ricca, Francesco Scalise:
An ASP-Based System for Team-Building in the Gioia-Tauro Seaport. 40-42
Types
- José Iborra:
Explicitly Typed Exceptions for Haskell. 43-57 - Mathieu Boespflug:
Conversion by Evaluation. 58-72
Parallelism and Distribution
- Mischa Dieterle, Thomas Horstmeyer, Rita Loogen:
Skeleton Composition Using Remote Data. 73-87 - Stéphane Grumbach, Fang Wang:
Netlog, a Rule-Based Language for Distributed Programming. 88-103
Code Quality Assurance
- Huiqing Li, Simon J. Thompson:
Similar Code Detection and Elimination for Erlang Programs. 104-118 - Maria Christakis, Konstantinos Sagonas:
Static Detection of Race Conditions in Erlang. 119-133 - Ashish Agarwal, Sooraj Bhat, Alexander G. Gray, Ignacio E. Grossmann:
Automating Mathematical Program Transformations. 134-148 - Meera Sridhar, Kevin W. Hamlen:
ActionScript In-Lined Reference Monitoring in Prolog. 149-151
Domain Specific Languages
- Hai Liu, Paul Hudak:
An Ode to Arrows. 152-166 - Rahmatullah Hafiz, Richard A. Frost:
Lazy Combinators for Executable Specifications of General Attribute Grammars. 167-182 - Yan Wang, Verónica Gaspes:
A Domain-Specific Language Approach to Protocol Stack Implementation. 183-185
Programming Aids
- Roly Perera:
First-Order Interactive Programming. 186-200 - Michael Hanus, Sven Koschnicke:
An ER-Based Framework for Declarative Web Programming. 201-216
Constraints
- Ian P. Gent, Ian Miguel, Neil C. A. Moore:
Lazy Explanations for Constraint Propagators. 217-233 - Vítor Santos Costa:
On the Implementation of the CLP(BN\mathcal BN) Language. 234-248
Tabling - Agents
- João Raimundo, Ricardo Rocha:
Compact Lists for Tabled Evaluation. 249-263 - Rui Marques, Terrance Swift, José C. Cunha:
A Simple and Efficient Implementation of Concurrent Local Tabling. 264-278 - Miguel Areias, Ricardo Rocha:
An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives. 279-293 - Gonçalo Lopes, Luís Moniz Pereira:
Prospective Storytelling Agents. 294-296
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-04 20:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
