default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd PADL 2001: Las Vegas, Nevada, USA
- I. V. Ramakrishnan:
Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, USA, March 11-12, 2001, Proceedings. Lecture Notes in Computer Science 1990, Springer 2001, ISBN 3-540-41768-0 - C. R. Ramakrishnan:
A Model Checker for Value-Passing Mu-Calculus Using Logic Programming. 1-13 - Michael Leuschel:
Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog. 14-28 - Antony Courtney:
Frappé: Functional Reactive Programming in Java. 29-44 - Antonio Brogi
, Gianluca Caruso:
From Subject Directories to Subject Meta-directories via Declarative Programming. 45-59 - Matteo Baldoni, Cristina Baroglio, Alessandro Chiarotto, Viviana Patti:
Programming Goal-Driven Web Sites Using an Agent Logic Language. 60-75 - Michael Hanus:
High-Level Server Side Web Scripting in Curry. 76-92 - Anima Gupta, Paul Tarau:
Logic Programming Techniques for Dynamic VRML Web Content Generation. 93-107 - Giampaolo Bella, Stefano Bistarelli:
Soft Constraints for Security Protocol Analysis: Confidentiality. 108-122 - Steve Barker:
Secure Deductive Databases. 123-137 - Horatiu Cirstea:
Specifying Authentication Protocols Using Rewriting and Strategies. 138-152 - Juan Raymundo Iglesias, Gopal Gupta, Enrico Pontelli, Desh Ranjan, Brook Milligan:
Interoperability between Bioinformatics Tools: A Logic Programming Approach. 153-168 - Monica L. Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry:
An A-Prolog Decision Support System for the Space Shuttle. 169-183 - Enrico Denti, Andrea Omicini, Alessandro Ricci:
tu Prolog: A Light-Weight Prolog for Internet Applications and Infrastructures. 184-198 - Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva:
A Novel Implementation of the Extended Andorra Model. 199-213 - Hendrik Decker:
Soundcheck for SQL. 214-228 - Pierre Flener, Brahim Hnich, Zeynep Kiziltan:
Compiling High-Level Type Constructors in Constraint Programming. 229-244 - Supratik Mukhopadhyay, Andreas Podelski:
Constraint Database Models Characterizing Timed Bisimilarity. 245-258 - Alessandra Raffaetà, Thom W. Frühwirth:
Spatio-temporal Annotated Constraint Logic Programming. 259-273 - Pierre Flener, Brahim Hnich, Zeynep Kiziltan:
A Meta-heuristic for Subset Problems. 274-287 - Enrico Pontelli, Omar El-Khatib:
Construction and Optimization of a Parallel Engine for Answer Set Programming. 288-303 - John Peterson, Paul Hudak, Alastair Reid, Gregory D. Hager:
FVision: A Declarative Language for Visual Tracking. 304-321 - Satyam Tyagi, Paul Tarau:
A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces. 322-336 - Owen Kaser:
State Generation in the PARMC Model Checker. 337-352
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-06-19 00:09 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
