Theoretical Computer Science and General Issues

Functional and Logic Programming

13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

Editors: Kiselyov, Oleg, King, Andy (Eds.)

書籍の購入

イーブック 39,26 €
価格の適用国: Japan (小計)
  • ISBN 978-3-319-29604-3
  • ウォーターマーク付、 DRMフリー
  • ファイル形式: PDF, EPUB
  • どの電子書籍リーダーからでもすぐにお読みいただけます。
  • ご購入後、すぐにダウンロードしていただけます。
ソフトカバー 48,00 €
価格の適用国: Japan (小計)
  • ISBN 978-3-319-29603-6
  • 個人のお客様には、世界中どこでも配送料無料でお届けします。
  • Usually dispatched within 3 to 5 business days.
この書籍について

This book constitutes the proceedings of the 13th International Symposium on Functional and Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016.
The 14 papers presented in this volume were carefully reviewed and selected from 36 submissions. They cover the following topics: functional and logic programming; program transformation and re-writing; and extracting programs from proofs of their correctness. 

Table of contents (15 chapters)

  • Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project

    Ueda, Kazunori

    Pages 1-11

    Preview Buy Chapter 26,95 €
  • From Sets to Bits in Coq

    Blot, Arthur (et al.)

    Pages 12-28

    Preview Buy Chapter 26,95 €
  • From Proposition to Program

    Swierstra, Wouter (et al.)

    Pages 29-44

    Preview Buy Chapter 26,95 €
  • The Boolean Constraint Solver of SWI-Prolog (System Description)

    Triska, Markus

    Pages 45-61

    Preview Buy Chapter 26,95 €
  • Probabilistic Inference by Program Transformation in Hakaru (System Description)

    Narayanan, Praveen (et al.)

    Pages 62-79

    Preview Buy Chapter 26,95 €

書籍の購入

イーブック 39,26 €
価格の適用国: Japan (小計)
  • ISBN 978-3-319-29604-3
  • ウォーターマーク付、 DRMフリー
  • ファイル形式: PDF, EPUB
  • どの電子書籍リーダーからでもすぐにお読みいただけます。
  • ご購入後、すぐにダウンロードしていただけます。
ソフトカバー 48,00 €
価格の適用国: Japan (小計)
  • ISBN 978-3-319-29603-6
  • 個人のお客様には、世界中どこでも配送料無料でお届けします。
  • Usually dispatched within 3 to 5 business days.
Loading...

あなたへのおすすめ

Loading...

書誌情報

Bibliographic Information
Book Title
Functional and Logic Programming
Book Subtitle
13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
Editors
  • Oleg Kiselyov
  • Andy King
Series Title
Theoretical Computer Science and General Issues
Series Volume
9613
Copyright
2016
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
イーブック ISBN
978-3-319-29604-3
DOI
10.1007/978-3-319-29604-3
ソフトカバー ISBN
978-3-319-29603-6
Edition Number
1
Number of Pages
XII, 253
Number of Illustrations and Tables
55 illustrations in colour
Topics