Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle, Andreas Koch 0002, Christian Müller |
Algebraic Knowledge Discovery Using Haskell. |
PADL |
2007 |
DBLP DOI BibTeX RDF |
|
1 | John Hughes 0001 |
QuickCheck Testing for Fun and Profit. |
PADL |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Vítor Santos Costa |
Prolog Performance on Larger Datasets. |
PADL |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Liwen Huang, Paul Hudak, John Peterson |
HPorter: Using Arrows to Compose Parallel Processes. |
PADL |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alan H. Bond |
BAD, a Declarative Logic-Based Language for Brain Modeling. |
PADL |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Rocha 0001 |
On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation. |
PADL |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Edison Mera, Pedro López-García 0001, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo |
Combining Static Analysis and Profiling for Estimating Execution Times. |
PADL |
2007 |
DBLP DOI BibTeX RDF |
Mobile Computing, Profiling, Cost Models, Cost Analysis, Resource Awareness, Execution Time Estimation |
1 | Pedro Barahona, Ludwig Krippahl |
A Constraint Programming Approach to Bioinformatics Structural Problems. |
PADL |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jon Sneyers, Joost Vennekens, Danny De Schreye |
Probabilistic-Logical Modeling of Music. |
PADL |
2006 |
DBLP DOI BibTeX RDF |
automatic music composition, PRISM, music classification, probabilistic-logical programming |
1 | Tiago Soares, Ricardo Rocha 0001, Michel Ferreira |
Generic Cut Actions for External Prolog Predicates. |
PADL |
2006 |
DBLP DOI BibTeX RDF |
Prolog Systems Implementation, External Modules, Pruning |
1 | Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo |
Efficient Top-Down Set-Sharing Analysis Using Cliques. |
PADL |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Kris De Volder |
JQuery: A Generic Code Browser with a Declarative Configuration Language. |
PADL |
2006 |
DBLP DOI BibTeX RDF |
program database, logic programming, domain-specific language, integrated development environment |
1 | Sandrine-Dominique Gouraud, Arnaud Gotlieb |
Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine. |
PADL |
2006 |
DBLP DOI BibTeX RDF |
CHR, Java Card Virtual Machine, Software testing |
1 | Zsolt Nagy, Gergely Lukácsy, Péter Szeredi |
Translating Description Logic Queries to Prolog. |
PADL |
2006 |
DBLP DOI BibTeX RDF |
Instance retrieval, Prolog, Description Logics, Reasoning, Query-plan |
1 | Zoltan Somogyi, Konstantinos Sagonas |
Tabling in Mercury: Design and Implementation. |
PADL |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ralph Becket, Maria J. García de la Banda, Kim Marriott, Zoltan Somogyi, Peter J. Stuckey, Mark Wallace 0001 |
Adding Constraint Solving to Mercury. |
PADL |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Diptikalyan Saha, C. R. Ramakrishnan 0001 |
Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs. |
PADL |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Martin Erwig, Steve Kollmansberger |
Modeling Genome Evolution with a DSEL for Probabilistic Programming. |
PADL |
2006 |
DBLP DOI BibTeX RDF |
Probabilistic Programming, Genome Evolution, Functional Programming, Haskell |
1 | Yanhong A. Liu, Scott D. Stoller |
Querying Complex Graphs. |
PADL |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Peter Hawkins, Peter J. Stuckey |
A Hybrid BDD and SAT Finite Domain Constraint Solver. |
PADL |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Luis Quesada 0001, Peter Van Roy, Yves Deville, Raphaël Collet |
Using Dominators for Solving Constrained Path Problems. |
PADL |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ian MacLarty, Zoltan Somogyi |
Controlling Search Space Materialization in a Practical Declarative Debugger. |
PADL |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Van Hentenryck (eds.) |
Practical Aspects of Declarative Languages, 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings |
PADL |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Bow-Yaw Wang |
Automatic Verification of a Model Checker by Reflection. |
PADL |
2006 |
DBLP DOI BibTeX RDF |
Model Checking, Logic Programming, Reflection, Rewriting Logic |
1 | Qian Wang 0024, Gopal Gupta 0001, Michael Leuschel |
Towards Provably Correct Code Generation via Horn Logical Continuation Semantics. |
PADL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Manuel V. Hermenegildo, Daniel Cabeza (eds.) |
Practical Aspects of Declarative Languages, 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings |
PADL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Daniel R. Brooks, Esra Erdem 0001, James W. Minett, Donald Ringe |
Character-Based Cladistics and Answer Set Programming. |
PADL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Nadia Brauner, Rachid Echahed, Gerd Finke, Hanns Gregor, Frédéric Prost |
Specializing Narrowing for Timetable Generation: A Case Study. |
PADL |
2005 |
DBLP DOI BibTeX RDF |
Timetable generation, Constraints, Narrowing, Functional-logic programming |
1 | Ping Yang 0002, Yifei Dong, C. R. Ramakrishnan 0001, Scott A. Smolka |
A Provably Correct Compiler for Efficient Model Checking of Mobile Processes. |
PADL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Manuel Almendros-Jiménez, Antonio Corral |
Solving Constraints on Sets of Spatial Objects. |
PADL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Lopes, Vítor Santos Costa |
Improving Memory Usage in the BEAM. |
PADL |
2005 |
DBLP DOI BibTeX RDF |
Extended Andorra Model, MemoryManagement, Logic Programming, Language Implementation |
1 | Emad Saad, Enrico Pontelli |
Towards a More Practical Hybrid Probabilistic Logic Programming Framework. |
PADL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | James Bailey 0001, Peter J. Stuckey |
Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization. |
PADL |
2005 |
DBLP DOI BibTeX RDF |
Minimal unsatisfiable sets, constraint solving, hitting sets, hypergraph transversals |
1 | Norman Ramsey |
Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction. |
PADL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Artem Alimarine, Sjaak Smetsers |
Improved Fusion for Optimizing Generics. |
PADL |
2005 |
DBLP DOI BibTeX RDF |
generic/polytypic programming, program transformation, fusion |
1 | Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir |
An Ordered Logic Program Solver. |
PADL |
2005 |
DBLP DOI BibTeX RDF |
Implementation, Preference, Answer Set Programming |
1 | Susana Muñoz-Hernández, José Manuél Gómez-Pérez |
Solving Collaborative Fuzzy Agents Problems with CLP(FD). |
PADL |
2005 |
DBLP DOI BibTeX RDF |
Fuzzy Prolog, Constraint Programming Application, Multi-Agent Systems, Finite Domains, Collaborative Agents, Modeling Uncertainty, (Constraint) Logic Programming |
1 | Jerzy Karczmarczuk |
Functional Framework for Sound Synthesis. |
PADL |
2005 |
DBLP DOI BibTeX RDF |
Lazy streams, DSP, Sounds, Clean |
1 | Saumya K. Debray |
Code Compression. |
PADL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Masahiko Kawabe, Robert Glück |
The Program Inverter LRinv and Its Structure. |
PADL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Vlad Tanasescu, Pawel T. Wojciechowski |
Role-Based Declarative Synchronization for Reconfigurable Systems. |
PADL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Véronique Benzaken, Giuseppe Castagna, Cédric Miachon |
A Full Pattern-Based Paradigm for XML Query Processing. |
PADL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Dengping Zhu, Hongwei Xi |
Safe Programming with Pointers Through Stateful Views. |
PADL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Bastiaan Heeren, Jurriaan Hage |
Type Class Directives. |
PADL |
2005 |
DBLP DOI BibTeX RDF |
type error messages, domain-specific programming, directives, type classes |
1 | Martin Erwig, Zhe Fu |
Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions. |
PADL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Bharat Jayaraman (eds.) |
Practical Aspects of Declarative Languages, 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings |
PADL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Marcello Balduccini |
USA-Smart: Improving the Quality of Plans in Answer Set Planning. |
PADL |
2004 |
DBLP DOI BibTeX RDF |
Planning, preferences, answer set programming |
1 | Andrew Fall |
Supporting Decisions in Complex, Uncertain Domains with Declarative Languages. |
PADL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Tao Wang, Abhik Roychoudhury, Roland H. C. Yap, S. C. Choudhary |
Symbolic Execution of Behavioral Requirements. |
PADL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Omar El-Khatib, Enrico Pontelli, Tran Cao Son |
ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog. |
PADL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Peter Achten, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer |
Compositional Model-Views with Generic Graphical User Interfaces. |
PADL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Brassel, Olaf Chitil, Michael Hanus, Frank Huch |
Observing Functional Logic Computations. |
PADL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Frank Atanassow, Dave Clarke 0001, Johan Jeuring |
UUXML: A Type-Preserving XML Schema-Haskell Data Binding. |
PADL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Chiyan Chen, Dengping Zhu, Hongwei Xi |
Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell. |
PADL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Correas, José M. Gómez, Manuel Carro, Daniel Cabeza, Manuel V. Hermenegildo |
A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations). |
PADL |
2004 |
DBLP DOI BibTeX RDF |
Databases, Prolog, Query Optimization, Persistency |
1 | Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva |
Pruning in the Extended Andorra Model. |
PADL |
2004 |
DBLP DOI BibTeX RDF |
Extended Andorra Model, Logic Programming, Pruning, Language Implementation |
1 | Chiyan Chen, Rui Shi, Hongwei Xi |
A Typeful Approach to Object-Oriented Programming with Multiple Inheritance. |
PADL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Martin Elsman, Ken Friis Larsen |
Typing XHTML Web Applications in ML. |
PADL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Neubauer, Peter Thiemann 0001 |
An Implementation of Session Types. |
PADL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Paul Hudak |
An Algebraic Theory of Polymorphic Temporal Media. |
PADL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | José F. Morales 0001, Manuel Carro, Manuel V. Hermenegildo |
Improved Compilation of Prolog to C Using Moded Types and Determinism Information. |
PADL |
2004 |
DBLP DOI BibTeX RDF |
Prolog, C, optimizing compilation, global analysis |
1 | Hai-Feng Guo, Gopal Gupta 0001 |
Simplifying Dynamic Programming via Tabling. |
PADL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Enrico Pontelli, Marcello Balduccini, F. Bermudez |
Non-monotonic Reasoning on Beowulf Platforms. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Lämmel, Joost Visser 0001 |
A Strafunski Application Letter. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
Strafunski, Generic traversal, External components, Program transformation, Program analysis, Functional programming, Language processing, Interchange formats |
1 | Pablo Barceló, Leopoldo E. Bertossi |
Logic Programs for Querying Inconsistent Databases. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jed Liu, Andrew C. Myers |
JMatch: Iterable Abstract Pattern Matching for Java. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jacinto A. Dávila |
ACTILOG: An Agent Activation Language. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Qinan Zhou, Paul Tarau |
Garbage Collection Algorithms for Java-Based Prolog Engines. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
Implementation of Prolog, Garbage collection algorithms in the context of multiple memory managers |
1 | Antonio J. Fernández 0001, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez |
Solving Combinatorial Problems with a Constraint Functional Logic Language. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
Constraints, Functional Logic Programming, Finite Domains |
1 | Shriram Krishnamurthi |
The CONTINUE Server (or, How I Administered PADL 2002 and 2003). |
PADL |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Amanda Clare, Ross D. King |
Data Mining the Yeast Genome in a Lazy Functional Language. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Patricia M. Hill, Fausto Spoto |
Logic Programs as Compact Denotations. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Prahladavaradan Sampath |
Multi-agent Reactive Systems. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ninghui Li, John C. Mitchell |
DATALOG with Constraints: A Foundation for Trust Management Languages. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Víctor M. Gulías, Carlos Abalde, Juan J. Sánchez |
Lambda Goes to Hollywood. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
distributed computing, design patterns, Functional programming, concurrent programming, real-world applications |
1 | Martin Elsman, Niels Hallenberg |
Web Programming with SMLserver. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
|
1 | C. David Page Jr. |
The Role of Declarative Languages in Mining Biological Databases. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Pierangelo Dell'Acqua, Luís Moniz Pereira |
A Logical Framework for Modelling eMAS. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ana Paula Tomás, José Paulo Leal |
A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Henrik Nilsson, John Peterson, Paul Hudak |
Functional Hybrid Modeling. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Verónica Dahl, Philip Wadler (eds.) |
Practical Aspects of Declarative Languages, 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings |
PADL |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jorge Coelho 0001, Mário Florido |
Type-Based XML Processing in Logic Programming. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Michel Ferreira, Luís Damas |
WAM Local Analysis. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
Prolog Compilation, Multiple Specialization, Abstract Interpretation |
1 | Torben Æ. Mogensen |
Roll : A Language for Specifying Die-Rolls. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Peter Schachte |
Sequence Quantification. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
|
1 | António Porto |
An Integrated Information System Powered by Prolog. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Esra Erdem 0001, Vladimir Lifschitz, Luay Nakhleh, Donald Ringe |
Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Oleg Kiselyov, Shriram Krishnamurthi |
SXSLT: Manipulation Language for XML. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
SXML, XML, Scheme, XSLT, tree traversal |
1 | Gérard P. Huet |
Zen and the Art of Symbolic Computing: Light and Fast Applicative Algorithms for Computational Linguistics. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Rong Yang, Steve Gregory |
Exploiting Efficient Control and Data Structures in Logic Programs. |
PADL |
2002 |
DBLP DOI BibTeX RDF |
logic programming, constraints satisfaction, sequence comparison |
1 | Verónica Dahl |
How to Talk to Your Computer so that It Will Listen. |
PADL |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Erik Johansson, Konstantinos Sagonas |
Linear Scan Register Allocation in a High-Performance Erlang Compiler. |
PADL |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Ruben Vandeginste, Konstantinos Sagonas, Bart Demoen |
Segment Order Preserving and Generational Garbage Collection for Prolog. |
PADL |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Martin Erwig, Margaret M. Burnett |
Adding Apples and Oranges. |
PADL |
2002 |
DBLP DOI BibTeX RDF |
First-Order Functional Language, End-User Programming, Spreadsheet, Type Checking, Unit |
1 | Jerzy Karczmarczuk |
Functional Approach to Texture Generation. |
PADL |
2002 |
DBLP DOI BibTeX RDF |
noise, images, combinators, tesselations, Clean |
1 | Robert S. Boyer, J Strother Moore |
Single-Threaded Objects in ACL2. |
PADL |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Lämmel, Joost Visser 0001 |
Typed Combinators for Generic Traversal. |
PADL |
2002 |
DBLP DOI BibTeX RDF |
program transformation, Genericity, combinators, traversal |
1 | Zhanyong Wan, Walid Taha, Paul Hudak |
Event-Driven FRP. |
PADL |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Luís Fernando Castro, Terrance Swift, David Scott Warren |
Suspending and Resuming Computations in Engines for SLG Evaluation. |
PADL |
2002 |
DBLP DOI BibTeX RDF |
|
1 | John P. Gallagher, Germán Puebla |
Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs. |
PADL |
2002 |
DBLP DOI BibTeX RDF |
|