Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Olof Torgersson |
Declarative Programming and Clinical Medicine. |
PADL |
2002 |
DBLP DOI BibTeX RDF |
Definitional programming, Clinical Medicine, Integration with GUIs and Objective-C |
1 | Catherine Meadows 0001 |
Using a Declarative Language to Build an Experimental Analysis Tool. |
PADL |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Gopal Gupta 0001, Hai-Feng Guo, Arthur I. Karshmer, Enrico Pontelli, Juan Raymundo Iglesias, Desh Ranjan, Brook Milligan, Nayana Datta, Omar El-Khatib, Mohammed Noamany, Xinhong Zhou |
Semantics-Based Filtering: Logic Programming's Killer App? |
PADL |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Morten Rhiger |
Compiling Embedded Programs to Byte Code. |
PADL |
2002 |
DBLP DOI BibTeX RDF |
domain-specific language, Just-in-time compilation, embedded language, OCaml |
1 | Kish Shen, Joachim Schimpf, Stefano Novello, Josh Singer |
A High-Level Generic Interface to External Programming Languages for ECLiPSe. |
PADL |
2002 |
DBLP DOI BibTeX RDF |
Logic Programming, implementation, application development, language interfaces |
1 | Peter Bunus, Peter Fritzson |
A Debugging Scheme for Declarative Equation Based Modeling Languages. |
PADL |
2002 |
DBLP DOI BibTeX RDF |
Declarative equation based language, graph decomposition techniques, static analysis, debugging, bipartite graphs, modeling languages, Modelica |
1 | Bharat Jayaraman, Pallavi Tambay |
Modeling Engineering Structures with Constrained Objects. |
PADL |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Shriram Krishnamurthi, C. R. Ramakrishnan 0001 (eds.) |
Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings |
PADL |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Peter Thiemann 0001 |
WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms. |
PADL |
2002 |
DBLP DOI BibTeX RDF |
CGI Programming, Haskell, Monads |
1 | Chuck C. Liang |
Compiler Construction in Higher Order Logic Programming. |
PADL |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Oleg Kiselyov |
A Better XML Parser through Functional Programming. |
PADL |
2002 |
DBLP DOI BibTeX RDF |
tree fold, Haskell, Scheme, traversal, XML parsing |
1 | Supratik Mukhopadhyay, Andreas Podelski |
Constraint Database Models Characterizing Timed Bisimilarity. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Giampaolo Bella, Stefano Bistarelli |
Soft Constraints for Security Protocol Analysis: Confidentiality. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva |
A Novel Implementation of the Extended Andorra Model. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Flener, Brahim Hnich, Zeynep Kiziltan |
A Meta-heuristic for Subset Problems. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Hendrik Decker |
Soundcheck for SQL. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Horatiu Cirstea |
Specifying Authentication Protocols Using Rewriting and Strategies. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
model-checking, strategy, rewriting, authentication protocols |
1 | Antony Courtney |
Frappé: Functional Reactive Programming in Java. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Michael Leuschel |
Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
Implementation and Compilation, Verification, Concurrency, Specification |
1 | Monica L. Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson 0003, Matthew Barry |
An A-Prolog Decision Support System for the Space Shuttle. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
logic programming, planning, answer set programming |
1 | John Peterson, Paul Hudak, Alastair Reid 0001, Gregory D. Hager |
FVision: A Declarative Language for Visual Tracking. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
|
1 | I. V. Ramakrishnan (eds.) |
Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, USA, March 11-12, 2001, Proceedings |
PADL |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Baldoni, Cristina Baroglio, Alessandro Chiarotto, Viviana Patti |
Programming Goal-Driven Web Sites Using an Agent Logic Language. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Owen Kaser |
State Generation in the PARMC Model Checker. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Flener, Brahim Hnich, Zeynep Kiziltan |
Compiling High-Level Type Constructors in Constraint Programming. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Steve Barker |
Secure Deductive Databases. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Satyam Tyagi, Paul Tarau |
A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Enrico Pontelli, Omar El-Khatib |
Construction and Optimization of a Parallel Engine for Answer Set Programming. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Alessandra Raffaetà, Thom W. Frühwirth |
Spatio-temporal Annotated Constraint Logic Programming. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
constraint logic programming, Spatio-temporal reasoning, annotated logics |
1 | Juan Raymundo Iglesias, Gopal Gupta 0001, Enrico Pontelli, Desh Ranjan, Brook Milligan |
Interoperability between Bioinformatics Tools: A Logic Programming Approach. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Anima Gupta, Paul Tarau |
Logic Programming Techniques for Dynamic VRML Web Content Generation. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
Internet Programming with Prolog, Dynamic VRML content, Logic Programming Tools, Prolog based Client-Server Programming, Prolog Networking, Definite Clause Grammars, Web Architectures |
1 | Enrico Denti, Andrea Omicini, Alessandro Ricci |
tu Prolog: A Light-Weight Prolog for Internet Applications and Infrastructures. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
|
1 | C. R. Ramakrishnan 0001 |
A Model Checker for Value-Passing Mu-Calculus Using Logic Programming. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Brogi, Gianluca Caruso |
From Subject Directories to Subject Meta-directories via Declarative Programming. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
subject directories, Prolog, Web-programming |
1 | Michael Hanus |
High-Level Server Side Web Scripting in Curry. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Shriram Krishnamurthi, Kathryn E. Gray, Paul T. Graunke |
Transformation-by-Example for XML. |
PADL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Julio Mariño, Juan José Moreno-Navarro |
Using Static Analysis to Compile Non-sequential Functional Logic Programs. |
PADL |
2000 |
DBLP DOI BibTeX RDF |
Interpretation, Sequentiality, Functional Logic Programming |
1 | Michael Hanus |
A Functional Logic Programming Approach to Graphical User Interfaces. |
PADL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Peter Thiemann 0001 |
Modeling HTML in Haskell. |
PADL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | I. V. Ramakrishnan |
Current Trends in Logic Programming: Prospects and Promises. |
PADL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Gopal Gupta 0001, Shameem F. Akhter |
Knowledgesheet: A Graphical Spreadsheet Interface for Interactively Developing a Class of Constraint Programs. |
PADL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Juan José Moreno-Navarro, Susana Muñoz-Hernández |
How to Incorporate Negation in a Prolog Compiler. |
PADL |
2000 |
DBLP DOI BibTeX RDF |
Semantics of Negation, Implementation of Negation, Global Analysis |
1 | Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi |
Calculating a New Data Mining Algorithm for Market Basket Analysis. |
PADL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You |
Implementation of a Linear Tabling Mechanism. |
PADL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Bistarelli, Philippe Codognet, Yan Georget, Francesca Rossi 0001 |
Labeling and Partial Local Consistency for Soft Constraint Programming. |
PADL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Diaz 0001, Philippe Codognet |
GNU Prolog: Beyond Compiling Prolog to C. |
PADL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Tee Yong Chew, Martin Henz, Ka Boon Ng |
A Toolkit for Constraint-Based Inference Engines. |
PADL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Timothy J. Hickey |
CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving. |
PADL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | John Peterson, Valery Trifonov, Andrei Serjantov |
Parallel Functional Reactive Programming. |
PADL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Ching-Long Yeh |
A Logic Programming Approach to Supporting the Entries of XML Documents in an Object Database. |
PADL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Enrico Pontelli, Vítor Santos Costa (eds.) |
Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings |
PADL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Tallys H. Yunes, Arnaldo Vieira Moura, Cid C. de Souza |
A Hybrid Approach for Solving Large Scale Crew Scheduling Problems. |
PADL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Peter Lee 0001 |
Production-Quality Proof-Carrying Code. |
PADL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Bart Demoen, Konstantinos Sagonas |
Heap Garbage Collection in XSB: Practice and Experience. |
PADL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Salvador Abreu |
A Logic-Based Information System. |
PADL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Chris J. Hinde, Richard J. Reader, Kath Phelps |
HIPPO - A Declarative Graphical Modelling System. |
PADL |
2000 |
DBLP DOI BibTeX RDF |
model, interaction, integrate, software, declarative |
1 | Mark Tullsen |
First Class Patterns. |
PADL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Christian Schulte 0001 |
Programming Deep Concurrent Constraint Combinators. |
PADL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Tyng-Ruey Chuang, Shin-Cheng Mu |
Out-of-Core Functional Programming with Type-Based Primitives. |
PADL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Rocha 0001, Fernando M. A. Silva, Vítor Santos Costa |
Or-Parallelism within Tabling. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
Tabling, Or-Parallelism, Parallel Logic Programming |
1 | John Peterson, Paul Hudak, Conal Elliott |
Lambda in Motion: Controlling Robots with Haskell. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Wamberto Weber Vasconcelos |
A Flexible Framework for Dynamic and Static Slicing of Logic Programs. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
Logic program slicing, program analysis & understanding |
1 | Michel Ferreira, Luís Damas |
Multiple Specialization of WAM Code. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
Prolog Compilation, Code Specialization, Program Analysis |
1 | Marcio G. Silva, Inês de Castro Dutra, Ricardo Bianchini, Vítor Santos Costa |
The Influence of Architectural Parameters on the Performance of Parallel Logic Programming Systems. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Raul Hakli, Matti Nykänen, Hellis Tamm, Esko Ukkonen |
Implementing a Declarative String Query Language with String Restructuring. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini |
Multi-agent Systems Development as a Software Engineering Enterprise. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Joachim Goltz, Dirk Matzke |
University Timetabling Using Constraint Logic Programming. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Timo Soininen, Ilkka Niemelä |
Developing a Declarative Rule Language for Applications in Product Configuration. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
|
1 | David A. Schmidt |
A Return to Elegance: The Reapplication of Declarative Notation to Software Design. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Babu Siddabathuni, Suzanne W. Dietrich, Susan Darling Urban |
An AQUA-Based Intermediate Language for Evaluating an Active Deductive Object-Oriented Language. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
|
1 | David Jeffery, Tyson Dowd, Zoltan Somogyi |
MCORBA: A CORBA Binding for Mercury. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Wolfram Kahl |
Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Marco Cadoli, Luigi Palopoli 0001, Andrea Schaerf, Domenico Vasile |
NP-SPEC: An Executable Specification Language for Solving All Problems in NP. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Bart Demoen, Konstantinos Sagonas |
CHAT: The Copy-Hybrid Approach to Tabling. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Conal Elliott |
From Functional Animation to Sprite-Based Display. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Mats Carlsson, Per Kreuger, Emil Åström |
Constraint-Based Resource Allocation and Scheduling in Steel Manufacturing. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
flow maximization, steel manufacturing, scheduling, finite domain constraints |
1 | Claude Laï |
Using Constraints in Local Proofs for CLP Debugging. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Mark Wallace 0001, Joachim Schimpf |
ECLiPSe: Declarative Specification and Scaleable Implementation. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Erik Meijer 0001, Daan Leijen, James Hook |
Client-Side Web Scripting with HaskellScript. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Patricio Letelier 0001, Pedro Sánchez, Isidro Ramos |
Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Program. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Hongwei Xi |
Dead Code Elimination through Dependent Types. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Arvind K. Bansal, Peer Bork |
Applying Logic Programming to Derive Novel Functional Information of Genomes. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Graeme E. Moss, Colin Runciman |
Automated Benchmarking of Functional Data Structures. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Håkan Mattsson, Hans Nilsson, Claes Wikström |
Mnesia - A Distributed Robust DBMS for Telecommunications Applications. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Richard Watson 0003 |
An Application of Action Theory to the Space Shuttle. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Gopal Gupta 0001 (eds.) |
Practical Aspects of Declarative Languages, First International Workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings |
PADL |
1998 |
DBLP DOI BibTeX RDF |
|