Publications

Export 211 results:
Author Title Type [ Year(Asc)]
Filters: Author is Gyimóthy, T.  [Clear All Filters]
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.
Schrettner L, Gyimóthy T, Alexin Z, Toczki J.  1995.  Parallel execution of object functional queries. Fourth Symposium on Programming Languages and Software Tools. :447-459.
Gyimóthy T, Paakki J.  1995.  Static Slicing of Logic Programs. AADEBUG 2nd International Workshop on Automated and Algorithmic Debugging. :85–105.
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.
1991
Fritzson P, Gyimóthy T, Kamkar M, Shahmehri N.  1991.  Generalized algorithmic debugging and testing. Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation. :317–326.
Gyimóthy T.  1991.  Natural Languages Interface Construction Using Attribute Grammars. Attribute Grammars Applications and Systems. 545:460–468.
Gyimóthy T.  1991.  Software generation based on attribute grammars. Periodica Polytechnica. 35:147-152.
Toczki J, Kocsis F, Gyimóthy T, Dányi G, Kókai G.  1991.  SYS/3 - a software development tool. Proceedings of the third international workshop on Compiler compilers. :193–207.
1989
Alexin Z, Dombi J, Fábricz K, Gyimóthy T, Horváth T.  1989.  CONSTRUCTOR: A natural language interface based on attribute grammars. First Finnish-Hungarian Workshop on Programming Languages and Software Tools. :135-145.
Toczki J, Gyimóthy T, Horváth T, Kocsis F.  1989.  Generating modular compilers in PROF-LP. Proceedings of the Workshop on Compiler Compilers and High Speed Compilation. :156-166.