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