04103nam 22007095 450 99646555790331620200703223236.03-540-45788-710.1007/3-540-45788-7(CKB)1000000000211825(SSID)ssj0000323354(PQKBManifestationID)11272575(PQKBTitleCode)TC0000323354(PQKBWorkID)10299823(PQKB)10675265(DE-He213)978-3-540-45788-6(MiAaPQ)EBC3071898(PPN)155200569(EXLCZ)99100000000021182520121227d2002 u| 0engurnn|008mamaatxtccrFunctional and Logic Programming[electronic resource] 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings /edited by Zhenjiang Hu, Mario Rodriquez-Artalejo1st ed. 2002.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2002.1 online resource (X, 310 p.) Lecture Notes in Computer Science,0302-9743 ;2441Bibliographic Level Mode of Issuance: Monograph3-540-44233-2 Includes bibliographical references and index.Invited Papers -- Formal Methods in CafeOBJ -- The Essence of XML (Preliminary Version) -- To the Gates of HAL: A HAL Tutorial -- Tutorial Paper -- Functional Logic Design Patterns -- Constraints -- On Consistency and Width Notions for Constraint Programs with Algebraic Constraints -- Solving Mixed Quantified Constraints over a Domain Based on eal Numbers and erbrand Terms -- Program Transformation and Analysis -- On the Correctness of the Factoring Transformation -- Lambda-Lifting in Quadratic Time -- Semantics -- The Well-Founded Semantics in Normal Logic Programs with Uncertainty -- Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus -- Coinductive Interpreters for Process Calculi -- Rewriting -- Descendants and Head Normalization of Higher-Order Rewrite Systems -- Narrowing Failure in Functional Logic Programming -- Compilation Techniques -- The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation -- Dynamic-Cut with Definitional Trees -- Programming Methodology -- The Head Condition and Polymorphic Recursion -- Structural Abstraction and Application in Logic Programming -- VM?: A Functional Calculus for Scientific Discovery.Lecture Notes in Computer Science,0302-9743 ;2441Computer programmingProgramming languages (Electronic computers)Computer logicArtificial intelligenceProgramming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Computer programming.Programming languages (Electronic computers).Computer logic.Artificial intelligence.Programming Techniques.Programming Languages, Compilers, Interpreters.Logics and Meanings of Programs.Artificial Intelligence.005.1/14Hu Zhenjiangedthttp://id.loc.gov/vocabulary/relators/edtRodriquez-Artalejo Marioedthttp://id.loc.gov/vocabulary/relators/edtFuji International Symposium on Functional and Logic ProgrammingMiAaPQMiAaPQMiAaPQBOOK996465557903316Functional and Logic Programming772537UNISA