LEADER 03274nam  22007335  450 
001 9910349422903321
005 20230221181039.0
010   $a3-319-90686-0
024 7 $a10.1007/978-3-319-90686-7
035   $a(CKB)4100000003359672
035   $a(DE-He213)978-3-319-90686-7
035   $a(MiAaPQ)EBC6302203
035   $a(PPN)226696685
035   $a(EXLCZ)994100000003359672
100   $a20180423d2018      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFunctional and Logic Programming $e14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9?11, 2018, Proceedings /$fedited by John P. Gallagher, Martin Sulzmann
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (XVI, 281 p. 74 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10818
311   $a3-319-90685-2 
330   $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. .
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10818
606   $aSoftware engineering
606   $aCompilers (Computer programs)
606   $aComputer programming
606   $aComputers
606   $aProfessions
606   $aElectronic digital computers?Evaluation
606   $aComputers, Special purpose
606   $aSoftware Engineering
606   $aCompilers and Interpreters
606   $aProgramming Techniques
606   $aThe Computing Profession
606   $aSystem Performance and Evaluation
606   $aSpecial Purpose and Application-Based Systems
615  0$aSoftware engineering.
615  0$aCompilers (Computer programs).
615  0$aComputer programming.
615  0$aComputers.
615  0$aProfessions.
615  0$aElectronic digital computers?Evaluation.
615  0$aComputers, Special purpose.
615 14$aSoftware Engineering.
615 24$aCompilers and Interpreters.
615 24$aProgramming Techniques.
615 24$aThe Computing Profession.
615 24$aSystem Performance and Evaluation.
615 24$aSpecial Purpose and Application-Based Systems.
676   $a005.1
702   $aGallagher$b John P$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSulzmann$b Martin$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910349422903321
996   $aFunctional and Logic Programming$9772537
997   $aUNINA