Publications

Export 5 results:
Author Title Type [ Year(Desc)]
Filters: Author is L. Harmath  [Clear All Filters]
1997
Kókai G, Harmath L, Gyimóthy T.  1997.  Algorithmic Debugging and Testing of Prolog Programs.. LPE. :14-21.
Kókai G, Harmath L, Gyimóthy T.  1997.  IDTS: a Tool for the Debugging and Testing of Prolog Programs. 8th Conference on Logic and Computer Science. :103-110.
1999
Harmath L, Szilágyi G., Gyimóthy T, Csirik J.  1999.  Dynamic Slicing of Logic Programs: Program analysis and verification. The Sixth Fenno-Ugric Symposium on Software Technology. :101-113.
2000
Szilágyi G., Harmath L, Gyimóthy T.  2000.  Debug Slicing of Logic Programs. Conference of PhD Students on Computer Sciences. :43-44.
2001
Szilágyi G., Harmath L, Gyimóthy T.  2001.  The debug slicing of logic programs. Acta Cybernetica. 15:257–278.