Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Hagiya, Masami (Επιμελητής έκδοσης), Wadler, Philip (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Lecture Notes in Computer Science, 3945
• Θέματα: Computer science.; Computer programming.; Programming languages (Electronic computers).; Computer logic.; Mathematical logic.; Artificial intelligence.; Computer Science.; Programming Techniques.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Artificial Intelligence (incl. Robotics).

Πίνακας περιεχομένων:

• 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.