Andere Kunden interessierten sich auch für
![Logic-Based Program Synthesis and Transformation]( "Logic-Based Program Synthesis and Transformation")
Logic-Based Program Synthesis and Transformation37,99 €![Functional and Constraint Logic Programming]( "Functional and Constraint Logic Programming")
Functional and Constraint Logic Programming37,99 €![Relational and Algebraic Methods in Computer Science]( "Relational and Algebraic Methods in Computer Science")
Relational and Algebraic Methods in Computer Science37,99 €![Logic Programming and Nonmonotonic Reasoning]( "Logic Programming and Nonmonotonic Reasoning")
Logic Programming and Nonmonotonic Reasoning37,99 €![Interactive Theorem Proving]( "Interactive Theorem Proving")
Interactive Theorem Proving66,99 €![Functional and Logic Programming]( "Functional and Logic Programming")
Functional and Logic Programming39,99 €![Logic-Based Program Synthesis and Transformation]( "Logic-Based Program Synthesis and Transformation")
Logic-Based Program Synthesis and Transformation39,99 €
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.
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.