• Produktbild: Logic-Based Program Synthesis and Transformation
  • Produktbild: Logic-Based Program Synthesis and Transformation
Band 5438

Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.02.2009

Abbildungen

IX, 185 p.

Herausgeber

Michael Hanus

Verlag

Springer Berlin

Seitenzahl

185

Maße (L/B/H)

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

Gewicht

306 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-00514-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.02.2009

Abbildungen

IX, 185 p.

Herausgeber

Michael Hanus

Verlag

Springer Berlin

Seitenzahl

185

Maße (L/B/H)

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

Gewicht

306 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-00514-5

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

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: Logic-Based Program Synthesis and Transformation
  • Produktbild: Logic-Based Program Synthesis and Transformation
  • Space Invading Systems Code.- Test Data Generation of Bytecode by CLP Partial Evaluation.- A Modular Equational Generalization Algorithm.- A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs.- Analysis of Linear Hybrid Systems in CLP.- Automatic Generation of Test Inputs for Mercury.- Analytical Inductive Functional Programming.- The MEB and CEB Static Analysis for CSP Specifications.- Fast Offline Partial Evaluation of Large Logic Programs.- An Inference Algorithm for Guaranteeing Safe Destruction.- From Monomorphic to Polymorphic Well-Typings and Beyond.- On Negative Unfolding in the Answer Set Semantics.