Tamás Kozsik
Tamás Kozsik
Dept. Programming Languages and Compilers, ELTE Eötvös Loránd University, Budapest, Hungary
Verified email at elte.hu - Homepage
Title
Cited by
Cited by
Year
Refactoring erlang programs
H Li, S Thompson, L Lövei, Z Horváth, T Kozsik, A Víg, T Nagy
The Proceedings of 12th International Erlang/OTP User Conference, 2006
432006
Modeling semantic knowledge in Erlang for refactoring
Z Horváth, L Lövei, T Kozsik, R Kitlei, M Tóth, I Bozó, R Király
Knowledge Engineering: Principles and Techniques, Proceedings of the …, 2009
372009
The multi-agent modelling language and the model design interface
L Gulyás, T Kozsik, JB Corliss
Journal of Artificial Societies and Social Simulation 2 (3), 8, 1999
361999
Discovering parallel pattern candidates in Erlang
I Bozó, V Fordós, Z Horvath, M Tóth, D Horpácsi, T Kozsik, J Köszegi, ...
Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 13-23, 2014
312014
An extension to the subtype relationship in C++ implemented with template metaprogramming
I Zólyomi, Z Porkoláb, T Kozsik
International Conference on Generative Programming and Component Engineering …, 2003
262003
Extending the sparkle core language with object abstraction
M Tejfel, Z Horváth, T Kozsik
Acta Cybernetica 17 (2), 419-445, 2005
232005
Use cases for refactoring in erlang
T Kozsik, Z Csörnyei, Z Horváth, R Király, R Kitlei, L Lövei, T Nagy, M Tóth, ...
Central European Functional Programming School, 250-285, 2007
182007
The use of aspect-oriented programming in scientific simulations
L Gulyás, T Kozsik
Proceedings of Sixth Fenno-Ugric Symposium on Software Technology, Estonia, 1999
171999
Refactoring in Erlang, a Dynamic Functional Language.
L Lövei, Z Horváth, T Kozsik, R Király, AN Víg, T Nagy
WRT, 44-45, 2007
162007
Impact analysis of Erlang programs using behaviour dependency graphs
M Tóth, I Bozó, Z Horváth, L Lövei, M Tejfel, T Kozsik
Central European Functional Programming School, 372-390, 2009
142009
Automated Syntax Manipulation in RefactorErl. 14th International Erlang/OTP User Conference
R Kitlei, L Lövei, M Tóth, Z Horváth, T Kozsik, T Kozsik, R Király, I Bozó, ...
Stockholm, November 13, 2008
142008
Introducing records by refactoring
L Lövei, Z Horváth, T Kozsik, R Király
Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop, 18-28, 2007
142007
Refactorings to enable parallelization
I Bozó, V Fördős, D Horpácsi, Z Horváth, T Kozsik, J Kőszegi, M Tóth
International Symposium on Trends in Functional Programming, 104-121, 2014
132014
Building a refactoring tool for Erlang
Z Horváth, L Lövei, T Kozsik, R Kitlei, AN Víg, T Nagy, M Tóth, R Király
Workshop on Advanced Software Development Tools and Techniques, WASDETT 2008, 2008
132008
Proving Invariants of Functional Programs.
Z Horváth, T Kozsik, M Tejfel
SPLST, 115-126, 2003
132003
The multi-agent modeling language
L Gulyás, T Kozsik, S Fazekas
Proceedings of Proceedings of the 4th International Conference on Applied …, 1999
131999
Verification of the Temporal Properties of Dynamic Clean Processes
Z Horváth, PM Achten, T Kozsik, R Plasmeijer
[Sl: sn], 1999
131999
A prototype of CPPCC-safe functional mobile code in Clean
K Daxkobler, Z Horváth, T Kozsik
Proceedings of Implementation of Functional Languages’ 02, 15-19, 2002
122002
Use cases for refactoring in Erlang
Z Horváth, Z Csörnyei, R Király, R Kitlei, T Kozsik, L Lövei, T Nagy, M Tóth, ...
Lecture Notes in Computer Science, 2008
112008
Static rules for variable scoping in Erlang
L Lövei, Z Horváth, T Kozsik, R Király, R Kitlei
Proceedings of the 7th International Conference on Applied Informatics 2 …, 2008
112008
The system can't perform the operation now. Try again later.
Articles 1–20