Détail de l'auteur
Auteur Zoltán Horváth |
Documents disponibles écrits par cet auteur (9)
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche
Central European Functional Programming School / Viktória Zsók / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2012)
Titre : Central European Functional Programming School : 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers Type de document : document électronique Auteurs : Viktória Zsók ; SpringerLink (Online service) ; Zoltán Horváth ; Rinus Plasmeijer Editeur : Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer Année de publication : 2012 Collection : Lecture Notes in Computer Science - LNCS, ISSN 0302-9743 num. 7241 Importance : VII, 533 p Présentation : online resource ISBN/ISSN/EAN : 978-3-642-32096-5 Langues : Anglais (eng) Tags : Computer science Software engineering Computer Science Programming Techniques Software Engineering Programming Languages Compilers Interpreters Résumé : This volume presents the revised lecture notes of selected talks given at the Fourth Central European Functional Programming School, CEFP 2011, held in June 2011 in Budapest, Hungary. The 11 revised full papers presented were carefully reviewed by experts on functional programming and revised based on the reviews. The lectures cover a wide range of distributed and multicore functional programming subjects. The last 2 papers are selected papers of the PhD Workshop organized for the participants of the summer school Permalink : https://genes.bibli.fr/index.php?lvl=notice_display&id=108755 Central European Functional Programming School : 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers [document électronique] / Viktória Zsók ; SpringerLink (Online service) ; Zoltán Horváth ; Rinus Plasmeijer . - Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer, 2012 . - VII, 533 p : online resource. - (Lecture Notes in Computer Science - LNCS, ISSN 0302-9743; 7241) .
ISBN : 978-3-642-32096-5
Langues : Anglais (eng)
Tags : Computer science Software engineering Computer Science Programming Techniques Software Engineering Programming Languages Compilers Interpreters Résumé : This volume presents the revised lecture notes of selected talks given at the Fourth Central European Functional Programming School, CEFP 2011, held in June 2011 in Budapest, Hungary. The 11 revised full papers presented were carefully reviewed by experts on functional programming and revised based on the reviews. The lectures cover a wide range of distributed and multicore functional programming subjects. The last 2 papers are selected papers of the PhD Workshop organized for the participants of the summer school Permalink : https://genes.bibli.fr/index.php?lvl=notice_display&id=108755 Central European Functional Programming School / Viktória Zsók ; SpringerLink (Online service) ; Zoltán Horváth ; Lehel Csató / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2015)
Titre : Central European Functional Programming School : 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers Type de document : document électronique Auteurs : Viktória Zsók ; SpringerLink (Online service) ; Zoltán Horváth ; Lehel Csató Editeur : Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer Année de publication : 2015 Collection : Lecture Notes in Computer Science - LNCS, ISSN 0302-9743 num. 8606 Importance : VII, 507 p. 122 illus Présentation : online resource ISBN/ISSN/EAN : 978-3-319-15940-9 Langues : Anglais (eng) Tags : Computer science Computer programming Software engineering Programming languages Electronic computers Computer logic Computer Science Programming Techniques Software Engineering Programming Languages Compilers Interpreters Logics and Meanings of Programs Résumé : 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 Note de contenu : 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 Permalink : https://genes.bibli.fr/index.php?lvl=notice_display&id=132563 Central European Functional Programming School : 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers [document électronique] / Viktória Zsók ; SpringerLink (Online service) ; Zoltán Horváth ; Lehel Csató . - Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer, 2015 . - VII, 507 p. 122 illus : online resource. - (Lecture Notes in Computer Science - LNCS, ISSN 0302-9743; 8606) .
ISBN : 978-3-319-15940-9
Langues : Anglais (eng)
Tags : Computer science Computer programming Software engineering Programming languages Electronic computers Computer logic Computer Science Programming Techniques Software Engineering Programming Languages Compilers Interpreters Logics and Meanings of Programs Résumé : 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 Note de contenu : 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 Permalink : https://genes.bibli.fr/index.php?lvl=notice_display&id=132563 Central European Functional Programming School / Viktória Zsók ; SpringerLink (Online service) ; Zoltán Porkoláb ; Zoltán Horváth / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2019)
Titre : Central European Functional Programming School : 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers Type de document : document électronique Auteurs : Viktória Zsók, ; SpringerLink (Online service) ; Zoltán Porkoláb, ; Zoltán Horváth, Editeur : Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer Année de publication : 2019 Collection : Lecture Notes in Computer Science - LNCS, ISSN 0302-9743 num. 10094 Importance : VII, 395 p. 1886 illus., 46 illus. in color Présentation : online resource ISBN/ISSN/EAN : 978-3-030-28346-9 Langues : Anglais (eng) Tags : Computer programming Artificial intelligence Database management Software engineering Programming languages Electronic computers Programming Techniques Artificial Intelligence Database Management Software Engineering Programming Languages Compilers Interpreters Résumé : This volume presents the revised lecture notes of selected talks given at the 6th Central European Functional Programming School, CEFP 2015, held in July 2015, in Budapest, Hungary. The 10 revised full papers presented were carefully reviewed and selected. The lectures covered a wide range of functional programming and C++ programming subjects. Note de contenu : Watch out for that tree! A Tutorial on Shortcut Deforestation -- Functional Reactive Programming in C++ -- Immutables in C++: Language Foundation for Functional Programming -- Programming in a Functional Style in C++ -- Functional, Reactive Web Programming in F# -- Functional Languages in Design of Colored Petri Nets Models -- Single Assignment C (SAC): The Compilation Technology Perspective -- Type-Safe Functions and Tasks in a Shallow Embedded DSL for Microprocessors -- Static and Dynamic Visualizations of Monadic Programs -- Analyzing Scale-free Properties in Erlang and Scala Permalink : https://genes.bibli.fr/index.php?lvl=notice_display&id=147836 Central European Functional Programming School : 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers [document électronique] / Viktória Zsók, ; SpringerLink (Online service) ; Zoltán Porkoláb, ; Zoltán Horváth, . - Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer, 2019 . - VII, 395 p. 1886 illus., 46 illus. in color : online resource. - (Lecture Notes in Computer Science - LNCS, ISSN 0302-9743; 10094) .
ISBN : 978-3-030-28346-9
Langues : Anglais (eng)
Tags : Computer programming Artificial intelligence Database management Software engineering Programming languages Electronic computers Programming Techniques Artificial Intelligence Database Management Software Engineering Programming Languages Compilers Interpreters Résumé : This volume presents the revised lecture notes of selected talks given at the 6th Central European Functional Programming School, CEFP 2015, held in July 2015, in Budapest, Hungary. The 10 revised full papers presented were carefully reviewed and selected. The lectures covered a wide range of functional programming and C++ programming subjects. Note de contenu : Watch out for that tree! A Tutorial on Shortcut Deforestation -- Functional Reactive Programming in C++ -- Immutables in C++: Language Foundation for Functional Programming -- Programming in a Functional Style in C++ -- Functional, Reactive Web Programming in F# -- Functional Languages in Design of Colored Petri Nets Models -- Single Assignment C (SAC): The Compilation Technology Perspective -- Type-Safe Functions and Tasks in a Shallow Embedded DSL for Microprocessors -- Static and Dynamic Visualizations of Monadic Programs -- Analyzing Scale-free Properties in Erlang and Scala Permalink : https://genes.bibli.fr/index.php?lvl=notice_display&id=147836 Central European Functional Programming School / Zoltán Horváth / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2006)
Central European Functional Programming School / SpringerLink (Online service) / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2008)
Titre : Central European Functional Programming School : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures Type de document : document électronique Auteurs : SpringerLink (Online service) ; Zoltán Horváth, Éditeur scientifique ; Rinus Plasmeijer, Éditeur scientifique ; Anna Soós, Éditeur scientifique ; Viktória Zsók, Éditeur scientifique Editeur : Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer Année de publication : 2008 Collection : Lecture Notes in Computer Science - LNCS, ISSN 0302-9743 num. 5161 Présentation : v.: digital ISBN/ISSN/EAN : 978-3-540-88059-2 Langues : Anglais (eng) Descripteurs : Compilation de textes , Information (Théorie) Tags : Computer science Information theory Software engineering Computer Science Mathematical Logic and Formal Languages Models and Principles Programming Languages Compilers Interpreters Programming Techniques Software Engineering Theory of Computation Permalink : https://genes.bibli.fr/index.php?lvl=notice_display&id=84546 Central European Functional Programming School : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures [document électronique] / SpringerLink (Online service) ; Zoltán Horváth, Éditeur scientifique ; Rinus Plasmeijer, Éditeur scientifique ; Anna Soós, Éditeur scientifique ; Viktória Zsók, Éditeur scientifique . - Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer, 2008 . - : v.: digital. - (Lecture Notes in Computer Science - LNCS, ISSN 0302-9743; 5161) .
ISBN : 978-3-540-88059-2
Langues : Anglais (eng)
Descripteurs : Compilation de textes , Information (Théorie) Tags : Computer science Information theory Software engineering Computer Science Mathematical Logic and Formal Languages Models and Principles Programming Languages Compilers Interpreters Programming Techniques Software Engineering Theory of Computation Permalink : https://genes.bibli.fr/index.php?lvl=notice_display&id=84546 Central European Functional Programming School / Zoltán Horváth / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2010)
PermalinkImplementation and Application of Functional Languages / Zoltán Horváth / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2007)
PermalinkImplementation and Application of Functional Languages / SpringerLink (Online service) / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2008)
PermalinkTrends in Functional Programming / Rex Page / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2011)
Permalink