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

소개글

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

목차

총 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

참고 자료

없음

압축파일 내 파일목록

bintree.n
copy.n
copy2.n
dup.n
dup2.n
elem_num.n
filter.n
fun.n.bak
isnil.n
listLength.n
longstring.n
minsuc.n
minsuc.n.bak
minsuc.n.txt
minsuc2.n
minsuc2.n.bak
oddonly.n
oddonly_filter.n
oddonly_tail.n
끼워.n
넌빠져.n
모두앞에붙여.n
붕어빵.n
세번째리스트.n
세제곱.n
있나.n
작은것앞.n
제일큰놈.n
제일큰놈_tail.n
지워.n
훼까닥.n
인터프리터/fun.n

전체 목록 보기