Functional and Logic Programming

Beschreibung

This book constitutes the refereed proceedings of the 11th International Symposium on Functional and Logic Programming, FLOPS 2012, held in Kobe, Japan, in May 2012.
The 19 research papers and 3 system demonstrations presented in this volume were carefully reviewed and selected from 39 submissions. They deal with declarative programming, including functional programming and logic programming.
This book constitutes the refereed proceedings of the 11th International Symposium on Functional and Logic Programming, FLOPS 2012, held in Kobe, Japan, in May 2012. The 19 research papers and 3 system demonstrations presented in this volume were carefully reviewed and selected from 39 submissions. They deal with declarative programming, including functional programming and logic programming.
Up-to-date results Fast-track conference proceedings State-of-the-art research

Autor*in

Tom Schrijvers

Themen in »Functional and Logic Programming«

calculi classical logic constraint programming first-order set theory solver integration

Stimmen zu »Functional and Logic Programming«

Details

Link teilen