Koha online

Your cart is empty.
Normal view MARC view ISBD view

Functional and Logic Programming [electronic resource] :8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings / edited by Masami Hagiya, Philip Wadler.

by Hagiya, Masami [editor.]; Wadler, Philip [editor.]; SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Lecture Notes in Computer Science: 3945Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Description: X, 295 p. Also available online. online resource.ISBN: 9783540334392.Subject(s): Computer science | Logic design | Artificial intelligence | Computer Science | Programming Techniques | Programming Languages, Compilers, Interpreters | Logics and Meanings of Programs | Mathematical Logic and Formal Languages | Artificial Intelligence (incl. Robotics)DDC classification: 005.11 Online resources: Click here to access online
Contents:
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.
In: Springer eBooksSummary: This book constitutes the refereed proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS 2006, held in Fuji-Susono, Japan, in April 2006. The 17 revised full papers presented together with 2 invited contributions were carefully reviewed and selected from 51 submissions. The papers are organized in topical sections on data types, FP extensions, type theory, LP extensions, analysis, contracts, as well as Web and GUI.
Tags from this library: No tags from this library for this title. Add tag(s)
Log in to add tags.
    average rating: 0.0 (0 votes)

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.

This book constitutes the refereed proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS 2006, held in Fuji-Susono, Japan, in April 2006. The 17 revised full papers presented together with 2 invited contributions were carefully reviewed and selected from 51 submissions. The papers are organized in topical sections on data types, FP extensions, type theory, LP extensions, analysis, contracts, as well as Web and GUI.

There are no comments for this item.

Log in to your account to post a comment.
@ Jomo Kenyatta University Of Agriculture and Technology Library

Powered by Koha