Language:
English
繁體中文
Help
回圖書館首頁
手機版館藏查詢
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Functional and logic programming = 1...
~
Fuji International Symposium on Functional and Logic Programming (2020 :)
Linked to FindBook
Google Book
Amazon
博客來
Functional and logic programming = 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020 : proceedings /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Functional and logic programming/ edited 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:
Fuji International Symposium on Functional and Logic Programming
Published:
Cham :Springer International Publishing : : 2020.,
Description:
xii, 221 p. :ill. (some col.), digital ;24 cm.
[NT 15003449]:
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
Subject:
Functional programming (Computer science) - Congresses. -
Online resource:
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 programming
15th 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)
based on 0 review(s)
Location:
ALL
電子資源
Year:
Volume Number:
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
W9404622
電子資源
11.線上閱覽_V
電子書
EB QA76.62 .F85 2020
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login