正題名/作者 : Functional and logic programming/ edited by John P. Gallagher, Martin Sulzmann.
其他題名 : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018 : proceedings /
其他題名 : FLOPS 2018
其他作者 : Gallagher, John P.
團體作者 : Fuji International Symposium on Functional and Logic Programming
出版者 : Cham :Springer International Publishing :2018.
面頁冊數 : xvi, 281 p. :ill., digital ;24 cm.
Contained By : Springer eBooks
標題 : Functional programming (Computer science) - Congresses. -
電子資源 : 線上閱讀(Springer)
ISBN : 9783319906867$q(electronic bk.)
ISBN : 9783319906850$q(paper)
LEADER 01585cmm 2200229 a 450
001 286730
008 180423s2018 gw s 0 eng d
020 $a9783319906867$q(electronic bk.)
020 $a9783319906850$q(paper)
035 $a00335723
041 0 $aeng
050 4$aQA76.758
082 04$a005.114$223
090 $aE-BOOK/005.114///UE029477
111 2 $aFuji International Symposium on Functional and Logic Programming$n(14th :$d2018 :$cNagoya, Japan)$3513107
245 10$aFunctional and logic programming$h[electronic resource] :$b14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018 : proceedings /$cedited by John P. Gallagher, Martin Sulzmann.
246 3 $aFLOPS 2018
260 $aCham :$bSpringer International Publishing :$bImprint: Springer,$c2018.
300 $axvi, 281 p. :$bill., digital ;$c24 cm.
490 1 $aLecture notes in computer science,$x0302-9743 ;$v10818
520 $aThis book constitutes the proceedings of the 14th International Symposium on Functional and Logic Programming, FLOPS 2018, held in Nagoya, Japan, in May 2018. The 17 papers presented in this volume were carefully reviewed and selected from 41 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional-logic programming, re-writing systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers, language design, and implementation issues.
650 0$aFunctional programming (Computer science)$xCongresses.$3148131
650 0$aLogic programming$xCongresses.$3179621
650 0$aComputer programming.$3197290
650 0$aSoftware engineering.$3189647
650 0$aProgramming languages (Electronic computers)$3184249
650 14$aComputer Science.$3238508
650 24$aSoftware Engineering.$3402744
650 24$aProgramming Languages, Compilers, Interpreters.$3406592
650 24$aProgramming Techniques.$3403281
650 24$aThe Computing Profession.$3444793
650 24$aSystem Performance and Evaluation.$3401911
650 24$aSpecial Purpose and Application-Based Systems.$3406939
700 1 $aGallagher, John P.$3513108
700 1 $aSulzmann, Martin.$3513109
710 2 $aSpringerLink (Online service)$3374217
773 0 $tSpringer eBooks
830 0$aLecture notes in computer science ;$v10818.$3513110
856 40$uhttps://erm.library.ntpu.edu.tw/login?url=http://dx.doi.org/10.1007/978-3-319-90686-7$z線上閱讀(Springer)
950 $aComputer Science (Springer-11645)