cam a22 4 4500 555245934 CHVBK 20201001050704.0 cr ||||||||||| 051103s2019 sz m 00 eng 10.5075/epfl-thesis-8716 doi (OCoLC)1085682887 (NEBIS)011351410 SzZuIDS NEBIS EPF-BIB fre rda Koukoutos Emmanouil auteur aut Scaling Functional Synthesis and Repair par Emmanouil KouKoutos Lausanne Ecole Polytechnique Fédérale de Lausanne 2019 xv, 164 pages illustrations 28 cm texte txt rdacontent/fre sans médiation n rdamedia/fre volume nc rdacarrier/fre Thèse EPFL Lausanne 2019 n° 8716 Mots-clés de l'auteur: functional programming ; program synthesis ; program repair ; formal grammars APPLIKATIVE PROGRAMMIERUNG + FUNKTIONALE PROGRAMMIERUNG (PROGRAMMIERMETHODEN) ger (ETHUDK)000041086 ethudk SOFTWAREVERTEILUNG + SOFTWAREUNTERHALT (SOFTWARE ENGINEERING) ger (ETHUDK)000043033 ethudk TESTEN + FEHLERSUCHEN (SOFTWARE ENGINEERING) ger (ETHUDK)000013747 ethudk Hochschulschrift gnd-content u APPLIKATIVE PROGRAMMIERUNG + FUNKTIONALE PROGRAMMIERUNG (PROGRAMMIERMETHODEN) ger 004*04*03*02 nebis E1 u TESTEN + FEHLERSUCHEN (SOFTWARE ENGINEERING) ger 004*04*04*06 nebis E1 u SOFTWAREVERTEILUNG + SOFTWAREUNTERHALT (SOFTWARE ENGINEERING) ger 004*04*04*08 nebis E1 u PROGRAMMATION APPLICATIVE + PROGRAMMATION FONCTIONNELLE (MÉTHODES DE PROGRAMMATION) fre 004*04*03*02 nebis E1 u APPLICATIVE PROGRAMMING + FUNCTIONAL PROGRAMMING (PROGRAMMING METHODS) eng 004*04*03*02 nebis E1 u TESTING + DEBUGGING (SOFTWARE ENGINEERING) eng 004*04*04*06 nebis E1 u TESTS ET MISE AU POINT DE PROGRAMMES fre 004*04*04*06 nebis E1 u MAINTENANCE DES LOGICIELS (GÉNIE LOGICIEL) fre 004*04*04*08 nebis E1 u SOFTWARE DISTRIBUTION + SOFTWARE MAINTENANCE (SOFTWARE ENGINEERING) eng 004*04*04*08 nebis E1 Kunčak Viktor 1977- (DE-588)108955365X superviseur académique dgs https://doi.org/10.5075/epfl-thesis-8716 Online via EPFL E-Library E02 BK020353 XK020053 XK020000 e-library 2019 these nebis EC 094 E01-20190408 NEBIS E16 E16 RH HB 18830 NEBIS E02 E02 E02SP ZTH 8716 NEBIS 100 1- Koukoutos Emmanouil auteur aut NEBIS 700 1- Kunčak Viktor 1977- (DE-588)108955365X superviseur académique dgs NEBIS 856 -- https://doi.org/10.5075/epfl-thesis-8716 Online via EPFL E-Library E02 SWISSBIB 555245934