E-Book, Englisch, Band 1990, 352 Seiten, eBook
Ramakrishnan Practical Aspects of Declarative Languages
Erscheinungsjahr 2003
ISBN: 978-3-540-45241-6
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11-12, 2001 Proceedings
E-Book, Englisch, Band 1990, 352 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-45241-6
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.
