Información General

• Autores: Herbert Kuchen (coord.)
• Editores: Springer Alemania
• Año de publicación: 2011
• País: Alemania
• Idioma: inglés
• ISBN: 978-3-642-22531-4, 978-3-642-22530-7
• Recoge los contenidos presentados a: WFLP (20. 2011. Odense).
• Texto completo no disponible (Saber más ...)

Otros catálogos

• Red de Bibliotecas Universitarias (REBIUN)

Listado de artículos

• • Functional Logic Programming

    • KiCS2: A New Compiler from Curry to Haskell

      Bernd Braßel, Michael Hanus, Bjorn Peemoller, Fabian Reck

      págs. 1-18

      

    • New Functional Logic Design Patterns

      Sergio Antoy, Michael Hanus

      págs. 19-34

      

    • XQuery in the Functional-Logic Language Toy

      Jesús Manuel Almendros Jiménez, Rafael Caballero Roldán, Yolanda García Ruiz, Fernando Sáenz Pérez

      págs. 35-50

      

  • Functional Programming

    • Size Invariant and Ranking Function Synthesisin a Functional Language

      Ricardo Peña Marí, Agustín D. Delgado

      págs. 52-67

      

    • Memoizing a Monadic Mixin DSL

      Pieter Wuille, Tom Schrijvers, Horst Samulowitz, Guido Tack, Peter J. Stuckey

      págs. 68-85

      

    • A Functional Approach to Worst-Case Execution Time Analysis

      Vítor Rodrigues, Mário Florido, Simão Melo de Sousa

      págs. 86-103

      

    • Building a Faceted Browser in CouchDB Using Views on Views and Erlang Metaprogramming

      Claus Zinn

      págs. 104-121

      

  • Integration of Constraint Logic and Object-Oriented Programming

    • Logic Java: Combining Object-Oriented and Logic Programming

      Tim A. Majchrzak, Herbert Kuchen

      págs. 122-137

      

  • Term Rewriting

    • On Proving Termination of Constrained Term Rewrite Systems by Eliminating Edges from Dependency Graphs

      Tsubasa Sakata, Naoki Nishida, Toshiki Sakabe

      págs. 138-155