Practical Aspects of Declarative Languages Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11-12, 2001 Proceedings /
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2001.
|
Έκδοση: | 1st ed. 2001. |
Σειρά: | Lecture Notes in Computer Science,
1990 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.