functional constraint logic programming (16 Ergebnisse)

Paperback. Zustand: Brand New. 250 pages. 9.25x6.10x0.33 inches. In Stock.

Paperback. Zustand: Brand New. revised edition. 188 pages. 9.25x6.10x0.51 inches. In Stock.

Paperback. Zustand: Brand New. 2011 edition. 184 pages. 9.29x6.06x0.55 inches. In Stock.

Paperback. Zustand: Brand New. 1st edition. 166 pages. 9.25x6.10x0.38 inches. In Stock.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed post-conference proceedings of the 28th International Workshop on Functional and Constraint Logic Programming, WFLP 2020, held in Bologna, Italy, in September 2020.Due to the COVID-19, the workshop was held online.From the 19 full papers submitted, 8 were accepted for presentation at the workshop. The accepted papers cover different programming areas of functional and logic programming, including code generation, verification, and debugging.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 156 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed post-conference proceedings of the 26th International Workshop on Functional and Constraint Logic Programming, WFLP 2018, held in Frankfurt/Main, Germany, in September 2018. From the 19 full papers submitted,12 were accepted for presentation at the workshop. During a second review after the workshop, 10 papers were accepted for inclusion in this volume. The papers cover different programming areas of functional and logic programming, including code generation, verification, and debugging. They are organized in the following topical sections: compilers and code generation; debugging and testing; and foundations of functional logic programming.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 188 pp. Englisch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed post-conference proceedings of the 28th International Workshop on Functional and Constraint Logic Programming, WFLP 2020, held in Bologna, Italy, in September 2020.Due to the COVID-19, the workshop was held online. From the 19 full papers submitted, 8 were accepted for presentation at the workshop. The accepted papers cover different programming areas of functional and logic programming, including code generation, verification, and debugging.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed post-conference proceedings of the 26thInternational Workshop on Functional and Constraint Logic Programming,WFLP 2018, held inFrankfurt/Main, Germany, in September2018.From the 19 full papers submitted,12 were accepted for presentation at the workshop. During a second review after the workshop, 10 papers were accepted for inclusion in this volume.The papers coverdifferent programming areas of functional and logic programming, including code generation, verification, and debugging. They are organized in the following topical sections: compilers and code generation; debugging and testing; and foundations of functional logic programming.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Thisvolumecontainsaselectionofthepaperspresentedatthe18thInternatio nal Workshop on Functional and (Constraint) Logic Programming (WFLP 2009), held on June 28, 2009 in Bras lia, Brazil. Previous WFLP meetings were held in Siena (2008), Paris (2007), Madrid (2006), Tallinn (2005), Aachen (2004), Valencia (2003),Grado(2002),Kiel(2001),Benicassim(2000),Grenoble(1999), Bad Honnef (1998), Schwarzenberg (1997, 1995, and 1994), Marburg (1996), Rattenberg (1993), and Karlsruhe (1992). The aim of the WFLP series is to bring together researchers interested in functional programming, (constraint) logic programming, as well as the integ- tion of the two paradigms. It promotes the cross-fertilizing exchange of ideas and experiences among researchers and students from the di erent commu- ties interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. WFLP 2009 solicited papers in all areas of functional and (constraint) logic programming, including but not limited to: Foundations:formalsemantics,rewritingandnarrowing,non-monotonicr- soning, dynamics, and type theory. Language Design: modules and type systems, multi-paradigm languages, concurrency and distribution, and objects. Implementation: abstract machines, parallelism, compile-time and run-time optimizations, and interfacing with external languages. Transformation and Analysis: abstract interpretation, specialization, partial evaluation, program transformation, and meta-programming. Software Engineering: design patterns, speci cation, veri cation and vali- tion, debugging, and test generation. IntegrationofParadigms:integrationofdeclarativeprogrammingwithother paradigms such as imperative, object-oriented, concurrent, and real-time programming. Applications: declarative programming in education and industry, doma- speci c languages, visual/graphical user interfaces, embedded systems, WWW applications, knowledge representation and machine learning, - ductive databases, advanced programming environments and tools.

Taschenbuch. Zustand: Neu. Functional and Constraint Logic Programming | 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers | Michael Hanus (u. a.) | Taschenbuch | vii | Englisch | 2021 | Springer | EAN 9783030753320 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Functional and Constraint Logic Programming | 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers | Santiago Escobar | Taschenbuch | ix | Englisch | 2010 | Springer | EAN 9783642119989 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed post-conference proceedings of the 26th International Workshop on Functional and Constraint Logic Programming, WFLP 2018, held in Frankfurt/Main, Germany, in September 2018. From the 19 full papers submitted,12 were accepted for presentation at the workshop. During a second review after the workshop, 10 papers were accepted for inclusion in this volume. The papers cover different programming areas of functional and logic programming, including code generation, verification, and debugging. They are organized in the following topical sections: compilers and code generation; debugging and testing; and foundations of functional logic programming.

Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Taschenbuch. Zustand: Neu. Neuware - This book constitutes the refereed conference proceedings of the 20th International Workshop on Functional and Constraint Logic Programming, WFLP 2011, held in Odense, Denmark, in July 2011 as Part of the 13th International Symposium on Principles and Practice of Declarative Programming (PPDP 2011), the 22st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011), and the 4th International Workshop on Approaches and Applications of Inductive Programming (AAIP 2011).From the 10 papers submitted, 9 were accepted for presentation the proceeding. The papers cover current research in all areas of functional and logic programming as well as the integration of constraint logic and object-oriented programming, and term rewriting.