Verkauf durch Sack Fachmedien

Pontelli / Vitor

Practical Aspects of Declarative Languages

Medium: Buch
ISBN: 978-3-540-66992-0
Verlag: Springer Berlin Heidelberg
Erscheinungstermin: 05.01.2000
Lieferfrist: bis zu 10 Tage

persweresubmittedinresponsetothecallforpapers.


Produkteigenschaften


  • Artikelnummer: 9783540669920
  • Medium: Buch
  • ISBN: 978-3-540-66992-0
  • Verlag: Springer Berlin Heidelberg
  • Erscheinungstermin: 05.01.2000
  • Sprache(n): Englisch
  • Auflage: 2000
  • Serie: Lecture Notes in Computer Science
  • Produktform: Kartoniert, Paperback
  • Gewicht: 1070 g
  • Seiten: 323
  • Format (B x H x T): 155 x 235 x 19 mm
  • Ausgabetyp: Kein, Unbekannt
Autoren/Hrsg.

Herausgeber

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).