Publications

Export 7 results:
Author Title [ Type(Asc)] Year
Filters: Author is Gy. Szilágyi  [Clear All Filters]
Journal Article
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.
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., Harmath L, Gyimóthy T.  2001.  The debug slicing of logic programs. Acta Cybernetica. 15:257–278.
Conference Paper
Szilágyi G., Gyimóthy T, Maluszynski J.  2000.  Slicing of Constraint Logic Programs. AADEBUG.
Szilágyi G., Gyimóthy T.  2003.  Precise static slicing of constraint logic programs. Kalmár Workshop on Logic and Computer Science. :153-164.
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., Harmath L, Gyimóthy T.  2000.  Debug Slicing of Logic Programs. Conference of PhD Students on Computer Sciences. :43-44.