Publications

Export 12 results:
Author Title Type [ Year(Asc)]
Filters: Author is Kocsis, F.  [Clear All Filters]
2011
Nagy C, Vidács L, Ferenc R, Gyimóthy T, Kocsis F, Kovács I.  2011.  Complexity Measures in 4GL Environment. Computational Science and Its Applications - ICCSA 2011, Lecture Notes in Computer Science. 6786:293-309.
Nagy C, Vidács L, Ferenc R, Gyimóthy T, Kocsis F, Kovács I.  2011.  Solutions for Reverse Engineering 4GL Applications, Recovering the Design of a Logistical Wholesale System. Proceedings of CSMR 2011 (15th European Conference on Software Maintenance and Reengineering). :343-346.
1994
Kókai G, Alexin Z, Kocsis F.  1994.  The IDT System and its Application for Learning Prolog Programs. Sixth International Conference on Artificial Intelligence and Information-Control Systems of Robots. :315-320.
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
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
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.
Toczki J, Gyimóthy T, Kocsis F.  1989.  SYS-DL, a system development language supporting software quality assurance. First Finnish-Hungarian Workshop on Programming Languages and Software Tools. :307-317.
1988
Toczki J, Gyimóthy T, Kocsis F, Horváth T.  1988.  Automatic Software Generation in Practice: New Features in the HLP/PAS System. Specialized Languages as Tools for Programming Technology. :103–119.
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.