Central European Functional Programming School : first summer school, CEFP 2005, Budapest, Hungary, July 4-15, 2005 : revised selected lectures / / Zoltan Horvath (ed.)
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Central European Functional Programming School : first summer school, CEFP 2005, Budapest, Hungary, July 4-15, 2005 : revised selected lectures / / Zoltan Horvath (ed.)
|
| Pubblicazione: | Berlin ; ; New York, : Springer, c2006 |
| Edizione: | 1st ed. 2006. |
| Descrizione fisica: | 1 online resource (VII, 257 p.) |
| Disciplina: | 005.11 |
| Soggetto topico: | Functional programming (Computer science) |
| Altri autori: |
HorvathZoltan <1962->
|
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di bibliografia: | Includes bibliographical references and index. |
| Nota di contenuto: | 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. |
| Altri titoli varianti: | CEFP 2005 |
| Titolo autorizzato: | Central European Functional Programming School |
| ISBN: | 3-540-46845-5 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910483082503321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture notes in computer science ; ; 4164.
LNCS sublibrary. : SL 1, . -Theoretical computer science and general issues.