LEADER 04181nam  22008295  450 
001 996466352103316
005 20230330003217.0
010   $a3-319-29604-3
024 7 $a10.1007/978-3-319-29604-3
035   $a(CKB)4340000000001286
035   $a(SSID)ssj0001658387
035   $a(PQKBManifestationID)16438057
035   $a(PQKBTitleCode)TC0001658387
035   $a(PQKBWorkID)14988919
035   $a(PQKB)11113192
035   $a(DE-He213)978-3-319-29604-3
035   $a(MiAaPQ)EBC6285664
035   $a(MiAaPQ)EBC5587412
035   $a(Au-PeEL)EBL5587412
035   $a(OCoLC)945925710
035   $a(PPN)192771558
035   $a(EXLCZ)994340000000001286
100   $a20160330d2016      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFunctional and Logic Programming$b[electronic resource] $e13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings /$fedited by Oleg Kiselyov, Andy King
205   $a1st ed. 2016.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016.
215   $a1 online resource (XII, 253 p. 55 illus. in color.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9613
300   $aIncludes index.
311   $a3-319-29603-5 
327   $aLogic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project -- From Sets to Bits in Coq -- From proposition to program: embedding the refinement calculus in Coq -- The Boolean Constraint Solver of SWI-Prolog: System Description -- Probabilistic inference by program transformation in Hakaru: System description -- An interaction net encoding of Godel's System T -- Space-efficient Planar Acyclicity Constraints: A Declarative Pearl -- Executable Relational Specifications of Polymorphic Type Systems using Prolog -- Proof Relevant Corecursive Resolution -- A Coq Library For Internal Verification of Running-Times -- A Transformational Approach to Parametric Accumulated-cost Static Profiling -- Polymorphic Types in Erlang Function Specifications -- Declarative foreign function binding through generic programming -- Declarative Programming with Algebra.
330   $aThis book constitutes the proceedings of the 13th International Symposium on Functional and Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016. The 14 papers presented in this volume were carefully reviewed and selected from 36 submissions. They cover the following topics: functional and logic programming; program transformation and re-writing; and extracting programs from proofs of their correctness. .
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9613
606   $aSoftware engineering
606   $aComputer science
606   $aCompilers (Computer programs)
606   $aMachine theory
606   $aArtificial intelligence
606   $aComputer programming
606   $aSoftware Engineering
606   $aComputer Science Logic and Foundations of Programming
606   $aCompilers and Interpreters
606   $aFormal Languages and Automata Theory
606   $aArtificial Intelligence
606   $aProgramming Techniques
615  0$aSoftware engineering.
615  0$aComputer science.
615  0$aCompilers (Computer programs).
615  0$aMachine theory.
615  0$aArtificial intelligence.
615  0$aComputer programming.
615 14$aSoftware Engineering.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aCompilers and Interpreters.
615 24$aFormal Languages and Automata Theory.
615 24$aArtificial Intelligence.
615 24$aProgramming Techniques.
676   $a005.114
702   $aKiselyov$b Oleg$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aKing$b Andy$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466352103316
996   $aFunctional and Logic Programming$9772537
997   $aUNISA