11.
Zoltán, Horváth ; László, Lövei ; Zoltán, Csörnyei ; Tamás, Kozsik ; Anikó, Víg ; Tamás, Nagy ; Roland, Király ; Melinda, Tóth ; Róbert, Kitlei
Refactoring Erlang Programs
In: Horváth, Zoltán; Plasmeijer, Rinus; Soós, Anna; Zsók, Viktória (szerk.) Central European Functional Programming School : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures
Berlin, Németország, Heidelberg, Németország : Springer Netherlands (2008) 303 p. Paper: erlang
Teljes dokumentum
Közlemény:2477327 Admin láttamozott Forrás Duplumgyanú Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[2477327] [Admin láttamozott]
12.
Csörnyei, Zoltán ; Gergely, Dévai
An introduction to the lambda-calculus
LECTURE NOTES IN COMPUTER SCIENCE 5161 pp. 87-111. , 25 p. (2008)
Közlemény:2415860 Nyilvános Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[2415860] [Nyilvános]
13.
Csörnyei, Zoltán
A comparative study on algorithms for type inference
In: 7th Joint Conference on Mathematics and Computer Science, MaCS 2008 : Book of Abstracts
Cluj-Napoca, Románia : Babes-Bolyai University (2008) Paper: 15
Teljes dokumentum
Közlemény:2396833 Admin láttamozott Forrás Egyéb konferenciaközlemény (Absztrakt / Kivonat ) Tudományos
Absztrakt / Kivonat (Egyéb konferenciaközlemény) | Tudományos[2396833] [Admin láttamozott]
14.
Kozsik, T. ; Csörnyei, Z. ; Horváth, Z. ; Király, R. ; Kitlei, R. ; Lövei, L. ; Nagy, T. ; Tóth, M. ; Vig, A.
Use Cases for Refactoring in Erlang
LECTURE NOTES IN COMPUTER SCIENCE 5161 pp. 250-285. , 36 p. (2008)
DOI WoS
Közlemény:2073824 Admin láttamozott Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 18 | Független: 8 | Függő: 10 | Nem jelölt: 0 | WoS jelölt: 4 | Scopus jelölt: 4 | WoS/Scopus jelölt: 5 | DOI jelölt: 3
Szakcikk (Folyóiratcikk) | Tudományos[2073824] [Admin láttamozott]
Nyilvános idéző összesen: 18, Független: 8, Függő: 10, Nem jelölt: 0
15.
Róbert, Kitlei ; Gergely, Dévai ; Ádám, Balogh ; Zoltán, Csörnyei
Comparative analysis of refactoring and code optimization
In: Proceedings of the 7th International Conference on Applied Informatics (ICAI2007)
(2007) pp. 257-264. , 8 p.
Közlemény:31852888 Nyilvános Forrás Idéző Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[31852888] [Nyilvános]
16.
Kitlei, Róbert ; Lövei, László ; Nagy, Tamás ; Nagyné Víg, Anikó ; Horváth, Zoltán ; Csörnyei, Zoltán
Generic syntactic analyser: ParsErl
In: 13th International Erlang/OTP User Conference
(2007) Paper: 6
Egyéb URL Teljes dokumentum
Közlemény:23255614 Egyeztetett Forrás Idéző Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 3 | Független: 0 | Függő: 3 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 1
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[23255614] [Egyeztetett]
Nyilvános idéző összesen: 3, Független: 0, Függő: 3, Nem jelölt: 0
17.
Horváth, Zoltán ; Csörnyei, Zoltán ; Kozma, László ; Kozsik, Tamás ; Tejfel, Máté ; Zsók, Viktória
Elosztott funkcionális programok helyessége= Verification of distributed functional programs (2007)
2005. é vi OTKA zárójelentés: OTKA T037742,
REAL Teljes dokumentum
Közlemény:3126681 Admin láttamozott Forrás Egyéb (Nem besorolt ) Tudományos
Nem besorolt (Egyéb) | Tudományos[3126681] [Admin láttamozott]
18.
Gergely, Dévai ; Zoltán, Csörnyei
Separation logic style reasoning in a refinement based language
In: Olajos, Péter; Tómács, Tibor; Kovács, Emőd (szerk.) Proceedings of the 7th International Conference on Applied Informatics : (ICAI 2007, January 28–31, 2007
Eger, Magyarország : Eszterházy Károly College (2007) 796 p. pp. 117-125. , 9 p.
Közlemény:2737332 Egyeztetett Forrás Idéző Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[2737332] [Egyeztetett]
19.
Ádám, Balogh ; Zoltán, Csörnyei
Objects and polymorphism in system programming languages: a new approach
PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING 51 : 3-4 pp. 85-97. , 13 p. (2007)
Teljes dokumentum
Közlemény:2396897 Egyeztetett Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[2396897] [Egyeztetett]
20.
Csörnyei, Zoltán ; Kása, Zoltán
Formális nyelvek és fordítóprogramok
Cluj-Napoca, Románia : Presa Universitară Clujeană (2007)
ISBN: 9789736105050
Közlemény:2396848 Egyeztetett Forrás Idéző Könyv (Szakkönyv ) Tudományos
Szakkönyv (Könyv) | Tudományos[2396848] [Egyeztetett]
2024-05-05 11:29