E-Book, Englisch, 257 Seiten, eBook
Horváth Central European Functional Programming School
2006
ISBN: 978-3-540-46845-5
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures
E-Book, Englisch, 257 Seiten, eBook
Reihe: Theoretical Computer Science and General Issues
ISBN: 978-3-540-46845-5
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.