1 option
Practical Aspects of Declarative Languages : Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11-12, 2001 Proceedings / edited by I.V. Ramakrishnan.
LIBRA Q341 .P7 2004
Available from offsite location
- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Lecture notes in computer science 0302-9743 ; 1990.
- Lecture Notes in Computer Science, 0302-9743 ; 1990
- Language:
- English
- Subjects (All):
- Programming languages (Electronic computers).
- Software engineering.
- Computer logic.
- Computer programming.
- Artificial intelligence.
- Programming Languages, Compilers, Interpreters.
- Software Engineering.
- Logics and Meanings of Programs.
- Programming Techniques.
- Artificial Intelligence.
- Local Subjects:
- Programming Languages, Compilers, Interpreters.
- Software Engineering.
- Logics and Meanings of Programs.
- Programming Techniques.
- Artificial Intelligence.
- Physical Description:
- 1 online resource (VIII, 352 pages).
- Edition:
- First edition 2001.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
- System Details:
- text file PDF
- Contents:
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-45241-6
- 9783540452416
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.