Liebe Besucherinnen und Besucher,

aufgrund unseres Sommerfestes sind wir am 03. September 2026 bis 14 Uhr erreichbar. Am 04. September 2026 sind wir wieder wie gewohnt für Sie da. Vielen Dank für Ihr Verständnis.

Ihr Team von Sack Fachmedien

Ramakrishnan | Practical Aspects of Declarative Languages | E-Book | www.sack.de
E-Book

E-Book, Englisch, 352 Seiten, Web PDF

Reihe: Computer Science

Ramakrishnan Practical Aspects of Declarative Languages

Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11-12, 2001 Proceedings
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, 352 Seiten, Web PDF

Reihe: Computer Science

ISBN: 978-3-540-45241-6
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Ramakrishnan Practical Aspects of Declarative Languages jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Ramakrishnan, I.V.

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.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.