正題名/作者 : Functional and constraint logic programming/ edited by Josep Silva.
其他題名 : 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018 : revised selected papers /
其他題名 : WFLP 2018
其他作者 : Silva, Josep.
團體作者 : WFLP (Workshop)
出版者 : Cham :Springer International Publishing :2019.
面頁冊數 : vii, 179 p. :ill. (some col.), digital ;24 cm.
Contained By : Springer eBooks
標題 : Functional programming (Computer science) - Congresses. -
電子資源 : 線上閱讀(Springer)
ISBN : 9783030162023$q(electronic bk.)
ISBN : 9783030162016$q(paper)
LEADER 01692cmm 2200241 a 450
001 302913
008 190315s2019 gw s 0 eng d
020 $a9783030162023$q(electronic bk.)
020 $a9783030162016$q(paper)
035 $a00355226
041 0 $aeng
050 4$aQA76.62
082 04$a005.114$223
090 $aE-BOOK/005.114///UE037575
111 2 $aWFLP (Workshop)$n(26th :$d2018 :$cFrankfurt am Main, Germany)$3542663
245 10$aFunctional and constraint logic programming$h[electronic resource] :$b26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018 : revised selected papers /$cedited by Josep Silva.
246 3 $aWFLP 2018
260 $aCham :$bSpringer International Publishing :$bImprint: Springer,$c2019.
300 $avii, 179 p. :$bill. (some col.), digital ;$c24 cm.
490 1 $aLecture notes in computer science,$x0302-9743 ;$v11285
490 1 $aTheoretical computer science and general issues
520 $aThis book constitutes the refereed post-conference proceedings of the 26th International Workshop on Functional and Constraint Logic Programming, WFLP 2018, held in Frankfurt/Main, Germany, in September 2018. From the 19 full papers submitted,12 were accepted for presentation at the workshop. During a second review after the workshop, 10 papers were accepted for inclusion in this volume. The papers cover different programming areas of functional and logic programming, including code generation, verification, and debugging. They are organized in the following topical sections: compilers and code generation; debugging and testing; and foundations of functional logic programming.
650 0$aFunctional programming (Computer science)$xCongresses.$3148131
650 0$aConstraint programming (Computer science)$vCongresses.$3421450
650 0$aLogic programming$xCongresses.$3179621
650 14$aLogics and Meanings of Programs.$3406591
650 24$aProgramming Techniques.$3403281
650 24$aProgramming Languages, Compilers, Interpreters.$3406592
650 24$aArtificial Intelligence.$3263467
700 1 $aSilva, Josep.$3542664
710 2 $aSpringerLink (Online service)$3374217
773 0 $tSpringer eBooks
830 0$aLecture notes in computer science ;$v11285.$3542665
830 0$aTheoretical computer science and general issues.$3538300
856 40$uhttps://erm.library.ntpu.edu.tw/login?url=https://doi.org/10.1007/978-3-030-16202-3$z線上閱讀(Springer)
950 $aComputer Science (Springer-11645)