FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
검색 결과 67 개 일치합니다
게시판 인덱스
글쓴이
메시지
주제:
hw6, project 채점 결과 입니다.
진민식
답변:
0
조회:
13976
게시판:
4541.664A Program Analysis (Spring 2006)
올려짐: 2006년6월23일 10:03 주제:
hw6, project 채점 결과 입니다.
http://ropas.snu.ac.kr/~ta/4190.664A/06/hw6.htm
http://ropas.snu.ac.kr/~ta/4190.664A/06/project.htm
주제:
Homework5 채점 결과 입니다.
진민식
답변:
0
조회:
5196
게시판:
4541.664A Program Analysis (Spring 2006)
올려짐: 2006년6월20일 16:15 주제:
Homework5 채점 결과 입니다.
http://ropas.snu.ac.kr/~ta/4190.664A/06/homework5.htm
주제:
Project 제출자 명단입니다.
진민식
답변:
0
조회:
5114
게시판:
4541.664A Program Analysis (Spring 2006)
올려짐: 2006년6월20일 13:56 주제:
Project 제출자 명단입니다.
다음은 프로젝트를 제출한 사람들의 학번입니다.
프로젝트를 보냈는데 빠진 분은 조교에게 알려주시기 바랍니다.
2006-21286
2004-21529
2004-21603
2003-21 ...
주제:
딜레이 하루만 인정해 주시면 안될까요 ?
진민식
답변:
1
조회:
5449
게시판:
4541.664A Program Analysis (Spring 2006)
올려짐: 2006년6월19일 15:32 주제:
딜레이 하루만 인정해 주시면 안될까요 ?
공지사항에 답변을 올렸습니다.
주제:
수정)Project 제출기한은 19일(24:00), delay는 20일 12:00 (정오)까지 받겠습니다.
진민식
답변:
0
조회:
5255
게시판:
4541.664A Program Analysis (Spring 2006)
올려짐: 2006년6월19일 15:32 주제:
수정)Project 제출기한은 19일(24:00), delay는 20일 12:00 (정오)까지 받겠습니다.
교수님과 상의한 결과,
delay를 20일 12:00 정오 까지 받는 것으로 하겠습니다.
주제:
Project 제출기한은 19일(24:00), delay 는 인정되지 않습니다.
진민식
답변:
0
조회:
4932
게시판:
4541.664A Program Analysis (Spring 2006)
올려짐: 2006년6월19일 11:10 주제:
Project 제출기한은 19일(24:00), delay 는 인정되지 않습니다.
제목대로 Project의 제출기한은 19일(24:00) 이고
delay는 인정되지 않습니다.
최대한 것 까지 제출해 주세요.
주제:
프로젝트 2번을 하는 사람은 별로 없나봅니다. 그래도 질문~ㅋ
진민식
답변:
2
조회:
6566
게시판:
4541.664A Program Analysis (Spring 2006)
올려짐: 2006년6월18일 17:44 주제:
프로젝트 2번을 하는 사람은 별로 없나봅니다. 그래도 질문~ㅋ
1. 출력양식은 1번과 비슷하게 각 sub expression
에 대해서 type과 발생할 수 있는 effect를 출력해주시면
됩니다.
2. spec에는 let-polymorphism 에 대해서 ...
주제:
parser 오류
진민식
답변:
3
조회:
6179
게시판:
4541.664A Program Analysis (Spring 2006)
올려짐: 2006년6월18일 14:27 주제:
parser 오류
malloc(i) + malloc(j) 의 의미는 없는거죠?
array 두개를 더하는 것이므로 semantics 가 정의 안된 error입니다.
다만, parsing이 어떻게 되는지 예로 든 것입니다.
주제:
Project1 용 parser수정
진민식
답변:
2
조회:
6182
게시판:
4541.664A Program Analysis (Spring 2006)
올려짐: 2006년6월18일 14:26 주제:
Project1 용 parser수정
malloc(x) + malloc(y) 의 의미가 무엇인가요?
array 두개를 더하는 것이므로 semantics 가 정의 안된 error입니다.
다만 parser 가 parsing을 어떻게 하는 지 예로 ...
주제:
parser 오류
진민식
답변:
3
조회:
6179
게시판:
4541.664A Program Analysis (Spring 2006)
올려짐: 2006년6월17일 23:41 주제:
parser 오류
공지사항에 올렸습니다.
주제:
Project1 용 parser수정
진민식
답변:
2
조회:
6182
게시판:
4541.664A Program Analysis (Spring 2006)
올려짐: 2006년6월17일 23:36 주제:
Project1 용 parser수정
project 에서 사용하는 parser를 편하게 사용할 수 있도록
아래와 같이 parsing이 되도록 수정하였습니다.
http://ropas.snu.ac.kr/~ta/4190.664A/06/parser.ny
z := m ...
주제:
malloc이 만드는 메모리 타입에 대해서
진민식
답변:
1
조회:
5730
게시판:
4541.664A Program Analysis (Spring 2006)
올려짐: 2006년6월17일 23:03 주제:
malloc이 만드는 메모리 타입에 대해서
처음 과제가 나올 때는 int 타입으로 하라고 말씀하셨던 것 같습니다.
malloc 5 하면 int형으로 5개 만드는 식으로요...
integer를 저장하는 array이란 말은 c ...
주제:
초기화하지 않은 변수에 assign 하는 문제에 대한 질문입니다.
진민식
답변:
1
조회:
5517
게시판:
4541.664A Program Analysis (Spring 2006)
올려짐: 2006년6월17일 17:26 주제:
초기화하지 않은 변수에 assign 하는 문제에 대한 질문입니다.
a := &x;
*a := 1
위의 경우는 x라는 주소에 1의 값이 들어 가게 됩니다.
이는 x는 프로그램 상의 variable이고
프로그램상의 variable에 대한 주소 ...
주제:
malloc에서 할당된 메모리의 범위에 대해서...
진민식
답변:
1
조회:
6096
게시판:
4541.664A Program Analysis (Spring 2006)
올려짐: 2006년6월16일 14:24 주제:
malloc에서 할당된 메모리의 범위에 대해서...
제가 궁금한 것은 프로젝트에서 목표로 하는 것이 '정상적으로 프로그램이 동작했다고 가정할 때 가지게 되는 메모리의 범위'만 구하면 충분한 것인가 ...
주제:
malloc E 에 대해서...
진민식
답변:
1
조회:
4905
게시판:
4541.664A Program Analysis (Spring 2006)
올려짐: 2006년6월15일 16:29 주제:
malloc E 에 대해서...
1.
syntax상으로는, E의 값이 interval로 주어질 경우도 발생할 수 있는데요.
그럼 array의 size도 interval의 값을 갖는다고 요약해석을 진행해야 하나요?
...
페이지
1
중
5
페이지로
1
,
2
,
3
,
4
,
5
다음
시간대: GMT + 9 시간(한국)
건너뛰기:
게시판 선택
010.142 Basics in Computing
----------------
010.142 Basics in Computing (Spring 2006)
400.002 Engineering Mathematics II
----------------
400.002 Engineering Mathematics II (Fall 2005)
4190.210 Principles of Programming
----------------
4190.210 Principles of Programming (Fall 2014)
4190.210 Principles of Programming (Fall 2013)
4190.210 Principles of Programming (Fall 2012)
4190.210 Principles of Programming (Fall 2011)
4190.210 Principles of Programming (Fall 2010)
4190.210 Principles of Programming (Fall 2009)
4190.210 Principles of Programming (Fall 2008)
4190.210 Principles of Programming (Spring 2007)
4190.210 Principles of Programming (Spring 2006)
4190.310 Programming Languages
----------------
4190.310 Programming Languages (Spring 2024)
4190.310 Programming Languages (Spring 2023)
4190.310 Programming Languages (Spring 2022)
4190.310 Programming Languages (Spring 2021)
4190.310 Programming Languages (Fall 2019)
4190.310 Programming Languages (Fall 2018)
4190.310 Programming Languages (Fall 2017)
4190.310 Programming Languages (Fall 2015)
4190.310 Programming Languages (Fall 2014)
4190.310 Programming Languages (Fall 2013)
4190.310 Programming Languages (Fall 2012)
4190.310 Programming Languages (Fall 2011)
4190.310 Programming Languages (Spring 2011)
4190.310 Programming Languages (Fall 2010)
4190.310 Programming Languages (Fall 2009)
4190.310 Programming Languages (Fall 2008)
4190.310 Programming Languages (Fall 2007)
4190.310 Programming Languages (Fall 2006)
4190.310 Programming Languages (Fall 2005)
4541.664A Program Analysis
----------------
4541.664A Program Analysis (Fall 2023)
4541.664A Program Analysis (Spring 2017)
4541.664A Program Analysis (Spring 2016)
4541.664A Program Analysis (Spring 2015)
4541.664A Program Analysis (Spring 2014)
4541.664A Program Analysis (Spring 2013)
4541.664A Program Analysis (Spring 2011)
4541.664A Program Analysis (Spring 2010)
4541.664A Program Analysis (Spring 2009)
4541.664A Program Analysis (Fall 2008)
4541.664A Program Analysis (Spring 2007)
4541.664A Program Analysis (Spring 2006)
027.013 Computational Civilization
----------------
046.016 Computational Civilization (Spring 2018)
046.016 Computational Civilization (Spring 2017)
046.016 Computational Civilization (Spring 2016)
046.016 Computational Civilization (Fall 2015)
046.016 Computational Civilization (Spring 2015)
046.016 Computational Civilization (Spring 2014)
027.013 Computational Civilization (Spring 2013)
027.013 Computational Civilization (Fall 2012)
L444.200 Computational Thinking and Practice
----------------
L444.200 Computational Thinking and Practice (Fall 2017)
Powered by
phpBB
2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay