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

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Hagiya, Masami (Editor ), Wadler, Philip (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Colección:Programming and Software Engineering, 3945
Temas:
Computer programming.
Compilers (Computer programs).
Computer science.
Machine theory.
Artificial intelligence.
Programming Techniques.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Artificial Intelligence.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares