東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Functional and logic programming = 1...

Fuji International Symposium on Functional and Logic Programming (2020 :)

FindBook

Google Book

Amazon

博客來

Functional and logic programming = 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Functional and logic programming/ edited by Keisuke Nakano, Konstantinos Sagonas.
其他題名:	15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020 : proceedings /
其他題名:	FLOPS 2020
其他作者:	Nakano, Keisuke.
團體作者:	Fuji International Symposium on Functional and Logic Programming
出版者:	Cham :Springer International Publishing : : 2020.,
面頁冊數:	xii, 221 p. :ill. (some col.), digital ;24 cm.
內容註:	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.
Contained By:	Springer Nature eBook
標題:	Functional programming (Computer science) - Congresses. -
電子資源:	https://doi.org/10.1007/978-3-030-59025-3
ISBN:	9783030590253

Functional and logic programming = 15th 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 ;12073..

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

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

835396
Functional programming (Computer science)
--Congresses.

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

Dewey Class. No.: 005.1

Functional and logic programming = 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020 : proceedings /
LDR:02674nmm a2200361 a 4500 001 2243576
003 DE-He213
005 20200909060820.0
006 m d
007 cr nn 008maaau
008 211207s2020 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 $a Fuji International Symposium on Functional and Logic Programming $n (15th : $d 2020 : $c Online) $3 3503722
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) $v Congresses. $3 835396
650 0 $a Logic programming $v Congresses. $3 840448
650 0 $a Software engineering. $3 559826
650 0 $a Programming languages (Electronic computers) $3 606806
650 0 $a Computer programming. $3 527209
650 0 $a Artificial intelligence. $3 516317
650 0 $a Computer logic. $3 840463
650 0 $a Logic, Symbolic and mathematical. $3 532051
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 891123
650 2 4 $a Programming Techniques. $3 892496
650 2 4 $a Logics and Meanings of Programs. $3 892495
650 2 4 $a Mathematical Logic and Formal Languages. $3 892517
700 1 $a Nakano, Keisuke. $3 3503723
700 1 $a Sagonas, Konstantinos. $3 3503724
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 12073. $3 3503725
830 0 $a Theoretical computer science and general issues. $3 3382501
856 4 0 $u https://doi.org/10.1007/978-3-030-59025-3
950 $a Computer Science (SpringerNature-11645)