¹ø¿ª   |   Ãâó   |   ºñ°í   |
---|---|---|
  ½ÇÇà°úÁ¤À» »ý°¢ÇÏ´Â Àṉ̀¸Á¶   |   kwang   |     |
  ³í¸®Çü Àṉ̀¸Á¶   |   kwang   |     |
  ÀÏ»óÀûÀÎ Àṉ̀¸Á¶   |   kwang   |     |
operational semantics | ÀÏ»óÀûÀÎ Àṉ̀¸Á¶, ³í¸®Çü Àṉ̀¸Á¶, ½ÇÇà°úÁ¤À» »ý°¢ÇÏ´Â Àṉ̀¸Á¶ |