Publications

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