E-Book, Englisch, Band 3945, 298 Seiten, eBook
Hagiya / Wadler Functional and Logic Programming
2006
ISBN: 978-3-540-33439-2
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings
E-Book, Englisch, Band 3945, 298 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-33439-2
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.