Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Maria Christakis, Konstantinos Sagonas |
Detection of Asynchronous Message Passing Errors Using Static Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings, pp. 5-18, 2011, Springer, 978-3-642-18377-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Roope Kaivola |
Intel CoreTM i7 Processor Execution Engine Validation in a Functional Language Based Formal Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings, pp. 1, 2011, Springer, 978-3-642-18377-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Timothy L. Hinrichs |
Plato: A Compiler for Interactive Web Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings, pp. 54-68, 2011, Springer, 978-3-642-18377-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Neil C. C. Brown |
Combinators for Message-Passing in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings, pp. 19-33, 2011, Springer, 978-3-642-18377-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Don Syme, Tomas Petricek 0001, Dmitry Lomov |
The F# Asynchronous Programming Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings, pp. 175-189, 2011, Springer, 978-3-642-18377-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Theofrastos Mantadelis, Koosha Paridel, Gerda Janssens, Yves Vanrompay, Yolande Berbers |
Analysing a Publish/Subscribe System for Mobile Ad Hoc Networks with ProbLog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings, pp. 34-37, 2011, Springer, 978-3-642-18377-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Pedro D. Salgueiro, Daniel Diaz 0001, Isabel Brito 0001, Salvador Abreu |
Using Constraints for Intrusion Detection: The NeMODe System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings, pp. 115-129, 2011, Springer, 978-3-642-18377-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Caballero 0001, Yolanda García-Ruiz, Fernando Sáenz-Pérez |
Integrating XPath with the Functional-Logic Language Toy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings, pp. 145-159, 2011, Springer, 978-3-642-18377-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tomas Petricek 0001, Don Syme |
Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings, pp. 205-219, 2011, Springer, 978-3-642-18377-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Eric Holk, William E. Byrd, Jeremiah Willcock, Torsten Hoefler, Arun Chauhan 0001, Andrew Lumsdaine |
Kanor - A Declarative Language for Explicit Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings, pp. 190-204, 2011, Springer, 978-3-642-18377-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Edison Mera, Teresa Trigo, Pedro López-García 0001, Manuel V. Hermenegildo |
Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings, pp. 38-53, 2011, Springer, 978-3-642-18377-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Redl, Thomas Eiter, Thomas Krennwallner |
Declarative Belief Set Merging Using Merging Plans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings, pp. 99-114, 2011, Springer, 978-3-642-18377-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Voellmy, Paul Hudak |
Nettle: Taking the Sting Out of Programming Network Routers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings, pp. 235-249, 2011, Springer, 978-3-642-18377-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Paul Fodor, Darko Anicic, Sebastian Rudolph |
Results on Out-of-Order Event Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings, pp. 220-234, 2011, Springer, 978-3-642-18377-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Chaitanya Belwal, Albert M. K. Cheng |
Determining Actual Response Time in P-FRP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings, pp. 250-264, 2011, Springer, 978-3-642-18377-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dominique Devriese, Frank Piessens |
Explicitly Recursive Grammar Combinators - A Better Model for Shallow Parser DSLs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings, pp. 84-98, 2011, Springer, 978-3-642-18377-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jan Wielemaker, Vítor Santos Costa |
On the Portability of Prolog Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings, pp. 69-83, 2011, Springer, 978-3-642-18377-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jan Christiansen |
Sloth - A Tool for Checking Minimal-Strictness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings, pp. 160-174, 2011, Springer, 978-3-642-18377-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Krajcevski, John H. Reppy |
A Declarative API for Particle Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings, pp. 130-144, 2011, Springer, 978-3-642-18377-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yan Wang 0077, Verónica Gaspes |
A Domain-Specific Language Approach to Protocol Stack Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings, pp. 183-185, 2010, Springer, 978-3-642-11502-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | José Iborra |
Explicitly Typed Exceptions for Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings, pp. 43-57, 2010, Springer, 978-3-642-11502-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Enrico Pontelli |
Answer Set Programming in 2010: A Personal Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings, pp. 1-3, 2010, Springer, 978-3-642-11502-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mathieu Boespflug |
Conversion by Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings, pp. 58-72, 2010, Springer, 978-3-642-11502-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Grumbach, Fang Wang |
Netlog, a Rule-Based Language for Distributed Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings, pp. 88-103, 2010, Springer, 978-3-642-11502-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Grasso 0001, Salvatore Iiritano, Nicola Leone, Vincenzino Lio, Francesco Ricca, Francesco Scalise |
An ASP-Based System for Team-Building in the Gioia-Tauro Seaport. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings, pp. 40-42, 2010, Springer, 978-3-642-11502-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | João Raimundo, Ricardo Rocha 0001 |
Compact Lists for Tabled Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings, pp. 249-263, 2010, Springer, 978-3-642-11502-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Rui Marques, Terrance Swift, José C. Cunha |
A Simple and Efficient Implementation of Concurrent Local Tabling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings, pp. 264-278, 2010, Springer, 978-3-642-11502-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ian P. Gent, Ian Miguel, Neil C. A. Moore |
Lazy Explanations for Constraint Propagators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings, pp. 217-233, 2010, Springer, 978-3-642-11502-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Narciso Martí-Oliet |
An Introduction to Maude and Some of Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings, pp. 4-9, 2010, Springer, 978-3-642-11502-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hai Liu 0012, Paul Hudak |
An Ode to Arrows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings, pp. 152-166, 2010, Springer, 978-3-642-11502-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Gonçalo Lopes, Luís Moniz Pereira |
Prospective Storytelling Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings, pp. 294-296, 2010, Springer, 978-3-642-11502-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Roly Perera |
First-Order Interactive Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings, pp. 186-200, 2010, Springer, 978-3-642-11502-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Maria Christakis, Konstantinos Sagonas |
Static Detection of Race Conditions in Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings, pp. 119-133, 2010, Springer, 978-3-642-11502-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mischa Dieterle, Thomas Horstmeyer, Rita Loogen |
Skeleton Composition Using Remote Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings, pp. 73-87, 2010, Springer, 978-3-642-11502-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Rahmatullah Hafiz, Richard A. Frost |
Lazy Combinators for Executable Specifications of General Attribute Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings, pp. 167-182, 2010, Springer, 978-3-642-11502-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Huiqing Li, Simon J. Thompson |
Similar Code Detection and Elimination for Erlang Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings, pp. 104-118, 2010, Springer, 978-3-642-11502-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Miguel Areias 0001, Ricardo Rocha 0001 |
An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings, pp. 279-293, 2010, Springer, 978-3-642-11502-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hanus, Sven Koschnicke |
An ER-Based Framework for Declarative Web Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings, pp. 201-216, 2010, Springer, 978-3-642-11502-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Nicola Leone, Francesco Ricca, Luca Agostino Rubino, Giorgio Terracina |
Efficient Application of Answer Set Programming for Advanced Data Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings, pp. 10-24, 2010, Springer, 978-3-642-11502-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ashish Agarwal, Sooraj Bhat, Alexander G. Gray, Ignacio E. Grossmann |
Automating Mathematical Program Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings, pp. 134-148, 2010, Springer, 978-3-642-11502-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Vítor Santos Costa |
On the Implementation of the CLP(BN\mathcal BN) Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings, pp. 234-248, 2010, Springer, 978-3-642-11502-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ana Sofia Gomes, José Júlio Alferes, Terrance Swift |
Implementing Query Answering for Hybrid MKNF Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings, pp. 25-39, 2010, Springer, 978-3-642-11502-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Meera Sridhar, Kevin W. Hamlen |
ActionScript In-Lined Reference Monitoring in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings, pp. 149-151, 2010, Springer, 978-3-642-11502-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Carro, Ricardo Peña (eds.) |
Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![Springer, 978-3-642-11502-8 The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | David J. Duke, Rita Borgo, Malcolm Wallace, Colin Runciman |
Huge Data But Small Programs: Visualization Design via Multiple Embedded DSLs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings, pp. 31-45, 2009, Springer, 978-3-540-92994-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Carl Eastlund, Matthias Felleisen |
Toward a Practical Module System for ACL2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings, pp. 46-60, 2009, Springer, 978-3-540-92994-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Paul Tarau, Arun K. Majumdar |
Interoperating Logic Engines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings, pp. 137-151, 2009, Springer, 978-3-540-92994-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Prolog language extensions, logic engines, semantics of metaprogramming constructs, generalized iterators, agent oriented programming language constructs |
1 | Anduo Wang, Prithwish Basu, Boon Thau Loo, Oleg Sokolsky |
Declarative Network Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings, pp. 61-75, 2009, Springer, 978-3-540-92994-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
network protocol verification, theorem proving, domain-specific languages, Declarative networking |
1 | Jorge Costa, Ricardo Rocha 0001 |
One Table Fits All. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings, pp. 195-208, 2009, Springer, 978-3-540-92994-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Table Space, Implementation, Tabling Logic Programming |
1 | Michael Hanus, Christof Kluß |
Declarative Programming of User Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings, pp. 16-30, 2009, Springer, 978-3-540-92994-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Luís Moniz Pereira, Alexandre Miguel Pinto |
Layered Models Top-Down Querying of Normal Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings, pp. 254-268, 2009, Springer, 978-3-540-92994-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Smodels, XSB-XASP, Semantics, Relevance |
1 | Ketil Malde, Bryan O'Sullivan |
Using Bloom Filters for Large Scale Gene Sequence Analysis in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings, pp. 183-194, 2009, Springer, 978-3-540-92994-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | António Porto |
High-Level Interaction with Relational Databases in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings, pp. 152-167, 2009, Springer, 978-3-540-92994-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Andy Gill, Terrance Swift (eds.) |
Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![Springer, 978-3-540-92994-9 The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Juan Antonio Navarro Pérez, Andrey Rybalchenko |
Operational Semantics for Declarative Networking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings, pp. 76-90, 2009, Springer, 978-3-540-92994-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
distributed systems, programming language semantics, Declarative networking |
1 | Dang-Vien Tran, Hoang-Khoi Nguyen, Enrico Pontelli, Tran Cao Son |
Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings, pp. 239-253, 2009, Springer, 978-3-540-92994-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Conformant Planning, Planning, Reasoning about Actions |
1 | Atef Suleiman, John Miller |
Implementing Thread Cancellation in Multithreaded Prolog Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings, pp. 122-136, 2009, Springer, 978-3-540-92994-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
concurrency, Prolog, threads |
1 | Paulo Moura |
Secure Implementation of Meta-predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings, pp. 269-283, 2009, Springer, 978-3-540-92994-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
meta-predicates, security, Logic-programming |
1 | Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo |
Towards a Complete Scheme for Tabled Execution Based on Program Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings, pp. 224-238, 2009, Springer, 978-3-540-92994-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Continuation-call tabling, Performance, Program transformation, Implementation, Tabled logic programming |
1 | David Zook, Emir Pasalic, Beata Sarna-Starosta |
Typed Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings, pp. 168-182, 2009, Springer, 978-3-540-92994-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Meta-compilation, Type System, Datalog, Deductive Databases |
1 | Qian Xi, Kathleen Fisher, David Walker 0001, Kenny Qili Zhu |
Ad Hoc Data and the Token Ambiguity Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings, pp. 91-106, 2009, Springer, 978-3-540-92994-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Paulo Moura, Ricardo Rocha 0001, Sara C. Madeira |
High Level Thread-Based Competitive Or-Parallelism in Logtalk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings, pp. 107-121, 2009, Springer, 978-3-540-92994-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
speculative threading, implementation, Or-parallelism |
1 | Roman Leshchinskiy |
Recycle Your Arrays! ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings, pp. 209-223, 2009, Springer, 978-3-540-92994-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Array Programming, Optimisation, Functional Programming, Deforestation |
1 | Luís Moniz Pereira, Pierangelo Dell'Acqua, Gonçalo Lopes |
On Preferring and Inspecting Abductive Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings, pp. 1-15, 2009, Springer, 978-3-540-92994-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
XSB-Prolog, Smodels, Logic Programming, Preferences, Abduction |
1 | Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008., pp. 230-247, 2008, Springer, 978-3-540-77441-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
High-level Implementation, Parallelism, Virtual Machines |
1 | Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Cláudio Silva 0001, Ricardo Rocha 0001 |
An Improved Continuation Call-Based Implementation of Tabling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008., pp. 197-213, 2008, Springer, 978-3-540-77441-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Performance, Program transformation, Implementation, Tabled logic programming |
1 | Guillem Marpons-Ucero, Julio Mariño-Carballo, Manuel Carro, Ángel Herranz-Nieva, Juan José Moreno-Navarro, Lars-Åke Fredlund |
Automatic Coding Rule Conformance Checking Using Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008., pp. 18-34, 2008, Springer, 978-3-540-77441-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Coding rule checking, Declarative domain-specific languages and applications, Logic programming, Programming environments |
1 | Paulo Moura, Paul Crocker, Paulo Nunes |
High-Level Multi-threading Programming in Logtalk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008., pp. 265-281, 2008, Springer, 978-3-540-77441-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
concurrency, logic-programming, threads |
1 | Jost Berthold, Abyd Al Zain, Hans-Wolfgang Loidl |
Scheduling Light-Weight Parallelism in ArTCoP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008., pp. 214-229, 2008, Springer, 978-3-540-77441-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
scheduling, Parallel computation, functional programming |
1 | Laleh Mousavi Eshkevari, Venera Arnaoudova, Constantinos Constantinides |
Comprehension and Dependency Analysis of Aspect-Oriented Programs through Declarative Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008., pp. 35-52, 2008, Springer, 978-3-540-77441-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
declarative reasoning, AspectJ programming language, static analysis, aspect-oriented programming, Program comprehension, dependency analysis |
1 | Philip T. Cox, Patrick K. Nicholson |
Unification of Arrays in Spreadsheets with Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008., pp. 100-115, 2008, Springer, 978-3-540-77441-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
logic programming, Spreadsheet, unification, array |
1 | Sebastian Brand, Gregory J. Duck, Jakob Puchinger, Peter J. Stuckey |
Flexible, Rule-Based Constraint Model Linearisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008., pp. 68-83, 2008, Springer, 978-3-540-77441-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Martin Hirzel, Nathaniel Nystrom, Bard Bloom, Jan Vitek |
Matchete: Paths through the Pattern Matching Jungle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008., pp. 150-166, 2008, Springer, 978-3-540-77441-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
binary data formats, Java, Pattern matching, XPath, regular expressions |
1 | George Giorgidze, Henrik Nilsson |
Switched-On Yampa. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008., pp. 282-298, 2008, Springer, 978-3-540-77441-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
synchronous dataflow languages, hybrid systems, computer music, Functional Reactive Programming |
1 | Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer |
Model-Based Testing of Thin-Client Web Applications and Navigation Input. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008., pp. 299-315, 2008, Springer, 978-3-540-77441-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Braßel, Michael Hanus, Marion Müller |
High-Level Database Programming in Curry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008., pp. 316-332, 2008, Springer, 978-3-540-77441-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Paul Hudak, David Scott Warren (eds.) |
Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![Springer, 978-3-540-77441-9 The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ralph Becket, Zoltan Somogyi |
DCGs + Memoing = Packrat Parsing but Is It Worth It? ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008., pp. 182-196, 2008, Springer, 978-3-540-77441-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
packrat, recursive descent, DCG, memoing, parsing, tabling, Mercury |
1 | John Launchbury |
Industrial Functional Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008., pp. 1, 2008, Springer, 978-3-540-77441-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Gabriele Keller, Hugh Chaffey-Millar, Manuel M. T. Chakravarty, Don Stewart, Christopher Barner-Kowollik |
Specialising Simulator Generators for High-Performance Monte-Carlo Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008., pp. 116-132, 2008, Springer, 978-3-540-77441-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sathiamoorthy Subbarayan |
Efficient Reasoning for Nogoods in Constraint Solvers with BDDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008., pp. 53-67, 2008, Springer, 978-3-540-77441-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mary F. Fernández, Kathleen Fisher, J. Nathan Foster, Michael Greenberg 0002, Yitzhak Mandelbaum |
A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008., pp. 133-149, 2008, Springer, 978-3-540-77441-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Moritz Y. Becker, Sebastian Nanz |
The Role of Abduction in Declarative Authorization Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008., pp. 84-99, 2008, Springer, 978-3-540-77441-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
authorization language, access control, Datalog, abduction |
1 | Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Thomas Moniot, Philippe Wang |
Certified Development Tools Implementation in Objective Caml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008., pp. 2-17, 2008, Springer, 978-3-540-77441-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Tests measurement, Civil avionics, Functional programming, Code coverage, Objective Caml |
1 | Jost Berthold, Mischa Dieterle, Rita Loogen, Steffen Priebe |
Hierarchical Master-Worker Skeletons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008., pp. 248-264, 2008, Springer, 978-3-540-77441-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Richard A. Frost, Rahmatullah Hafiz, Paul Callaghan |
Parser Combinators for Ambiguous Left-Recursive Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008., pp. 167-181, 2008, Springer, 978-3-540-77441-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
left recursion, natural-language parsing, functional programming, ambiguity, Parser combinators |
1 | Beata Sarna-Starosta, C. R. Ramakrishnan 0001 |
Compiling Constraint Handling Rules for Efficient Tabled Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007., pp. 170-184, 2007, Springer, 978-3-540-69608-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Per Gustafsson, Konstantinos Sagonas |
Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007., pp. 94-108, 2007, Springer, 978-3-540-69608-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Takeshi Morimoto, Yasunao Takano, Hideya Iwasaki |
Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007., pp. 65-79, 2007, Springer, 978-3-540-69608-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
intermediate results, purely functional data structures, improving sequences, lazy evaluation |
1 | Claudio V. Russo |
The Joins Concurrency Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007., pp. 260-274, 2007, Springer, 978-3-540-69608-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Chongbing Liu, Enrico Pontelli |
Inductive Logic Programming by Instance Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007., pp. 230-244, 2007, Springer, 978-3-540-69608-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Concept Instance, Patterns, Inductive Logic Programming |
1 | Andreas Podelski, Andrey Rybalchenko |
ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007., pp. 245-259, 2007, Springer, 978-3-540-69608-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Duncan Coutts, Don Stewart, Roman Leshchinskiy |
Rewriting Haskell Strings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007., pp. 50-64, 2007, Springer, 978-3-540-69608-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Program fusion, Functional programming, Deforestation |
1 | Pablo Berdaguer, Alcino Cunha, Hugo Pacheco 0001, Joost Visser 0001 |
Coupled Schema Transformation and Data Conversion for XML and SQL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007., pp. 290-304, 2007, Springer, 978-3-540-69608-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
XML, SQL, Transformation, Haskell |
1 | Michael Eichberg, Matthias Kahl, Diptikalyan Saha, Mira Mezini, Klaus Ostermann |
Automatic Incrementalization of Prolog Based Static Analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007., pp. 109-123, 2007, Springer, 978-3-540-69608-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Reza Rafeh, Maria J. García de la Banda, Kim Marriott, Mark Wallace 0001 |
From Zinc to Design Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007., pp. 215-229, 2007, Springer, 978-3-540-69608-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hanus (eds.) |
Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![Springer, 978-3-540-69608-7 The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Karl Klose, Klaus Ostermann, Michael Leuschel |
Partial Evaluation of Pointcuts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007., pp. 320-334, 2007, Springer, 978-3-540-69608-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, Germán Puebla |
Verification of Java Bytecode Using Analysis and Transformation of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007., pp. 124-139, 2007, Springer, 978-3-540-69608-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Chuck C. Liang |
Aspect-Oriented Programming in Higher-Order and Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007., pp. 305-319, 2007, Springer, 978-3-540-69608-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|