Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Maria Christakis, Konstantinos Sagonas |
Detection of Asynchronous Message Passing Errors Using Static Analysis. |
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 | Timothy L. Hinrichs |
Plato: A Compiler for Interactive Web Forms. |
PADL |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Neil C. C. Brown |
Combinators for Message-Passing in Haskell. |
PADL |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Don Syme, Tomas Petricek 0001, Dmitry Lomov |
The F# Asynchronous Programming Model. |
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 | Pedro D. Salgueiro, Daniel Diaz 0001, Isabel Brito 0001, Salvador Abreu |
Using Constraints for Intrusion Detection: The NeMODe System. |
PADL |
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. |
PADL |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tomas Petricek 0001, Don Syme |
Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming. |
PADL |
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. |
PADL |
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. |
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 | Andreas Voellmy, Paul Hudak |
Nettle: Taking the Sting Out of Programming Network Routers. |
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 | Chaitanya Belwal, Albert M. K. Cheng |
Determining Actual Response Time in P-FRP. |
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 | Jan Wielemaker, Vítor Santos Costa |
On the Portability of Prolog Applications. |
PADL |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jan Christiansen |
Sloth - A Tool for Checking Minimal-Strictness. |
PADL |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Krajcevski, John H. Reppy |
A Declarative API for Particle Systems. |
PADL |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yan Wang 0077, Verónica Gaspes |
A Domain-Specific Language Approach to Protocol Stack Implementation. |
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 | Mathieu Boespflug |
Conversion by Evaluation. |
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 | 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. |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | João Raimundo, Ricardo Rocha 0001 |
Compact Lists for Tabled Evaluation. |
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 | Ian P. Gent, Ian Miguel, Neil C. A. Moore |
Lazy Explanations for Constraint Propagators. |
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 | Hai Liu 0012, Paul Hudak |
An Ode to Arrows. |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Gonçalo Lopes, Luís Moniz Pereira |
Prospective Storytelling Agents. |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Roly Perera |
First-Order Interactive Programming. |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Maria Christakis, Konstantinos Sagonas |
Static Detection of Race Conditions in Erlang. |
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 | Rahmatullah Hafiz, Richard A. Frost |
Lazy Combinators for Executable Specifications of General Attribute Grammars. |
PADL |
2010 |
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 | Miguel Areias 0001, Ricardo Rocha 0001 |
An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives. |
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 | 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 | Ashish Agarwal, Sooraj Bhat, Alexander G. Gray, Ignacio E. Grossmann |
Automating Mathematical Program Transformations. |
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 | Ana Sofia Gomes, José Júlio Alferes, Terrance Swift |
Implementing Query Answering for Hybrid MKNF Knowledge Bases. |
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 | 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 | 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 | Carl Eastlund, Matthias Felleisen |
Toward a Practical Module System for ACL2. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
|
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 | 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 | Jorge Costa, Ricardo Rocha 0001 |
One Table Fits All. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
Table Space, Implementation, Tabling Logic Programming |
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 | Ketil Malde, Bryan O'Sullivan |
Using Bloom Filters for Large Scale Gene Sequence Analysis in Haskell. |
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 | 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 | 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 | 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 | Atef Suleiman, John Miller |
Implementing Thread Cancellation in Multithreaded Prolog Systems. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
concurrency, Prolog, threads |
1 | Paulo Moura |
Secure Implementation of Meta-predicates. |
PADL |
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. |
PADL |
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. |
PADL |
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. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Paulo Moura, Ricardo Rocha 0001, Sara C. Madeira |
High Level Thread-Based Competitive Or-Parallelism in Logtalk. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
speculative threading, implementation, Or-parallelism |
1 | Roman Leshchinskiy |
Recycle Your Arrays! |
PADL |
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. |
PADL |
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. |
PADL |
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. |
PADL |
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. |
PADL |
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. |
PADL |
2008 |
DBLP DOI BibTeX RDF |
concurrency, logic-programming, threads |
1 | Jost Berthold, Abyd Al Zain, Hans-Wolfgang Loidl |
Scheduling Light-Weight Parallelism in ArTCoP. |
PADL |
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. |
PADL |
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. |
PADL |
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. |
PADL |
2008 |
DBLP DOI BibTeX RDF |
|
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 | George Giorgidze, Henrik Nilsson |
Switched-On Yampa. |
PADL |
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. |
PADL |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Braßel, Michael Hanus, Marion Müller |
High-Level Database Programming in Curry. |
PADL |
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. |
PADL |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ralph Becket, Zoltan Somogyi |
DCGs + Memoing = Packrat Parsing but Is It Worth It? |
PADL |
2008 |
DBLP DOI BibTeX RDF |
packrat, recursive descent, DCG, memoing, parsing, tabling, Mercury |
1 | John Launchbury |
Industrial Functional Programming. |
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 | 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 0002, Yitzhak Mandelbaum |
A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers. |
PADL |
2008 |
DBLP DOI BibTeX RDF |
|
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 | 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 | Jost Berthold, Mischa Dieterle, Rita Loogen, Steffen Priebe |
Hierarchical Master-Worker Skeletons. |
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 | Beata Sarna-Starosta, C. R. Ramakrishnan 0001 |
Compiling Constraint Handling Rules for Efficient Tabled Evaluation. |
PADL |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Per Gustafsson, Konstantinos Sagonas |
Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang. |
PADL |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Takeshi Morimoto, Yasunao Takano, Hideya Iwasaki |
Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning. |
PADL |
2007 |
DBLP DOI BibTeX RDF |
intermediate results, purely functional data structures, improving sequences, lazy evaluation |
1 | Claudio V. Russo |
The Joins Concurrency Library. |
PADL |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Chongbing Liu, Enrico Pontelli |
Inductive Logic Programming by Instance Patterns. |
PADL |
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. |
PADL |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Duncan Coutts, Don Stewart, Roman Leshchinskiy |
Rewriting Haskell Strings. |
PADL |
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. |
PADL |
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. |
PADL |
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. |
PADL |
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. |
PADL |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Karl Klose, Klaus Ostermann, Michael Leuschel |
Partial Evaluation of Pointcuts. |
PADL |
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. |
PADL |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Chuck C. Liang |
Aspect-Oriented Programming in Higher-Order and Linear Logic. |
PADL |
2007 |
DBLP DOI BibTeX RDF |
|