HW3 is out

[duncan020313]

안녕하세요. 세 번째 과제인 Abstract Interpretation 과제에 대한 공지입니다.

이번 과제에서는 요약 해석 (Abstract Interpretation)의 근간이 되는 수학적 개념에 관한 문제들을 다룹니다.
자세한 내용은 README.md를 참고해주세요.

제출

아래 링크를 통해 과제 레포지토리를 생성하고 과제를 진행해주시기 바랍니다.
https://classroom.github.com/a/-uXn1dh1

과제 채점은 Gradescope 를 통해 이루어집니다. 3. Abstract Interpretation 라는 이름의 과제에 제출해주시기 바랍니다. 과제는 컴파일된 PDF파일을 제출해주시면 됩니다.

중요: 한국인 학생들은 한국어로 과제를 작성하여 제출해주세요.

기한

제출 마감: 04. 05 (토) 23:59
늦은 제출 마감: 04. 07 (월) 23:59

감사합니다.

---

Hello, This is an announcement for the third assignment, Abstract Interpretation.

In this assignment, you will work on problems related to the mathematical concepts underlying Abstract Interpretation.
Please refer to README.md for detailed information.

Submission

Please create a repository using the link below and proceed with the assignment.
https://classroom.github.com/a/-uXn1dh1

Grading will be conducted via Gradescope. Submit your assignment to 3. Abstract Interpretation as a compiled PDF file.

Important: Write in Korean if you are a Korean student.

Deadline

Due: 04. 05 (Sat.) 23:59
Late Due: 04. 07 (Mon.) 23:59

Thank you.