Vor Ort
Merkzettel Warenkorb
  • Produktbild: Practical Aspects of Declarative Languages
  • Produktbild: Practical Aspects of Declarative Languages
Band 13880 - 12%

Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings

Aus der Reihe Lecture Notes in Computer Science
12% sparen

69,99 € UVP 80,24 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.01.2023

Abbildungen

XVIII, 313 p. 433 illus., 28 illus. in color.

Herausgeber

Michael Hanus + weitere

Verlag

Springer

Seitenzahl

313

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

505 g

Auflage

1st ed. 2023

Sprache

Englisch

ISBN

978-3-031-24840-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.01.2023

Abbildungen

XVIII, 313 p. 433 illus., 28 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

313

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

505 g

Auflage

1st ed. 2023

Sprache

Englisch

ISBN

978-3-031-24840-5

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: GPSR Kontakt

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: Practical Aspects of Declarative Languages
  • Produktbild: Practical Aspects of Declarative Languages
  • Functional Programming.-  RICE: An Optimizing Curry.- Program Synthesis Using Example Propagation.- Embedding Functional Logic Programming in Haskell via a Compiler Plugin.- Execution Time Program Verification With Tight Bounds.- Fluo: A Domain-Specific Language for Experiments in FluorescenceMicroscopy (Application Paper).-  Logic Programming.-  Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid Answer Set Programming (Application Paper).- Integrating ASP-based incremental reasoning in the videogame development workflow (Application Paper).- Dynamic slicing of Reaction Systems based on assertions and monitors.- Multiple Query Satisfiability of Constrained Horn Clauses.- Formalizing and Reasoning about Supply Chain Contracts between Agents.- From Starvation Freedom to All-Path Reachability Problems in Constrained Rewriting.- SwitchLog: A Logic Programming Language for Network Switches.- Linear Algebraic Abduction with Partial Evaluation.- Using Hybrid Knowledge Bases for Meta-reasoning over OWL 2 QL.- Solving Vehicle Equipment Specification Problems with Answer Set Programming.- UAV Compliance Checking using Answer Set Programming and Minimal Explanations towards Compliance (Application Paper).- Jury-trial Story Construction and Analysis using Goal-directed Answer Set Programming.- Pruning Redundancy in Answer Set Optimization Applied to Preventive Maintenance Scheduling.- Automatic Rollback Suggestions for Incremental Datalog Evaluation.