KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Functional and Logic Programming
  • Produktbild: Functional and Logic Programming
Band 4989

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings

Aus der Reihe Programming and Software Engineering

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.03.2008

Abbildungen

XI, 340 p.

Herausgeber

Jacques Garrigue + weitere

Verlag

Springer Berlin

Seitenzahl

340

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

534 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-78968-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.03.2008

Abbildungen

XI, 340 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

340

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

534 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-78968-0

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Functional and Logic Programming
  • Produktbild: Functional and Logic Programming
  • Invited Papers.- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming.- On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory.- Substructural Type Systems for Program Analysis.- Refereed Papers.- Integrating Answer Set Reasoning with Constraint Solving Techniques.- Optimizing Compilation of CHR with Rule Priorities.- Constructive Arithmetic.- Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base.- Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl).- Dependent Types.- On-Demand Refinement of Dependent Types.- Proving Properties about Lists Using Containers.- Rewriting.- Termination of Narrowing in Left-Linear Constructor Systems.- Complexity Analysis by Rewriting.- Rewriting and Call-Time Choice: The HO Case.- Program Transformation.- Semantics and Pragmatics of New Shortcut Fusion Rules.- A Generalization of the Folding Rule for the Clark-Kunen Semantics.- Logic and Lambda-Calculus.- Types for Hereditary Head Normalizing Terms.- A New Translation for Semi-classical Theories — Backtracking without CPS.- Types.- Undoing Dynamic Typing (Declarative Pearl).- Typed Dynamic Control Operators for Delimited Continuations.- Strictness Analysis Algorithms Based on an Inequality System for Lazy Types.- Constraints II.- Quantitative Logic Programming Revisited.- Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation.- Debugging.- Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming.- EasyCheck — Test Data for Free.