게시판 인덱스

 
 FAQFAQ   검색검색   멤버리스트멤버리스트   사용자 그룹사용자 그룹   사용자 등록하기사용자 등록하기 
 개인 정보개인 정보   비공개 메시지를 확인하려면 로그인하십시오비공개 메시지를 확인하려면 로그인하십시오   로그인로그인 

Sm5의 Environment에 대하여

 
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2015)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
최병서



가입: 2014년 10월 4일
올린 글: 13
올리기올려짐: 2015년11월6일 16:01    주제: Sm5의 Environment에 대하여 인용과 함께 답변
Sm5의 Environment는 (Var × (Loc + Proc)) list 라고 정의되어 있습니다.

하지만 Bind 명령어의 경우 모든 Svalue를 Var과 순서쌍을 지어 Environment에 넣을 수 있습니다.

이 경우 Loc도 Proc도 아닌 스택의 값을 Bind를 이용하여 Environment에 넣는 것이 허용되나요?
위로
사용자 정보 보기 비밀 메시지 보내기
최재승



가입: 2012년 9월 10일
올린 글: 211
올리기올려짐: 2015년11월6일 16:48    주제: 인용과 함께 답변
Loc과 Proc만 Bind로 Environment에 묶을 수 있습니다.

인용:
하지만 Bind 명령어의 경우 모든 Svalue를 Var과 순서쌍을 지어 Environment에 넣을 수 있습니다.

hw5.pdf 파일에 나온 실행규칙

(w :: S, M, E, bind x :: C, K) -->(S, M, (x, w) :: E, C, K)

를 의미하시는 건가요? 여기서 w는 임의의 Svalue가 아닌, (x,w) :: E로 Environment에 묶을 수 있는 Loc이나 Proc 중 하나라고 이해하시기 바랍니다
위로
사용자 정보 보기 비밀 메시지 보내기
최병서



가입: 2014년 10월 4일
올린 글: 13
올리기올려짐: 2015년11월6일 18:59    주제: 인용과 함께 답변
네 답변 감사드립니다.
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2015) 시간대: GMT + 9 시간(한국)
페이지 1 중 1

 
건너뛰기:  
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다


Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay