LEADER 05909nam 22007575 450 001 996466160403316 005 20200702132332.0 010 $a3-540-45048-3 024 7 $a10.1007/BFb0026808 035 $a(CKB)1000000000234344 035 $a(SSID)ssj0000325930 035 $a(PQKBManifestationID)11264622 035 $a(PQKBTitleCode)TC0000325930 035 $a(PQKBWorkID)10265152 035 $a(PQKB)11494808 035 $a(DE-He213)978-3-540-45048-1 035 $a(PPN)155227963 035 $a(EXLCZ)991000000000234344 100 $a20121227d1995 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aProgramming Languages: Implementations, Logics and Programs$b[electronic resource] $e7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings /$fedited by Manuel Hermenegildo, S.Doaitse Swierstra 205 $a1st ed. 1995. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1995. 215 $a1 online resource (XII, 476 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v982 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-60359-X 327 $aA generic program for sequential decision processes -- Parsing visual languages with constraint multiset grammars -- Programming with constructor classes -- Towards a taxonomy of functional language implementations -- A ?-calculus à la de Bruijn with explicit substitutions -- A verified implementation of narrowing -- A new calculus for semantic matching -- A complete narrowing calculus for higher-order functional logic programming -- Exploiting parallelism in tabled evaluations -- Design and implementation of jump tables for fast indexing of logic programs -- An abstract machine for Oz -- Uniform PERs and comportment analysis -- Uniqueness type inference -- Modes of comprehension: Mode analysis of arrays and array comprehensions -- Better consumers for deforestation -- Efficient compile-time garbage collection for arbitrary data structures -- Efficient multi-level generating extensions for program specialization -- Mechanically verifying the correctness of an offline partial evaluator -- A semantic model of binding times for safe partial evaluation -- Gadgets: Lazy functional components for graphical user interfaces -- Lightweight GUIs for functional programming -- Local linear logic for locality consciousness in multiset transformation -- The notion of floundering for SLDNF-resolution revisited -- Minimal set unification -- Goal-directed query processing in disjunctive logic databases -- A dataflow semantics for constraint logic programs -- A functional framework for deterministically interleaved interactive programs -- A debugging model for lazy narrowing -- Evaluation of expressions in a multiparadigm framework -- An expression-or-parallel implementation for a functional logic language -- Attributed models of executable specifications -- Approximating constraint logic programs using polymorphic types and regular descriptions -- Performance of a data-parallel concurrent constraint programming system -- A portable implementation of memoing evaluation. 330 $aThis book constitutes the proceedings of the Seventh International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP '95, held in Utrecht, The Netherlands, in September 1995. The book presents 26 refereed full papers selected from 84 submissions; they report research on declarative programming languages and provide insights in the relation between the logic of those languages, implementation techniques, and the use of these languages in constructing real programs. In addition there are abstracts or full presentations of three invited talks as well as eight posters and demonstrations. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v982 606 $aProgramming languages (Electronic computers) 606 $aComputer programming 606 $aComputer logic 606 $aMathematical logic 606 $aComputer science?Mathematics 606 $aArtificial intelligence 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aSymbolic and Algebraic Manipulation$3https://scigraph.springernature.com/ontologies/product-market-codes/I17052 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aProgramming languages (Electronic computers). 615 0$aComputer programming. 615 0$aComputer logic. 615 0$aMathematical logic. 615 0$aComputer science?Mathematics. 615 0$aArtificial intelligence. 615 14$aProgramming Languages, Compilers, Interpreters. 615 24$aProgramming Techniques. 615 24$aLogics and Meanings of Programs. 615 24$aMathematical Logic and Formal Languages. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aArtificial Intelligence. 676 $a005.13 702 $aHermenegildo$b Manuel$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSwierstra$b S.Doaitse$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aPLILP '95 906 $aBOOK 912 $a996466160403316 996 $aProgramming Languages: Implementations, Logics, and Programs$92257564 997 $aUNISA