Functional constraint logic programming (59 resultados)

Condición: New.

Paperback or Softback. Condición: New. Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers. Book.

Paperback or Softback. Condición: New. Functional and Constraint Logic Programming: 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010, Revised Selected Papers. Book.

Condición: As New. Unread book in perfect condition.

Condición: New.

Condición: New.

Condición: New.

Condición: New.

Condición: New.

Condición: New.

Condición: As New. Unread book in perfect condition.

Condición: As New. Unread book in perfect condition.

Paperback. Condición: New. 2011th. 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.…

Condición: New.

Condición: As New. Unread book in perfect condition.

Condición: New.

Condición: New. 1st ed. 2019 edition NO-PA16APR2015-KAP.

Condición: New. 1st ed. 2021 edition NO-PA16APR2015-KAP.

Condición: As New. Unread book in perfect condition.

Condición: As New. Unread book in perfect condition.

Paperback. Condición: Brand New. 250 pages. 9.25x6.10x0.33 inches. In Stock.

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

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

Condición: New.

Taschenbuch. Condición: 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. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Thisvolumecontainsaselectionofthepaperspresentedatthe18thInternational 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. Condición: 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.…

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

paperback. Condición: Sehr gut. 168 Seiten; 9783642225307.2 Gewicht in Gramm: 500.

Taschenbuch. Condición: Neu. Functional and Constraint Logic Programming | 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers | Michael Hanus (u. a.) | Taschenbuch | Lecture Notes in Computer Science | 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.…