| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa |
Symbolic Execution of Concurrent Objects in CLP.  |
PADL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio V. Russo, Neng-Fa Zhou (eds.) |
Practical Aspects of Declarative Languages - 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Lesniak |
Palovca: Describing and Executing Graph Algorithms in Haskell. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, Matthias Felleisen |
Typing the Numeric Tower. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Theil Have, Henning Christiansen |
Efficient Tabling of Structured Data Using Indexing and Program Transformation. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello Balduccini, Yulia Lierler |
Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro M. Martins, Julie A. McCann, Susan Eisenbach |
The Environment as an Argument - Context-Aware Functional Programming. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeroen Bransen, Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra |
The Kennedy-Warren Algorithm Revisited: Ordering Attribute Grammars. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy Gill, Bowe Neuenschwander |
Handshaking in Kansas Lava Using Patch Logic. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Winograd-Cort, Hai Liu, Paul Hudak |
Virtualizing Real-World Objects in FRP. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Don Stewart |
Make Things Now! Pragmatic Functional Programming in Haskell. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | David Broman, Henrik Nilsson |
Node-Based Connection Semantics for Equation-Based Object-Oriented Modeling Languages. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Boon Thau Loo, Harjot Gill, Changbin Liu, Yun Mao, William R. Marczak, Micah Sherr, Anduo Wang, Wenchao Zhou |
Recent Advances in Declarative Networking. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Edwin Brady, Kevin Hammond |
Resource-Safe Systems Programming with Embedded Domain Specific Languages. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Antoy, Michael Hanus |
Contracts and Specifications for Functional Logic Programming. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mayer Goldberg, Guy Wiener |
A Declarative Approach for Software Modeling. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuliya Lierler, Shaden Smith, Miroslaw Truszczynski, Alex Westlund |
Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dario Campagna, Beata Sarna-Starosta, Tom Schrijvers |
Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Coleman |
Distributed Policy Specification and Interpretation with Classified Advertisements. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Tarau |
A Declarative Specification of Tree-Based Symbolic Arithmetic Computations. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenny Qili Zhu, Kathleen Fisher, David Walker |
LearnPADS + + : Incremental Inference of Ad Hoc Data Formats. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
A Segment-Swapping Approach for Executing Trapped Computations. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Krajcevski, John H. Reppy |
A Declarative API for Particle Systems. |
PADL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Redl, Thomas Eiter, Thomas Krennwallner |
Declarative Belief Set Merging Using Merging Plans. |
PADL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Edison Mera, Teresa Trigo, Pedro López-García, Manuel V. Hermenegildo |
Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs. |
PADL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roope Kaivola |
Intel CoreTM i7 Processor Execution Engine Validation in a Functional Language Based Formal Framework. |
PADL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Voellmy, Paul Hudak |
Nettle: Taking the Sting Out of Programming Network Routers. |
PADL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Holk, William E. Byrd, Jeremiah Willcock, Torsten Hoefler, Arun Chauhan, Andrew Lumsdaine |
Kanor - A Declarative Language for Explicit Communication. |
PADL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro D. Salgueiro, Daniel Diaz, Isabel Brito, Salvador Abreu |
Using Constraints for Intrusion Detection: The NeMODe System. |
PADL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Rocha, John Launchbury (eds.) |
Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings |
PADL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez |
Integrating XPath with the Functional-Logic Language Toy. |
PADL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothy L. Hinrichs |
Plato: A Compiler for Interactive Web Forms. |
PADL |
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. |
PADL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Wielemaker, Vítor Santos Costa |
On the Portability of Prolog Applications. |
PADL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil C. C. Brown |
Combinators for Message-Passing in Haskell. |
PADL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond J. Mooney |
Learning Language from Its Perceptual Context. |
PADL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Christakis, Konstantinos F. Sagonas |
Detection of Asynchronous Message Passing Errors Using Static Analysis. |
PADL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Fodor, Darko Anicic, Sebastian Rudolph |
Results on Out-of-Order Event Processing. |
PADL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Christiansen |
Sloth - A Tool for Checking Minimal-Strictness. |
PADL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominique Devriese, Frank Piessens |
Explicitly Recursive Grammar Combinators - A Better Model for Shallow Parser DSLs. |
PADL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Don Syme, Tomas Petricek, Dmitry Lomov |
The F# Asynchronous Programming Model. |
PADL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chaitanya Belwal, Albert M. K. Cheng |
Determining Actual Response Time in P-FRP. |
PADL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomas Petricek, Don Syme |
Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming. |
PADL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Huiqing Li, Simon J. Thompson |
Similar Code Detection and Elimination for Erlang Programs. |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gonçalo Lopes, Luís Moniz Pereira |
Prospective Storytelling Agents. |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashish Agarwal, Sooraj Bhat, Alexander G. Gray, Ignacio E. Grossmann |
Automating Mathematical Program Transformations. |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Boespflug |
Conversion by Evaluation. |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus, Sven Koschnicke |
An ER-Based Framework for Declarative Web Programming. |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Wang, Verónica Gaspes |
A Domain-Specific Language Approach to Protocol Stack Implementation. |
PADL |
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 |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Christakis, Konstantinos F. Sagonas |
Static Detection of Race Conditions in Erlang. |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Fang Wang |
Netlog, a Rule-Based Language for Distributed Programming. |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Sofia Gomes, José Júlio Alferes, Terrance Swift |
Implementing Query Answering for Hybrid MKNF Knowledge Bases. |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian P. Gent, Ian Miguel, Neil C. A. Moore |
Lazy Explanations for Constraint Propagators. |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vítor Santos Costa |
On the Implementation of the CLP(BN\mathcal BN) Language. |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Grasso, Salvatore Iiritano, Nicola Leone, Vincenzino Lio, Francesco Ricca, Francesco Scalise |
An ASP-Based System for Team-Building in the Gioia-Tauro Seaport. |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roly Perera |
First-Order Interactive Programming. |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Narciso Martí-Oliet |
An Introduction to Maude and Some of Its Applications. |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rahmatullah Hafiz, Richard A. Frost |
Lazy Combinators for Executable Specifications of General Attribute Grammars. |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | João Raimundo, Ricardo Rocha |
Compact Lists for Tabled Evaluation. |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Meera Sridhar, Kevin W. Hamlen |
ActionScript In-Lined Reference Monitoring in Prolog. |
PADL |
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. |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Marques, Terrance Swift, José C. Cunha |
A Simple and Efficient Implementation of Concurrent Local Tabling. |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mischa Dieterle, Thomas Horstmeyer, Rita Loogen |
Skeleton Composition Using Remote Data. |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Areias, Ricardo Rocha |
An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives. |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hai Liu, Paul Hudak |
An Ode to Arrows. |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | José Iborra |
Explicitly Typed Exceptions for Haskell. |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Pontelli |
Answer Set Programming in 2010: A Personal Perspective. |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo |
Towards a Complete Scheme for Tabled Execution Based on Program Transformation. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
Continuation-call tabling, Performance, Program transformation, Implementation, Tabled logic programming |
| 1 | Juan Antonio Navarro Pérez, Andrey Rybalchenko |
Operational Semantics for Declarative Networking. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
distributed systems, programming language semantics, Declarative networking |
| 1 | Luís Moniz Pereira, Pierangelo Dell'Acqua, Gonçalo Lopes |
On Preferring and Inspecting Abductive Models. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
XSB-Prolog, Smodels, Logic Programming, Preferences, Abduction |
| 1 | Carl Eastlund, Matthias Felleisen |
Toward a Practical Module System for ACL2. |
PADL |
2009 |
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. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | António Porto |
High-Level Interaction with Relational Databases in Logic Programming. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Moura |
Secure Implementation of Meta-predicates. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
meta-predicates, security, Logic-programming |
| 1 | Paul Tarau, Arun K. Majumdar |
Interoperating Logic Engines. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
Prolog language extensions, logic engines, semantics of metaprogramming constructs, generalized iterators, agent oriented programming language constructs |
| 1 | Atef Suleiman, John Miller |
Implementing Thread Cancellation in Multithreaded Prolog Systems. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
concurrency, Prolog, threads |
| 1 | Ketil Malde, Bryan O'Sullivan |
Using Bloom Filters for Large Scale Gene Sequence Analysis in Haskell. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Qian Xi, Kathleen Fisher, David Walker, Kenny Qili Zhu |
Ad Hoc Data and the Token Ambiguity Problem. |
PADL |
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 |
PADL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Moura, Ricardo Rocha, Sara C. Madeira |
High Level Thread-Based Competitive Or-Parallelism in Logtalk. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
speculative threading, implementation, Or-parallelism |
| 1 | Anduo Wang, Prithwish Basu, Boon Thau Loo, Oleg Sokolsky |
Declarative Network Verification. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
network protocol verification, theorem proving, domain-specific languages, Declarative networking |
| 1 | Roman Leshchinskiy |
Recycle Your Arrays! |
PADL |
2009 |
DBLP DOI BibTeX RDF |
Array Programming, Optimisation, Functional Programming, Deforestation |
| 1 | David Zook, Emir Pasalic, Beata Sarna-Starosta |
Typed Datalog. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
Meta-compilation, Type System, Datalog, Deductive Databases |
| 1 | Dang-Vien Tran, Hoang-Khoi Nguyen, Enrico Pontelli, Tran Cao Son |
Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
Conformant Planning, Planning, Reasoning about Actions |
| 1 | Michael Hanus, Christof Kluß |
Declarative Programming of User Interfaces. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Moniz Pereira, Alexandre Miguel Pinto |
Layered Models Top-Down Querying of Normal Logic Programs. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
Smodels, XSB-XASP, Semantics, Relevance |
| 1 | Jorge Costa, Ricardo Rocha |
One Table Fits All. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
Table Space, Implementation, Tabling Logic Programming |
| 1 | Moritz Y. Becker, Sebastian Nanz |
The Role of Abduction in Declarative Authorization Policies. |
PADL |
2008 |
DBLP DOI BibTeX RDF |
authorization language, access control, Datalog, abduction |
| 1 | Martin Hirzel, Nathaniel Nystrom, Bard Bloom, Jan Vitek |
Matchete: Paths through the Pattern Matching Jungle. |
PADL |
2008 |
DBLP DOI BibTeX RDF |
binary data formats, Java, Pattern matching, XPath, regular expressions |
| 1 | Sathiamoorthy Subbarayan |
Efficient Reasoning for Nogoods in Constraint Solvers with BDDs. |
PADL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mary F. Fernández, Kathleen Fisher, J. Nathan Foster, Michael Greenberg, Yitzhak Mandelbaum |
A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers. |
PADL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | John Launchbury |
Industrial Functional Programming. |
PADL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard A. Frost, Rahmatullah Hafiz, Paul Callaghan |
Parser Combinators for Ambiguous Left-Recursive Grammars. |
PADL |
2008 |
DBLP DOI BibTeX RDF |
left recursion, natural-language parsing, functional programming, ambiguity, Parser combinators |
| 1 | Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Cláudio Silva, Ricardo Rocha |
An Improved Continuation Call-Based Implementation of Tabling. |
PADL |
2008 |
DBLP DOI BibTeX RDF |
Performance, Program transformation, Implementation, Tabled logic programming |
| 1 | Sebastian Brand, Gregory J. Duck, Jakob Puchinger, Peter J. Stuckey |
Flexible, Rule-Based Constraint Model Linearisation. |
PADL |
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. |
PADL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Thomas Moniot, Philippe Wang |
Certified Development Tools Implementation in Objective Caml. |
PADL |
2008 |
DBLP DOI BibTeX RDF |
Tests measurement, Civil avionics, Functional programming, Code coverage, Objective Caml |
| 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. |
PADL |
2008 |
DBLP DOI BibTeX RDF |
Coding rule checking, Declarative domain-specific languages and applications, Logic programming, Programming environments |
| 1 | Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer |
Model-Based Testing of Thin-Client Web Applications and Navigation Input. |
PADL |
2008 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")