Publications

Export 7 results:
Author Title [ Type(Desc)] Year
Filters: Author is Gy. Szilágyi  [Clear All Filters]
Conference Paper
Szilágyi G., Harmath L, Gyimóthy T.  2000.  Debug Slicing of Logic Programs. Conference of PhD Students on Computer Sciences. :43-44.
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.
Szilágyi G., Gyimóthy T.  2003.  Precise static slicing of constraint logic programs. Kalmár Workshop on Logic and Computer Science. :153-164.
Szilágyi G., Gyimóthy T, Maluszynski J.  2000.  Slicing of Constraint Logic Programs. AADEBUG.
Journal Article
Szilágyi G., Harmath L, Gyimóthy T.  2001.  The debug slicing of logic programs. Acta Cybernetica. 15:257–278.
Szilágyi G., Gyimóthy T, Maluszynski J.  1998.  Slicing of Constraint Logic Programs. Linköping Electronic Articles in Computer and Information Science. 3:1-27.
Szilágyi G., Gyimóthy T, Małuszyński J.  2002.  Static and Dynamic Slicing of Constraint Logic Programs. Automated Software Engg.. 9:41–65.