LEADER 05908nam 22007335 450 001 996465565003316 005 20200706140415.0 010 $a1-280-30803-6 010 $a9786610308033 010 $a3-540-24754-8 024 7 $a10.1007/b96926 035 $a(CKB)1000000000212355 035 $a(DE-He213)978-3-540-24754-8 035 $a(SSID)ssj0000159669 035 $a(PQKBManifestationID)11164537 035 $a(PQKBTitleCode)TC0000159669 035 $a(PQKBWorkID)10181347 035 $a(PQKB)10348070 035 $a(MiAaPQ)EBC3087821 035 $a(PPN)155224336 035 $a(EXLCZ)991000000000212355 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFunctional and Logic Programming$b[electronic resource] $e7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings /$fedited by Yukiyoshi Kameyama, Peter J. Stuckey 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (X, 307 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2998 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-21402-X 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aInvited Papers -- A Brief Survey of Quantum Programming Languages -- Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic -- Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework -- Refereed Papers Logic and Functional-Logic Programming -- Online Justification for Tabled Logic Programs -- Constructive Intensional Negation -- Analysing Definitional Trees: Looking for Determinism -- Applications -- : a Declarative Debugging Tool for Functional-Logic Languages -- LIX: an Effective Self-applicable Partial Evaluator for Prolog -- Program Analysis -- Multivariant Non-failure Analysis via Standard Abstract Interpretation -- Set-Sharing Is Not Always Redundant for Pair-Sharing -- Backward Pair Sharing Analysis -- Rewriting -- Implementing Natural Rewriting and Narrowing Efficiently -- Complete Axiomatization of an Algebraic Construction of Graphs -- Sub-Birkhoff -- Types and Modules -- Relaxing the Value Restriction -- Rigid Mixin Modules -- Logic and Semantics -- Semantics of Linear Continuation-Passing in Call-by-Name -- A Direct Proof of Strong Normalization for an Extended Herbelin?s Calculus -- Functional Programming -- Normalization by Evaluation for ? ?2 -- Basic Pattern Matching Calculi: a Fresh View on Matching Failure -- Derivation of Deterministic Inverse Programs Based on LR Parsing. 330 $aThis volume contains the proceedings of the 7th International Symposium on Functional and Logic Programming (FLOPS 2004), held in Nara, Japan, April 7?9, 2004 at the New Public Hall, Nara. FLOPS is a forum for research on all issues concerning functional programming and logic programming. In particular it aims to stimulate the cross-fertilization as well as the integration of the two paradigms. The previous FLOPS meetings took place in Fuji-Susono (1995), Shonan (1996), Kyoto (1998), Tsukuba (1999),Tokyo(2001)and Aizu (2002). The proceedings of FLOPS 1999,FLOPS 2001 and FLOPS 2002 were published by Springer-Verlag in the Lecture Notes in Computer Science series, as volumes 1722, 2024 and 2441, respectively. In response to the call for papers, 55 papers were submitted by authors from 1 Australia (1), Austria (1), Canada (1), China (4), Denmark (2), Estonia ( ), 2 1 1 France (3 ), Germany (4 ), Italy (1), Japan (15), the Netherlands (1), Oman 2 4 1 1 (1), Portugal ( ), Singapore (2), Spain (8), UK (3), and USA (6 ). Each paper 2 4 was reviewed by at least three program committee members with the help of expert external reviewers. The program committee meeting was conducted electronically for a period of 2 weeks in December 2003. After careful and thorough discussion, the program committee selected 18 papers (33%) for presentation at the conference. In addition to the 18 contributed papers, the symposium included talks by three invited speakers: Masami Hagiya (University of Tokyo), Carsten Schur ¨ mann (Yale University), and Peter Selinger (University of Ottawa). 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2998 606 $aComputer programming 606 $aProgramming languages (Electronic computers) 606 $aComputer logic 606 $aArtificial intelligence 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aComputer programming. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer logic. 615 0$aArtificial intelligence. 615 14$aProgramming Techniques. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aLogics and Meanings of Programs. 615 24$aArtificial Intelligence. 676 $a005.1/14 702 $aKameyama$b Yukiyoshi$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aStuckey$b Peter J$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465565003316 996 $aFunctional and Logic Programming$9772537 997 $aUNISA