Functional and Constraint Logic Programming : 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

Josep Silva

ISBN 10: 303016201X / ISBN 13: 9783030162016

Published by Springer International Publishing, Springer International Publishing, 2019

About this Item

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.

Seller Inventory # 9783030162016

Bibliographic Details

• Title: Functional and Constraint Logic Programming : 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers
• Publisher: Springer International Publishing, Springer International Publishing
• Publication Date: 2019
• Language: English
• ISBN 10: 303016201X
• ISBN 13: 9783030162016
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 11D millimeters 235 millimeters width by 155 millimeters height by 11 millimeters depth
• Weight: 295 grams

About this title

Synopsis

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.

 

Review