Willkommen, schön sind Sie da!
Logo Ex Libris

Practical Aspects of Declarative Languages

  • E-Book (pdf)
  • 323 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the refereed proceedings of the Second International Workshop on Practical Aspects of Declarative Languages... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hiererhalten Sie Ihren Download-Link.
CHF 93.50
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the refereed proceedings of the Second International Workshop on Practical Aspects of Declarative Languages, PADL 2000, held in Boston, MA, USA in January 2000.The 21 revised full papers presented were carefully reviewed and selected from a total of 36 submissions. The papers are organized in topical sections on functional programming, functional-logic programming, logic programming, innovative applications, constraint programming and constraint solving, and systems applications.



Inhalt

Functional Programming.- First Class Patterns?.- Parallel Functional Reactive Programming.- Out-of-Core Functional Programming with Type-Based Primitives.- Functional-Logic Programming.- A Functional Logic Programming Approach to Graphical User Interfaces.- Using Static Analysis to Compile Non-sequential Functional Logic Programs?.- Logic Programming.- GNU Prolog: Beyond Compiling Prolog to C.- Heap Garbage Collection in XSB: Practice and Experience.- Implementation of a Linear Tabling Mechanism.- How to Incorporate Negation in a Prolog Compiler?.- Innovative Applications I.- A Logic-Based Information System.- HIPPO - A Declarative Graphical Modelling System.- Calculating a New Data Mining Algorithm for.- Constraint Programming and Constraint Solving.- A Toolkit for Constraint-Based Inference Engines.- CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving.- Programming Deep Concurrent Constraint Combinators.- Labeling and Partial Local Consistency for Soft Constraint Programming.- Systems Applications.- Transformation-by-Example for XML.- Modeling HTML in Haskell.- A Logic Programming Approach to Supporting the Entries of XML Documents in an Object Database.- Innovative Applications II.- A Hybrid Approach for Solving Large Scale Crew Scheduling Problems.- Knowledgesheet: A Graphical Spreadsheet Interface for Interactively Developing a Class of Constraint Programs.- Invited Talks.- Current Trends in Logic Programming: Prospects and Promises (Abstract).- Production-Quality Proof-Carrying Code (Abstract).

Produktinformationen

Titel: Practical Aspects of Declarative Languages
Untertitel: Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings
Editor:
EAN: 9783540465843
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: IT & Internet
Veröffentlichung: 26.06.2003
Digitaler Kopierschutz: Wasserzeichen
Dateigrösse: 34.63 MB
Anzahl Seiten: 323

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"

Zuletzt angesehen
Verlauf löschen