Functional and Constraint Logic Programming

Josep Silva

ISBN 10: 303016201X / ISBN 13: 9783030162016

Editore: Springer International Publishing, Springer Nature Switzerland Mär 2019, 2019

Riguardo questo articolo

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.

Codice articolo 9783030162016

Dati bibliografici

• Titolo: Functional and Constraint Logic Programming
• Editore: Springer International Publishing, Springer Nature Switzerland Mär 2019
• Data di pubblicazione: 2019
• Lingua: Inglese
• ISBN 10: 303016201X
• ISBN 13: 9783030162016
• Rilegatura: Taschenbuch
• Condizione: Neu
• Dimensioni: 235 L x 155 A x 11 P (millimetri) 235 millimetri di larghezza per 155 millimetri di altezza per 11 millimetri di profondità
• Peso: 295 grammi

Descrizione articolo

Riassunto

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.