:: 주제 보기 - [숙제 5] 전이과정 방식의 분석기를 구현하셔야 합니다

FAQ

검색

멤버리스트

사용자 그룹

사용자 등록하기

개인 정보

비공개 메시지를 확인하려면 로그인하십시오

로그인

[숙제 5] 전이과정 방식의 분석기를 구현하셔야 합니다

이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다

게시판 인덱스 -> 4541.664A Program Analysis (Spring 2025)

이전 주제 보기 :: 다음 주제 보기

글쓴이

메시지

이재호
Site Admin

가입: 2022년 3월 6일
올린 글: 209

올려짐: 2025년5월21일 16:05 주제: [숙제 5] 전이과정 방식의 분석기를 구현하셔야 합니다

안녕하세요 수강생 여러분,

숙제 5에서

인용:

요약 의미공간(abstract domains)과 요약 의미연산자(abstract semantic operators)들을 정의하고 그것들이 빼대검증때의 조건을 만족하는지 확인한다.

와 같이, 해당 내용을 보고서 혹은 문서로 간단히 작성하셔야 합니다.

제가 명시하여 공지하지 않은 부분이므로, 해당 문서를 구현과 함께 제출하시지 않은 분들께서도 문서만 따로 제출부탁드립니다.
해당 문서의 기한은 5/22(목) 24:00으로 하고, 마찬가지로 24(토) 24:00까지 딜레이 제출을 받겠습니다.

배점: 구현 점수는 130점, 문서 점수는 20점으로 총 150점입니다.

https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=7547

감사합니다.

조교 드림

TA 이재호
e-mail: jhlee@ropas.snu.ac.kr[/quote]

위로

이전 글 표시:

	게시판 인덱스 -> 4541.664A Program Analysis (Spring 2025)	시간대: GMT + 9 시간(한국)
페이지 1 중 1

건너뛰기:

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