Functional and Logic Programming: 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

Michael Codish; Eijiro Sumii

doi:10.1007/978-3-319-07151-0

Functional and Logic Programming: 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

Michael Codish (Editor)
, Eijiro Sumii (Editor)

Research output: Book/Report › Book › peer-review

Abstract

This book constitutes the refereed proceedings of the 12th International Symposium on Functional and Logic Programming, FLOPS 2014, held in Kanazawa, Japan, in June 2014. The 21 full papers and 3 invited talks presented in this volume were carefully reviewed and selected from 41 submissions. They deal with declarative programming, including functional programming and logic programming.

Original language	English
Publisher	Springer Cham
Number of pages	353
ISBN (Electronic)	9783319071510
ISBN (Print)	9783319071503
DOIs	https://doi.org/10.1007/978-3-319-07151-0
State	Published - Apr 2014
Event	12th International Symposium on Functional and Logic Programming, FLOPS 2014 - Kanazawa, Japan Duration: 4 Jun 2014 → 6 Jun 2014

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-319-07151-0

Cite this

@book{6b388bed5c70420e9bfa6b9b7a7e33f8,

title = "Functional and Logic Programming: 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings",

abstract = "This book constitutes the refereed proceedings of the 12th International Symposium on Functional and Logic Programming, FLOPS 2014, held in Kanazawa, Japan, in June 2014. The 21 full papers and 3 invited talks presented in this volume were carefully reviewed and selected from 41 submissions. They deal with declarative programming, including functional programming and logic programming.",

editor = "Michael Codish and Eijiro Sumii",

note = "DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.; 12th International Symposium on Functional and Logic Programming, FLOPS 2014 ; Conference date: 04-06-2014 Through 06-06-2014",

year = "2014",

month = apr,

doi = "10.1007/978-3-319-07151-0",

language = "English",

isbn = "9783319071503",

series = "Lecture Notes in Computer Science",

publisher = "Springer Cham",

}

TY - BOOK

T1 - Functional and Logic Programming

T2 - 12th International Symposium on Functional and Logic Programming, FLOPS 2014

A2 - Codish, Michael

A2 - Sumii, Eijiro

N1 - DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2014/4

Y1 - 2014/4

N2 - This book constitutes the refereed proceedings of the 12th International Symposium on Functional and Logic Programming, FLOPS 2014, held in Kanazawa, Japan, in June 2014. The 21 full papers and 3 invited talks presented in this volume were carefully reviewed and selected from 41 submissions. They deal with declarative programming, including functional programming and logic programming.

AB - This book constitutes the refereed proceedings of the 12th International Symposium on Functional and Logic Programming, FLOPS 2014, held in Kanazawa, Japan, in June 2014. The 21 full papers and 3 invited talks presented in this volume were carefully reviewed and selected from 41 submissions. They deal with declarative programming, including functional programming and logic programming.

UR - https://www.scopus.com/pages/publications/84902469422

U2 - 10.1007/978-3-319-07151-0

DO - 10.1007/978-3-319-07151-0

M3 - Book

AN - SCOPUS:84902469422

SN - 9783319071503

T3 - Lecture Notes in Computer Science

BT - Functional and Logic Programming

PB - Springer Cham

Y2 - 4 June 2014 through 6 June 2014

ER -

Functional and Logic Programming: 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

Abstract

Publication series

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this