Programming Language Theory
01635(01, 02), Fall 2008

1. Class Informations

  • ±³°ú¸ñ¸í : ÇÁ·Î±×·¡¹Ö ¾ð¾î·Ð(Programming Language Theory)
  • À̼ö±¸ºÐ : Àü°ø¼±ÅÃ(01635-01/02)
  • ¿¬¶ôó : kkman@sangji.ac.kr, (Tel)033-730-0486
  • ȨÆäÀÌÁö : http://pltech.sangjicom.ac.kr
  • 2. Syllabus

    3. Class Summury

    ÄÄÇ»ÅÍ ºÐ¾ß¿¡¼­ ÇÁ·Î±×·¡¹Ö ¾ð¾îÀÇ °³¹ßÀº ¸Å¿ì Å« ¾÷ÀûÁßÀÇ Çϳª·Î¼­ ÃÖ±Ù¿¡´Â ´Ù ¾çÇÑ ÀÀ¿ë ºÐ¾ß¿¡ ÀûÇÕÇÑ »õ·Î¿î ¾ð¾î°¡ ÃâÇöµÇ°í ÀÖ´Ù. ƯÈ÷, ¼ÒÇÁÆ®¿þ¾î Àç»ç¿ë¼º (reusability) ¹× º´·Ä ÄÄÇ»ÅÍ(parallel computer)¿¡ ÀûÇÕÇÑ ¾ð¾î¿¡ »õ·Ó°Ô ÃâÇöµÇ °í ÀÖ´Ù. º» °­Á¿¡¼­´Â °ú°Å¿¡ »ý¼ºµÈ °í±Þ ÇÁ·Î±×·¡¹Ö ¾ð¾îÀÇ ±âº»ÀûÀÎ ¿ø¸®¸¦ °í ÂûÇϸç ÃÖ±Ù¿¡ ÃâÇöµÇ´Â ÇÁ·Î±×·¡¹Ö ¾ð¾îÀÇ Æ¯Â¡¿¡ ´ëÇØ¼­µµ ÇнÀÇÑ´Ù. ¶ÇÇÑ ±×·¡ÇÈ »ç¿ëÀÚ Á¢¼Ó(graphical user interface)¸¦ °í·ÁÇÑ ÇÁ·Î±×·¡¹Ö ¾ð¾î¿¡ ´ëÇØ¼­µµ °­ÀÇ ÇÑ´Ù.

  • ÇÁ·Î±×·¡¹Ö ¾ð¾îÀÇ ÀÇ¹Ì ¹× º¯Ãµ»ç ÇнÀ
  • ÇÁ·Î±×·¡¹Ö ¾ð¾îÀÇ ±¸¹® ¹× ÀÇ¹Ì ±¸Çö ¹æ¹ý ÇнÀ
  • ÀÚ·áÇü(data type)ÀÇ ¼³°è ¹× ±¸Çö ¹æ¹ý ÇнÀ
  • ºÎÇÁ·Î±×·¥ ¼³°è ¹× ±¸Çö ¹æ¹ý ÇнÀ
  • °´Ã¼ÁöÇâ ÇÁ·Î±×·¡¹Ö ¾ð¾î Ư¼º ÇнÀ
  • 4. Textbooks and Recommend Papers ( Under Construction )

  • ÇÁ·Î±×·¡¹Ö ¾ð¾î·Ð ¿ø¸®+À¯Çü, µµ°æ±¸ ¿Ü 3ÀÎ, »ý´ÉÃâÆÇ»ç, 2008.
  • ÇÁ·Î±×·¡¹Ö ¾ð¾î(2ÆÇ) : ¿ø¸®¿Í ½ÇÁ¦, ±èµµÇü ¿Ü 2ÀÎ, »çÀÌÅØ¹Ìµð¾î, 2005.
  • ÇÁ·Î±×·¡¹Ö ¾ð¾î·Ð, ±èÀϹÎ-Á¶¼¼È«, 21¼¼±âÃâÆÇ»ç, 2003.
  • ÇÁ·Î±×·¡¹Ö ¾ð¾î·Ð, ¿øÀ¯Çå, Á¤ÀÍ»ç, 2003.
  • Concepts of Programming Languages -5th-, Robert W. Sebesta, Addision-Wesley, 2002.
  • Programming Langauge Pragmatics, Michael L. Scott, Morgan Kaufmann, 2000.
  • 5. Evaluations

  • Áß°£°í»ç(30%), ±â¸»°í»ç(30%), °úÁ¦¹°(30%) , Ãâ¼® ¹× ±âŸ(10%)
  • Áß°£ ¶Ç´Â ±â¸»°í»ç °á½Ã : FÇÐÁ¡
  • ±âÁؽ𣠹̴Þ(°á¼®) : F ÇÐÁ¡
  • º»°­Á´ »ó´ëÆò°¡ : A ÇÐÁ¡(20%ÀÌÇÏ), BÇÐÁ¡(30%), C-FÇÐÁ¡(50%)
  • 6. Lecture Note

  • 1 Week(Sep-01-2008 ~ Sep-05-2008): Course Overview
  • Course Overview
  • °­ÀÇÀÚ·á : Basic Concepts
  • º¸Á¶ÀÚ·á : ¼ö¾÷°èȹ¼­ Âü°í
  • 2 Week(Sep-08-2008 ~ Sep-12-2008): Introduction to Programming Language Theory
  • °­ÀÇÀÚ·á : Introduction
  • Assignment #1 : Closed
  • 3 Week(Sep-15-2008 ~ Sep-19-2008): Programming Language Design Issues(Syntax)
  • °­ÀÇÀÚ·á : Syntax
  • Ãß°¡ÀÚ·á : Addendum
  • Homework #1 : BNF, EBNF, Sytax Diagram º¯È¯
  • 4 Week(Sep-22-2008 ~ Sep-26-2008): Lexical & Syntax Analysis
  • °­ÀÇÀÚ·á : Lexical & Syntax Analysis
  • Homework #2 : Sanner ±¸Çö
  • Reference : Sanner ±¸Çö Âü°íÀÚ·á
  • 5 Week(Sep-29-2008 ~ Oct-3-2008): Naming
  • °­ÀÇÀÚ·á : Naming
  • Homework #3 : Coming Soon ...
  • 6 Week(Oct-06-2008 ~ Oct-10-2008): Type
  • °­ÀÇÀÚ·á : Type(1)
  • Homework : Homework4.pdf
  • 7 Week(Oct-13-2008 ~ Oct-17-2008): Semantics
  • °­ÀÇÀÚ·á : Type System(2)
  • Homework : : Homework4.pdf
  • 8 Week : Mid-term Examination : 2008³â 10¿ù 24ÀÏ(±Ý) ¿ÀÀü 10:30.
  • 9 Week(Oct-27-2008 ~ Oct-31-2008): Semantics
  • °­ÀÇÀÚ·á : Semantics
  • Homework : Homework5.pdf
  • 10 Week(Nov-3-2008 ~ Nov-7-2008): Functions
  • °­ÀÇÀÚ·á : Function
  • Homework : Homework6.pdf
  • 11 Week(Nov-10-2008 ~ Nov-14-2008): Memory Management
  • °­ÀÇÀÚ·á : Memory Management
  • Homework : Homework7
  • 12 Week(Nov-17-2008 ~ Nov-21-2008): Memory management
  • °­ÀÇÀÚ·á : Object-oriented Concepts
  • Homework #10 : Coming Soon ...
  • 13 Week(Nov-24-2008 ~ Nov-28-2008): Programming paradigm
  • °­ÀÇÀÚ·á : MFC
  • Homework #11 : Coming Soon ...
  • 14 Week(Dec-01-2008 ~ Dec-05-2008): Virtual Machine
  • °­ÀÇÀÚ·á : Virtual Machine Concepts
  • Homework #12 : Coming Soon ...
  • 15 Week(Dec-08 ~ Dec-12-2008): Misc.
  • °­ÀÇÀÚ·á : Debugging Demo.
  • Homeworkt #13 : Coming Soon ...
  • 16 Week(Dec-15-2008 ~ Dec-19-2008): ±â¸»°í»ç, Á¾°­
  • ±â¸»°í»ç : 2008³â 12¿ù 19ÀÏ(±Ý) 10:30AM
  • 7. Useful Links


    Last updated by KO Kwangman at 2:00pm on October 29, 2007.