Publications

Export 20 results:
Author Title Type [ Year(Desc)]
Filters: First Letter Of Title is I and Author is Tibor Gyimóthy  [Clear All Filters]
1983
Gyimóthy T, Simon E, Makay Á.  1983.  An implementation of the HLP. Acta Cybernetica - Szeged. 6:315-327.
1988
Toczki J, Gyimóthy T, Jáhni G.  1988.  Implementation of a LOTOS precompiler in PROF-LP. Proceedings of the Fourth Conference of Program Designers. :31-36.
Gyimóthy T, Horváth T, Kocsis F, Toczki J.  1988.  Incremental Algorithms in Prof-LP. CC. 371:93-102.
Gyimóthy T, Kocsis F.  1988.  Incremental generation of the LL(1) parsing table. Proceedings of 2nd Symposium on Automata, Languages and Programming Systems. :157-161.
1993
Horváth T, Gyimóthy T, Alexin Z, Kocsis F.  1993.  Interactive diagnosis and testing of logic programs. Third Finnish- Estonian- Hungarian Symposium on Programming Languages and Software Tools. :34-47.
1995
Alexin Z, Gyimóthy T, Kókai G.  1995.  IDT: Integrated system for debugging and testing Prolog programs. Fourth Symposium on Programming Languages and Software Tools. :312-324.
Paakki J, Gyimóthy T, Horváth T.  1995.  Independent and-parallelization of logic programs using static slicing. Fourth Symposium on Programming Languages and Software Tools. :307-319.
1996
Alexin Z, Gyimóthy T, Boström H.  1996.  Integrating Algorithmic Debugging and Unfolding Transformation in an Interactive Learner. Fifth International Workshop on Inductive Logic Programming. :437-452.
Alexin Z, Gyimóthy T, Boström H.  1996.  Integrating Algorithmic Debugging and Unfolding Transformation in an Interactive Learner. Proceedings of the European Conference on Artificial Intelligence (ECAI'96). :403-407.
1998
Alexin Z, Gyimóthy T, Kókai G.  1998.  IDT: Integrated system for debugging and testing Prolog programs. Annales Universitatis Scientiarum Budapestinensis de Rolando Eotvos Nominatae Sectio Computarotica. 17:3-17.
Paakki J, Gyimóthy T, Horváth T.  1998.  Independent and-parallelization of logic programs using static slicing. Annales Universitatis Scientiarum Budapestinensis de Rolando Eotvos Nominatae Sectio Computarotica. 17:307-321.
2003
Kiss Á, Jász Judit, Lehotai G, Gyimóthy T.  2003.  Interprocedural Static Slicing of Binary Executables. Proceedings of the 3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003). :118–127.
2006
Rajlich V, Gyimóthy T.  2006.  IEEE International Conference on Software Maintenance (ICSM2005). Journal of Software Maintenance and Evolution: Research and Practice. 18:59–60.
2015
Balogh G, Antal G, Beszédes Á, Vidács L, Gyimóthy T, Végh ZÁdám.  2015.  Identifying Wasted Effort in the Field via Developer Interaction Data. Proceedings of the 31th IEEE International Conference on Software Maintenance and Evolution (ICSME'15), Industry Track. :391-400.