PADL C

25 papers

YearTitle / Authors
2010A Domain-Specific Language Approach to Protocol Stack Implementation.
Yan Wang, Verónica Gaspes
2010A Simple and Efficient Implementation of Concurrent Local Tabling.
Rui Marques, Terrance Swift, José C. Cunha
2010ActionScript In-Lined Reference Monitoring in Prolog.
Meera Sridhar, Kevin W. Hamlen
2010An ASP-Based System for Team-Building in the Gioia-Tauro Seaport.
Giovanni Grasso, Salvatore Iiritano, Nicola Leone, Vincenzino Lio, Francesco Ricca, Francesco Scalise
2010An ER-Based Framework for Declarative Web Programming.
Michael Hanus, Sven Koschnicke
2010An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives.
Miguel Areias, Ricardo Rocha
2010An Introduction to Maude and Some of Its Applications.
Narciso Martí-Oliet
2010An Ode to Arrows.
Hai Liu, Paul Hudak
2010Answer Set Programming in 2010: A Personal Perspective.
Enrico Pontelli
2010Automating Mathematical Program Transformations.
Ashish Agarwal, Sooraj Bhat, Alexander G. Gray, Ignacio E. Grossmann
2010Compact Lists for Tabled Evaluation.
João Raimundo, Ricardo Rocha
2010Conversion by Evaluation.
Mathieu Boespflug
2010Efficient Application of Answer Set Programming for Advanced Data Integration.
Nicola Leone, Francesco Ricca, Luca Agostino Rubino, Giorgio Terracina
2010Explicitly Typed Exceptions for Haskell.
José Iborra
2010First-Order Interactive Programming.
Roly Perera
2010Implementing Query Answering for Hybrid MKNF Knowledge Bases.
Ana Sofia Gomes, José Júlio Alferes, Terrance Swift
2010Lazy Combinators for Executable Specifications of General Attribute Grammars.
Rahmatullah Hafiz, Richard A. Frost
2010Lazy Explanations for Constraint Propagators.
Ian P. Gent, Ian Miguel, Neil C. A. Moore
2010Netlog, a Rule-Based Language for Distributed Programming.
Stéphane Grumbach, Fang Wang
2010On the Implementation of the CLP(
Vítor Santos Costa
2010Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings
Manuel Carro, Ricardo Peña
2010Prospective Storytelling Agents.
Gonçalo Lopes, Luís Moniz Pereira
2010Similar Code Detection and Elimination for Erlang Programs.
Huiqing Li, Simon J. Thompson
2010Skeleton Composition Using Remote Data.
Mischa Dieterle, Thomas Horstmeyer, Rita Loogen
2010Static Detection of Race Conditions in Erlang.
Maria Christakis, Konstantinos Sagonas