¿¬±¸ ½ÇÀû ¸ñ·Ï(æÚϼãùîàÙÍÖâ)
- ±¹Á¦ÇмúÁö
- Jae Won Lee, Sung-Dong Kim, Jinseok Chae,
Jongwoo Lee, and Do-Hyung Kim,
"English Syntactic Disambiguation Using
Parser's Ambiguity Type Information,"
ETRI Journal, Electronics and Telecommunications
Research Institute,
Vol. 25, No. 4, pp. 219-230, August 2003.
- Gyung-Ok Lee and Do-Hyung Kim,
"Characterization of Extended LR(k) Grammars,"
Information Processing Letters, Elsevier Science Publishers,
Vol. 64, No. 2, pp. 75-82, November 1997.
- Su-Hyun Lee, Do-Hyung Kim, and Kwang-Moo Choe,
"Path for AND-Parallel Execution of Logic Programs,"
Information Processing Letters, Elsevier Science Publishers,
Vol. 52, No. 4, pp. 191-199, November 1994.
- Do-Hyung Kim, Kwang-Moo Choe, and Taisook Han, "Refined
Mark(s)-Set-Based Backtrack Literal Selection for AND
Parallelism in Logic Programs," Parallel
Processing Letters, World Scientific Publishing Co.,
Vol. 2, No. 1, pp. 71-79, March 1992.
- Do-Hyung Kim and Kwang-Moo Choe, "Yet
Another Efficient Backward Execution Algorithm for
AND/OR Process Model," Information
Processing Letters, Elsevier Science Publishers,
Vol. 40, No. 4, pp. 201-211, November 1991.
- ±¹³»ÇмúÁö
- ±èµµÇü, "ÇÁ·Î±×·¡¹ÖÀÇ ¼ö·Ã ¡ª ¿ÇѹøÂ°, ¸î °¡Áö ÀÛÀº ¿¹Á¦µéÀÇ
Á¤ÇüÀû ó¸® ¡ª III," ÇÁ·Î±×·¡¹Ö¾ð¾î³í¹®Áö, Á¦19±Ç, Á¦1È£, pp. 47-51,
Çѱ¹Á¤º¸°úÇÐȸ ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸, 2005³â 8¿ù.
- ±èµµÇü, "ÇÁ·Î±×·¡¹ÖÀÇ ¼ö·Ã ¡ª ¿¹øÂ°, ¸î °¡Áö ÀÛÀº ¿¹Á¦µéÀÇ
Á¤ÇüÀû ó¸® ¡ª II," ÇÁ·Î±×·¡¹Ö¾ð¾î³í¹®Áö, Á¦18±Ç, Á¦2È£, pp. 31-35,
Çѱ¹Á¤º¸°úÇÐȸ ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸, 2004³â 6¿ù.
- ±èµµÇü, "ÇÁ·Î±×·¡¹ÖÀÇ ¼ö·Ã ¡ª ¾ÆÈ©¹øÂ°, ¸î °¡Áö ÀÛÀº ¿¹Á¦µéÀÇ
Á¤ÇüÀû ó¸® ¡ª I," ÇÁ·Î±×·¡¹Ö¾ð¾î³í¹®Áö, Á¦18±Ç, Á¦1È£, pp. 31-36,
Çѱ¹Á¤º¸°úÇÐȸ ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸, 2004³â 2¿ù.
- ¹ÚÁ¾¼ö, ±èµµÇü, "°íÂ÷¿ø µ¥ÀÌÅ͸¦ ºÎºÐÂ÷¿ø Ŭ·¯½ºÅ͸µÇÏ´Â
È¿°úÀûÀÎ ¾Ë°í¸®Áò," Á¤º¸Ã³¸®ÇÐȸ³í¹®ÁöD, Á¦10-D±Ç, Á¦3È£,
Çѱ¹Á¤º¸Ã³¸®ÇÐȸ, 2003³â 6¿ù.
- ±èµµÇü, "ÇÁ·Î±×·¡¹ÖÀÇ ¼ö·Ã ¡ª ¿©´ü¹øÂ°, À¯Å¬¸®µå ¾Ë°í¸®ÁòÀÇ
Àç°íÂû," ÇÁ·Î±×·¡¹Ö¾ð¾î³í¹®Áö, Á¦17±Ç, Á¦1È£, pp. 83-88,
Çѱ¹Á¤º¸°úÇÐȸ ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸, 2003³â 3¿ù.
- ±èµµÇü, "ÇÁ·Î±×·¡¹ÖÀÇ ¼ö·Ã ¡ª Àϰö¹øÂ°, ÀûÀýÈ÷ Á¾·áÇÏ´Â ±¸Á¶ÀÇ
¼³°è¿¡ ´ëÇÏ¿©," ÇÁ·Î±×·¡¹Ö¾ð¾î³í¹®Áö, Á¦16±Ç, Á¦2È£, pp. 47-52,
Çѱ¹Á¤º¸°úÇÐȸ ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸, 2002³â 7¿ù.
- ±èµµÇü, "ÇÁ·Î±×·¡¹ÖÀÇ ¼ö·Ã ¡ª ¿©¼¸¹øÂ°, µÎ °³ÀÇ
Á¤¸®," ÇÁ·Î±×·¡¹Ö¾ð¾î³í¹®Áö, Á¦16±Ç, Á¦1È£, pp. 35-39,
Çѱ¹Á¤º¸°úÇÐȸ ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸, 2002³â 2¿ù.
- ±èµµÇü, "ÇÁ·Î±×·¡¹ÖÀÇ ¼ö·Ã ¡ª ´Ù¼¸¹øÂ°, ÇÁ·Î±×·¡¹Ö ¾ð¾îÀÇ ÀǹÌ
±ÔÁ¤(II)," ÇÁ·Î±×·¡¹Ö¾ð¾î³í¹®Áö, Á¦14±Ç, Á¦2È£, pp. 75-81,
Çѱ¹Á¤º¸°úÇÐȸ ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸, 2000³â 12¿ù.
- ±èµµÇü, "ÇÁ·Î±×·¡¹ÖÀÇ ¼ö·Ã ¡ª ³×¹øÂ°, ÇÁ·Î±×·¡¹Ö ¾ð¾îÀÇ ÀÇ¹Ì ±ÔÁ¤(I),"
ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸Áö, Á¦13±Ç, Á¦2È£, pp. 7-19, Çѱ¹Á¤º¸°úÇÐȸ
ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸, 1999³â 12¿ù.
- ±èµµÇü, "ÇÁ·Î±×·¡¹ÖÀÇ ¼ö·Ã ¡ª ¼¼¹øÂ°, ÀǹÌÀÇ ±ÔÁ¤,"
ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸Áö, Á¦13±Ç, Á¦1È£, pp. 1-14, Çѱ¹Á¤º¸°úÇÐȸ
ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸, 1999³â 6¿ù.
- ±èµµÇü, "ÇÁ·Î±×·¡¹ÖÀÇ ¼ö·Ã ¡ª µÎ¹øÂ°, ÇÁ·Î±×·¡¹Ö ¾ð¾îÀÇ ¿ªÇÒ ¹×
»óÅÂ¿Í ±× Ư¼ºÀÇ ±ÔÁ¤,"
ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸Áö, Á¦12±Ç, Á¦2È£, pp. 15-28, Çѱ¹Á¤º¸°úÇÐȸ
ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸, 1998³â 12¿ù.
- ±èµµÇü, "ÇÁ·Î±×·¡¹ÖÀÇ ¼ö·Ã ¡ª ù¹øÂ°, ¼¹® ¹× ¼öÇàÀÇ Ãß»óÈ,"
ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸Áö, Á¦12±Ç, Á¦1È£, pp. 21-43, Çѱ¹Á¤º¸°úÇÐȸ
ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸, 1998³â 6¿ù.
- ±èµµÇü, À̼öÇö, ÃÖ±¤¹«, "³í¸® ÇÁ·Î±×·¥ÀÇ º´·Ä ¼öÇà ¸ðÇü¿¡¼ ¿Ï°á¼º°ú
È¿À²¼ºÀÇ ºÐ¼®", Á¤º¸°úÇÐȸ³í¹®Áö(B), Á¦23±Ç, Á¦12È£, pp. 1320-1335,
1996³â 12¿ù.
- ±èµµÇü, ÃÖ±¤¹«, "³í¸® ÇÁ·Î±×·¥ÀÇ º´·Ä ¼öÇà¿¡¼ ÀçÃʱâÈ ¾Ë°í¸®ÁòÀÇ
Á¤È®¼º Áõ¸íÀ» À§ÇÑ ÂüÁ¶ ÁýÇÕ: Á÷°üÀû Á¢±Ù", Á¤º¸°úÇÐȸ³í¹®Áö(B),
Á¦23±Ç, Á¦3È£, pp. 233-244, 1996³â 3¿ù.
- ±èµµÇü, "Ææ¿¡ ±â¹ÝÀ» µÐ ÄÄÇ»Å͸¦ À§ÇÑ ¿î¿µ üÁ¦ °³¹ß: ¿ä±¸ Á¶°ÇÀÇ
ºÐ¼®°ú Àü¸Á", ±âÃʰúÇבּ¸Áö, Á¦12Áý, pp. 73-103, ¼º½Å¿©ÀÚ´ëÇб³,
1994³â 8¿ù.
- ±èµµÇü, "ÀÌÁß À¯ÇÑ ÀÚµ¿ ±â°è¿¡ ÀÇÇÑ Á¤±Ô ¾ð¾îÀÇ ÀνÄ",
ÄÄÇ»ÅÍÀ̷בּ¸È¸Áö, Á¦3±Ç, Á¦3È£, pp. 2-6, Çѱ¹Á¤º¸°úÇÐȸ
ÄÄÇ»ÅÍÀ̷בּ¸È¸, 1992³â 10¿ù.
- ÆíÁý
- À̱¤±Ù, ±èµµÇü, ⺴¸ð, ¾çÈ«¼®,
ÇÁ·Î±×·¡¹Ö¾ð¾î³í¹®Áö, Á¦19±Ç, Á¦1È£, Çѱ¹Á¤º¸°úÇÐȸ
ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸, 2005³â 8¿ù.
- À̱¤±Ù, ±èµµÇü, ⺴¸ð, ¾çÈ«¼®,
ÇÁ·Î±×·¡¹Ö¾ð¾î³í¹®Áö, Á¦18±Ç, Á¦3È£, Çѱ¹Á¤º¸°úÇÐȸ
ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸, 2004³â 11¿ù.
- À̱¤±Ù, ±èµµÇü, ⺴¸ð, ¾çÈ«¼®,
ÇÁ·Î±×·¡¹Ö¾ð¾î³í¹®Áö, Á¦18±Ç, Á¦2È£, Çѱ¹Á¤º¸°úÇÐȸ
ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸, 2004³â 6¿ù.
- À̱¤±Ù, ±èµµÇü, ⺴¸ð, ¾çÈ«¼®,
ÇÁ·Î±×·¡¹Ö¾ð¾î³í¹®Áö, Á¦18±Ç, Á¦1È£, Çѱ¹Á¤º¸°úÇÐȸ
ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸, 2004³â 2¿ù.
- ±èµµÇü, À̾缱, ⺴¸ð,
ÇÁ·Î±×·¡¹Ö¾ð¾î³í¹®Áö, Á¦17±Ç, Á¦2È£, Çѱ¹Á¤º¸°úÇÐȸ
ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸, 2003³â 7¿ù.
- ±èµµÇü, À̾缱, ⺴¸ð,
ÇÁ·Î±×·¡¹Ö¾ð¾î³í¹®Áö, Á¦17±Ç, Á¦1È£, Çѱ¹Á¤º¸°úÇÐȸ
ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸, 2003³â 3¿ù.
- ±èµµÇü, À̾缱, ⺴¸ð,
ÇÁ·Î±×·¡¹Ö¾ð¾î³í¹®Áö, Á¦16±Ç, Á¦3È£, Çѱ¹Á¤º¸°úÇÐȸ
ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸, 2002³â 10¿ù.
- ±èµµÇü, À̾缱, ⺴¸ð,
ÇÁ·Î±×·¡¹Ö¾ð¾î³í¹®Áö, Á¦16±Ç, Á¦2È£, Çѱ¹Á¤º¸°úÇÐȸ
ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸, 2002³â 7¿ù.
- ±èµµÇü, À̱¤±Ù, ⺴¸ð,
ÇÁ·Î±×·¡¹Ö¾ð¾î³í¹®Áö, Á¦16±Ç, Á¦1È£, Çѱ¹Á¤º¸°úÇÐȸ
ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸, 2002³â 2¿ù.
- ±èµµÇü, À̱¤±Ù, ⺴¸ð,
ÇÁ·Î±×·¡¹Ö¾ð¾î³í¹®Áö, Á¦15±Ç, Á¦2È£, Çѱ¹Á¤º¸°úÇÐȸ
ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸, 2001³â 11¿ù.
- ±èµµÇü, À̱¤±Ù, ⺴¸ð,
ÇÁ·Î±×·¡¹Ö¾ð¾î³í¹®Áö, Á¦15±Ç, Á¦1È£, Çѱ¹Á¤º¸°úÇÐȸ
ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸, 2001³â 5¿ù.
- ±èµµÇü, À̱¤±Ù, ⺴¸ð,
ÇÁ·Î±×·¡¹Ö¾ð¾î³í¹®Áö, Á¦14±Ç, Á¦2È£, Çѱ¹Á¤º¸°úÇÐȸ
ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸, 2000³â 12¿ù.
- ±èµµÇü, À̱¤±Ù, ⺴¸ð,
ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸Áö, Á¦14±Ç, Á¦1È£, Çѱ¹Á¤º¸°úÇÐȸ
ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸, 2000³â 6¿ù.
- ±èµµÇü, º¯¼®¿ì, À̱¤±Ù,
ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸Áö, Á¦13±Ç, Á¦2È£, Çѱ¹Á¤º¸°úÇÐȸ
ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸, 1999³â 12¿ù.
- ±èµµÇü, º¯¼®¿ì, À̱¤±Ù,
ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸Áö, Á¦13±Ç, Á¦1È£, Çѱ¹Á¤º¸°úÇÐȸ
ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸, 1999³â 6¿ù.
- ±èµµÇü, º¯¼®¿ì, À̱¤±Ù,
ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸Áö, Á¦12±Ç, Á¦2È£, Çѱ¹Á¤º¸°úÇÐȸ
ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸, 1998³â 12¿ù.
- ±èµµÇü, º¯¼®¿ì, À̱¤±Ù,
ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸Áö, Á¦12±Ç, Á¦1È£, Çѱ¹Á¤º¸°úÇÐȸ
ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸, 1998³â 6¿ù.
- °¿¬
- ±èµµÇü, "A Discipline of Programming by Edsger W. Dijkstra - Part II",
µ¿°è ¿öÅ©¼¥, Çѱ¹Á¤º¸°úÇÐȸ ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸, 2005³â 2¿ù.
- ±èµµÇü, "A Discipline of Programming by Edsger W. Dijkstra - Part I",
µ¿°è ¿öÅ©¼¥, Çѱ¹Á¤º¸°úÇÐȸ ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸, 2005³â 2¿ù.
- ±èµµÇü, "°ø¸®Àû Àǹ̷ÐÀÇ ¼Ò°³: ´ÙÀͽºÆ®¶óÀÇ ¼ú¾îº¯È¯ÀÚ¸¦ Áß½ÉÀ¸·Î,"
Æ©Å丮¾ó, µ¿°è ¿öÅ©¼¥, Çѱ¹Á¤º¸°úÇÐȸ ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸,
1999³â 2¿ù.
- Àú¼ ¹× ¿ª¼
- ±ÇÁöÈñ, ±èµµÇü ¿Ü 18ÀÎ, "ÃкÒÀÌ ¹ÎÁÖÁÖÀÇ´Ù", ÇØÇǽºÅ丮, 2008.
- ±èµµÇü, ⺴¸ð, ÇÏ»óÈ£ ¿ª, "Java ¼ÒÇÁÆ®¿þ¾î ¼Ö·ç¼Ç"("Java
Software Solutions: Foundations of Program Design"
by John Lewis and William Loftus, 4th Ed., Addison Wesley Longman,
Inc., 2004), È«¸ª°úÇÐÃâÆÇ»ç, 2006.
- ±èµµÇü, À̼öÇö, ⺴¸ð ¿ª, "ÇÁ·Î±×·¡¹Ö ¾ð¾î"("Programming
Languages: Principles and Practice, 2nd Edition"
by Kenneth C. Louden, Brooks/Cole, 2003), »çÀÌÅØ¹Ìµð¾î, 2004³â 9¿ù.
- ±èµµÇü, ⺴¸ð, ÇÏ»óÈ£ ¿ª, "Java ¼ÒÇÁÆ®¿þ¾î ¼Ö·ç¼Ç"("Java
Software Solutions: Foundations of Program Design"
by John Lewis and William Loftus, 2nd Ed., Addison Wesley Longman,
Inc., 2000), ¿µÇÑÃâÆÇ»ç, 2001³â 2¿ù.
- ±èµµÇü, ⺴¸ð, ÇÏ»óÈ£ ¿ª, "Java ÇÁ·Î±×·¡¹Ö ÇØ¹ý"("Java
Software Solutions: Foundations of Program Design"
by John Lewis and William Loftus, 1st Ed., Addison Wesley Longman,
Inc., 1998), ¿µÇÑÃâÆÇ»ç, 2000³â 2¿ù.
- ±èµµÇü, ¹ÚÁ¾¼ö ¿ª,
"°è»ê ÀÌ·Ð ÀÔ¹®"("Theory of Computation: Formal Languages,
Automata, and Complexity" by J. Glenn Brookshear, The Benjamin/Cummings
Pubishing Company, 1989), È«¸ª°úÇÐÃâÆÇ»ç, 1997³â 9¿ù.
- ±èµµÇü, À̼öÇö, ⺴¸ð ¿ª, "ÇÁ·Î±×·¡¹Ö ¾ð¾î: ¿ø¸®¿Í ½ÇÁ¦"("Programming
Languages: Principles and Practice" by Kenneth C. Louden, PWS Pubishing
Company, 1993), µµ¼ÃâÆÇ ÈñÁß´ç, 1997³â 2¿ù.
- ±¹³»ÇмúȸÀÇ
- ±èµµÇü, "³í¸® ÇÁ·Î±×·¥ÀÇ È¿À²ÀûÀÎ AND-º´·Ä ¼öÇàÀ» À§Çؼ ¸¶Å©
ÁýÇÕÀ» »ç¿ëÇØ Ãʱâȸ¦ ¼öÇàÇÏ´Â ±âÁ¸ ¾Ë°í¸®ÁòÀÇ ¿À·ù ºÐ¼®",
ÇϰèÁ¾ÇÕÇмú´ëȸ³í¹®Áý, Á¦17±Ç, Á¦1È£, pp. 594-597,
´ëÇÑÀüÀÚ°øÇÐȸ, 1994³â 7¿ù.
- ÃÖ±¤¹«, Á¤¹Î¼ö, ±èµµÇü, ¹Ú±¤¼ø, ÀÌÇüÈ¿, ÃÖÁؽÄ, "È®ÀåµÈ
KAIST ÆÄ¼ »ý¼º ½Ã½ºÅÛÀÇ °³¹ß ¹× ±¸Çö", Ãá°èÇмú¹ßÇ¥³í¹®Áý,
Á¦16±Ç, Á¦1È£, pp. 378-381, Çѱ¹Á¤º¸°úÇÐȸ, 1989³â 4¿ù.
- ÃÖ±¤¹«, Á¤¹Î¼ö, ±èµµÇü, "Yacc¿¡¼ÀÇ ÃÖ¼Ò ºñ¿ë »ðÀÔ ½ºÆ®¸µÀ»
ÀÌ¿ëÇÑ ¿À·ù º¸Á¤", Ãß°èÇмú¹ßÇ¥³í¹®Áý, Á¦14±Ç, Á¦2È£,
pp. 605-608, Çѱ¹Á¤º¸°úÇÐȸ, 1987³â 10¿ù.
- ±èµµÇü, ÃÖ±¤¹«, "AND Ŭ·ÎÁîÀÇ ºÐÇÒÀ» ÅëÇÑ ³í¸® ÇÁ·Î±×·¥ÀÇ º´·Ä
ó¸® ±â¹ý", Ãß°èÇмú¹ßÇ¥³í¹®Áý, Á¦14±Ç, Á¦2È£, pp. 601-604,
Çѱ¹Á¤º¸°úÇÐȸ, 1987³â 10¿ù.
- ÇÐÀ§³í¹®
- Do-Hyung Kim, "The AND Process Configuration: A Unified
Framework for AND-Parallel Execution of Logic Programs,"
Ph.D. Dissertation,
Department of Computer Science, KAIST, February 1992.
- Do-Hyung Kim, "A Technique for Parallel Execution of Logic
Programs Based on the AND/OR Process Model," M.S. Thesis,
Department of Computer Science, KAIST, 1987.
- ±â¼úº¸°í¼
- Su-Hyun Lee, Do-Hyung Kim, and Kwang-Moo Choe,
"The Path Model for Parallel Evaluation of Logic Programs: Method
and Analysis," Technical Report CS-TR-93-79,
Department of Computer Science, KAIST, August 1993.
- Do-Hyung Kim and Kwang-Moo Choe, "The Dynamic
Affecting Set: A Semantically Transparent Literal-Level Selective
Resetting Method for AND-Parallel Execution of Logic
Programs," Technical Report CS-TR-92-69,
Department of Computer Science, KAIST, May 1992.
- Do-Hyung Kim, Kwang-Moo Choe, and In-Sig Yun, "Correction of
the Recent Mark-Set-Based Backward Execution Algorithms for
AND Parallelism in Logic Programs,"
Technical Report CS-TR-92-68,
Department of Computer Science, KAIST, April 1992.
- Do-Hyung Kim, Kwang-Moo Choe, Byeong-Mo Chang, and Su-Hyun Lee,
"The Scorer Method: A Scheme for Selective Resetting
without Termwise Unification Failure
Cause Analysis in the AND-Parallel Evaluation of Logic
Programs," Technical Report CS-TR-90-49,
Department of Computer Science, KAIST, October 1990.
- Do-Hyung Kim, Kwang-Moo Choe, and Myung-Joon Lee, "Towards the
Most Intelligent Backward Execution in the AND-Parallel Evaluation
of Logic Programs," Technical Report CS-TR-89-38,
Department of Computer Science, KAIST, February 1989.
- ±âŸ
- ±èµµÇü, "±³»ç ½Ã±¹¼±¾ð ¹«¸®ÇÑ ¹ýÀû¿ë", °æÇâ½Å¹®, 2009³â 7¿ù 9ÀÏ.
- ±èµµÇü, "±³À°°è °¥µî ºÎÃß±â´Â Á¤ºÎ", °æÇâ½Å¹®, 2008³â 12¿ù 19ÀÏ.
- ±èµµÇü, "¿§Á® À§º£ ´ÙÀͽºÆ®¶ó,"
ÇÁ·Î±×·¡¹Ö¾ð¾î³í¹®Áö, Á¦17±Ç, Á¦1È£, pp. 99-104, Çѱ¹Á¤º¸°úÇÐȸ
ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸, 2003³â 3¿ù.
- ±èµµÇü, "UNIX ¿î¿µ üÁ¦ ±×¸®°í C ÇÁ·Î±×·¡¹Ö ¾ð¾î", ÇÁ·Î±×·¥¼¼°è,
Á¦1±Ç, pp. 47-53, ¿ù°£ ÇÁ·Î±×·¥¼¼°è»ç, 1993³â 5¿ù.