Central European Functional Programming School First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Horváth, Zoltán (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Colección:Theoretical Computer Science and General Issues, 4164
Temas:
Computer programming.
Compilers (Computer programs).
Software engineering.
Programming Techniques.
Compilers and Interpreters.
Software Engineering.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Generic Editors for the World Wide Web
  • Fully Automatic Testing with Functions as Specifications
  • Functional Array Programming in SaC
  • Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach
  • The Essence of Dataflow Programming
  • Temporal Properties of Clean Programs Proven in Sparkle-T
  • Tutorial on Subtype Marks
  • Designing Distributed Computational Skeletons in D-Clean and D-Box.

Ejemplares similares