國立高雄大學圖資館 |

Language: English

Back

Functional and logic programming15th...

(1998 :)

Functional and logic programming15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Functional and logic programmingedited by Keisuke Nakano, Konstantinos Sagonas.
Reminder of title:	15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020 : proceedings /
remainder title:	FLOPS 2020
other author:	Nakano, Keisuke.
corporate name:
Published:	Cham :Springer International Publishing :2020.
Description:	xii, 221 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Functional programming (Computer science)
Online resource:	https://doi.org/10.1007/978-3-030-59025-3
ISBN:	9783030590253$q(electronic bk.)

Functional and logic programming15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020 : proceedings /
Functional and logic programming15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020 : proceedings /[electronic resource] :FLOPS 2020edited by Keisuke Nakano, Konstantinos Sagonas. - Cham :Springer International Publishing :2020. - xii, 221 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,120730302-9743 ;. - Lecture notes in computer science ;4891..

Theory and Practice of Second-Order Rewriting: Foundation, Evolution, and SOL -- The Bang Calculus Revisited -- Functional Pearl: The Distributive λ-Calculus -- Polynomial time over the reals with parsimony -- Session Types without Sophistry (System Description) -- Restriction on cut in cyclic proof system for symbolic heaps -- On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming -- Declarative Pearl: Deriving Monadic Quicksort -- Language-Integrated Query with Nested Data Structures and Grouping -- An efficient composition of bidirectional programs by memoization and lazy update -- Implementing, and Keeping in Check, a DSL Used in E-Learning -- System Description: Lang-n-Change -- A Tool for Transforming Languages.

This book constitutes the proceedings of the 15th International Symposium on Functional and Logic Programming, FLOPS 2020, held in Akita, Japan*, in September 2020. The 12 papers presented in this volume were carefully reviewed and selected from 25 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional programming, logic programming, declarative programming, constraint programming, formal method, model checking, program transformation, program refinement, and type theory. *The conference was held virtually due to the COVID-19 pandemic.

ISBN: 9783030590253$q(electronic bk.)

Standard No.: 10.1007/978-3-030-59025-3doiSubjects--Topical Terms:

277879
Functional programming (Computer science)

LC Class. No.: QA76.62 / .F85 2020

Dewey Class. No.: 005.1

Functional and logic programming15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020 : proceedings /
LDR:02674nmm a2200361 a 4500 001 585941
003 DE-He213
005 20200909060820.0
006 m d
007 cr nn 008maaau
008 210323s2020 sz s 0 eng d
020 $a 9783030590253$q(electronic bk.)
020 $a 9783030590246$q(paper)
024 7 $a 10.1007/978-3-030-59025-3 $2 doi
035 $a 978-3-030-59025-3
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.62 $b .F85 2020
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.1 $2 23
090 $a QA76.62 $b .F961 2020
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Functional and logic programming $h [electronic resource] : $b 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020 : proceedings / $c edited by Keisuke Nakano, Konstantinos Sagonas.
246 3 $a FLOPS 2020
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a xii, 221 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 12073
490 1 $a Theoretical computer science and general issues
505 0 $a Theory and Practice of Second-Order Rewriting: Foundation, Evolution, and SOL -- The Bang Calculus Revisited -- Functional Pearl: The Distributive λ-Calculus -- Polynomial time over the reals with parsimony -- Session Types without Sophistry (System Description) -- Restriction on cut in cyclic proof system for symbolic heaps -- On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming -- Declarative Pearl: Deriving Monadic Quicksort -- Language-Integrated Query with Nested Data Structures and Grouping -- An efficient composition of bidirectional programs by memoization and lazy update -- Implementing, and Keeping in Check, a DSL Used in E-Learning -- System Description: Lang-n-Change -- A Tool for Transforming Languages.
520 $a This book constitutes the proceedings of the 15th International Symposium on Functional and Logic Programming, FLOPS 2020, held in Akita, Japan*, in September 2020. The 12 papers presented in this volume were carefully reviewed and selected from 25 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional programming, logic programming, declarative programming, constraint programming, formal method, model checking, program transformation, program refinement, and type theory. *The conference was held virtually due to the COVID-19 pandemic.
650 0 $a Functional programming (Computer science) $3 277879
650 0 $a Logic programming $3 295961
650 0 $a Software engineering. $3 184729
650 0 $a Programming languages (Electronic computers) $3 184586
650 0 $a Computer programming. $3 181992
650 0 $a Artificial intelligence. $3 194058
650 0 $a Computer logic. $3 199471
650 0 $a Logic, Symbolic and mathematical. $3 180452
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 274102
650 2 4 $a Programming Techniques. $3 274470
650 2 4 $a Logics and Meanings of Programs. $3 275357
650 2 4 $a Mathematical Logic and Formal Languages. $3 275383
700 1 $a Nakano, Keisuke. $3 877199
700 1 $a Sagonas, Konstantinos. $3 877200
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
830 0 $a Theoretical computer science and general issues. $3 822018
856 4 0 $u https://doi.org/10.1007/978-3-030-59025-3
950 $a Computer Science (SpringerNature-11645)