Vai al contenuto principale della pagina
Titolo: | Central European Functional Programming School [[electronic resource] ] : 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers / / edited by Viktória Zsók, Zoltán Horváth, Lehel Csató |
Pubblicazione: | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Edizione: | 1st ed. 2015. |
Descrizione fisica: | 1 online resource (VII, 507 p. 122 illus.) |
Disciplina: | 005.11 |
Soggetto topico: | Computer programming |
Software engineering | |
Compilers (Computer programs) | |
Computer science | |
Programming Techniques | |
Software Engineering | |
Compilers and Interpreters | |
Computer Science Logic and Foundations of Programming | |
Persona (resp. second.): | ZsókViktória |
HorváthZoltán | |
CsatóLehel | |
Note generali: | Bibliographic Level Mode of Issuance: Monograph |
Nota di contenuto: | Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram -- The Idris Programming Language -- An Introduction to Task Oriented Programming -- Spreadsheet Engineering -- The EDSL's struggle for their sources -- Zipper-based Modular and Deforested Computations -- Tasklets: Client-side evaluation for iTask3. |
Sommario/riassunto: | This volume presents the revised lecture notes of selected talks given at the Fifth Central European Functional Programming School, CEFP 2013, held in July 2013 in Cluj-Napoca, Romania. The 14 revised full papers presented were carefully reviewed and selected. The lectures cover a wide range of distributed and multicore functional programming subjects. The last 5 papers are selected papers of the PhD Workshop organized for the participants of the summer school. |
Titolo autorizzato: | Central European Functional Programming School |
ISBN: | 3-319-15940-2 |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 9910483094603321 |
Lo trovi qui: | Univ. Federico II |
Opac: | Controlla la disponibilità qui |