검색어 입력폼

[컴퓨터] nML로 만든 인터프리터외 여라가지 nML 소스

등록일 2004.05.28 파일확장자압축파일 (zip) | 2페이지 | 가격 2,000원

소개글

한양대학교 도경구 교수님의
프로그래밍 언어론 시간에 만든 숙제들입니다

목차

총 32파일

nML에 관한 여려가지 간단한 소스
nML로 만든 인터프리터

본문내용

(* SEL(A Simple Expression Language)
Type Checker & Interpreter

syntax:

N : Numeral
E : Expression

E ::= N | E1+E2 | E1 - E2 | E1 * E2 | E1 / E2
| if E1 then E2 else E3 | E1 = E2 | not E
| E1,E2 | E1::E2 | (E) | [E]

typing semantics: (see slide#07)

semantics: (see slide#07)

programmed by Kyung-Goo Doh on May 3, 2001.
modified by Kyung-Goo Doh on April 15, 2002.
*)

(**** SEL abstract syntax ****)

type exp = NUM of int
| PLUS of exp * exp
| MINUS of exp * exp
| TIMES of exp * exp
| DIV of exp * exp
| IF of exp * exp * exp
| EQUAL of exp * exp
| NOT of exp
and exp2 = LIST of int * exp2
| CONS of exp2 * exp2
다운로드 맨위로