04181nam 22007215 450 99646613430331620200704142246.03-540-33439-410.1007/11737414(CKB)1000000000232928(SSID)ssj0000317823(PQKBManifestationID)11253092(PQKBTitleCode)TC0000317823(PQKBWorkID)10307496(PQKB)10834393(DE-He213)978-3-540-33439-2(MiAaPQ)EBC3067920(PPN)123133564(EXLCZ)99100000000023292820100301d2006 u| 0engurnn#008mamaatxtccrFunctional and Logic Programming[electronic resource] 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /edited by Masami Hagiya, Philip Wadler1st ed. 2006.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2006.1 online resource (X, 298 p.)Programming and Software Engineering ;3945Bibliographic Level Mode of Issuance: Monograph3-540-33438-6 Includes bibliographical references and index.Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence in Language Design: A Case of Lightning Striking Four Times in the Same Place -- Refereed Papers -- “Scrap Your Boilerplate” Reloaded -- Ruler: Programming Type Rules -- A Framework for Extended Algebraic Data Types -- Lock Free Data Structures Using STM in Haskell -- XML Type Checking Using High-Level Tree Transducer -- A Computational Approach to Pocklington Certificates in Type Theory -- Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust-Management System -- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems -- Resource Analysis by Sup-interpretation -- Lazy Set-Sharing Analysis -- Size-Change Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs of Projections -- iData for the World Wide Web – Programming Interconnected Web Forms -- Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages -- WASH Server Pages.Programming and Software Engineering ;3945Computer programmingProgramming languages (Electronic computers)Computer logicMathematical 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/I1603XMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Computer programming.Programming languages (Electronic computers).Computer logic.Mathematical logic.Artificial intelligence.Programming Techniques.Programming Languages, Compilers, Interpreters.Logics and Meanings of Programs.Mathematical Logic and Formal Languages.Artificial Intelligence.005.1/14Hagiya Masamiedthttp://id.loc.gov/vocabulary/relators/edtWadler Philipedthttp://id.loc.gov/vocabulary/relators/edtFuji International Symposium on Functional and Logic ProgrammingBOOK996466134303316Functional and Logic Programming772537UNISA