Practical aspects of declarative languages : third international symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 : proceedings
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science
1990 |
| Matèries: | |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Practical aspects of declarative languages, third international symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001, proceedings, I.V. Ramakrishnan, 2001, New York, Springer, 1 vol. (VIII-351 p.), Lecture notes in computer science, 3-540-41768-0 • Practical Aspects of Declarative Languages, Texte imprimé, 9783662210116 |
Taula de continguts:
- A Model Checker for Value-Passing Mu-Calculus Using Logic Programming
- Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog
- Frappé: Functional Reactive Programming in Java
- From Subject Directories to Subject Meta-directories via Declarative Programming
- Programming Goal-Driven Web Sites Using an Agent Logic Language
- High-Level Server Side Web Scripting in Curry
- Logic Programming Techniques for Dynamic VRML Web Content Generation
- Soft Constraints for Security Protocol Analysis: Confidentiality
- Secure Deductive Databases
- Specifying Authentication Protocols Using Rewriting and Strategies
- Interoperability between Bioinformatics Tools: A Logic Programming Approach
- An A-Prolog Decision Support System for the Space Shuttle
- tuProlog: A Light-Weight Prolog for Internet Applications and Infrastructures
- A Novel Implementation of the Extended Andorra Model
- Soundcheck for SQL
- Compiling High-Level Type Constructors in Constraint Programming
- Constraint Database Models Characterizing Timed Bisimilarity
- Spatio-temporal Annotated Constraint Logic Programming
- A Meta-heuristic for Subset Problems
- Construction and Optimization of a Parallel Engine for Answer Set Programming
- FVision: A Declarative Language for Visual Tracking
- A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces
- State Generation in the PARMC Model Checker.