조교팀 홈페이지 - 4541.664A Program Analysis

• 2023-10-18 숙제 2가 공개되었습니다. 자세한 공지는 게시판을 참고해주세요.

• 2023-09-26 숙제 1이 공개되었습니다. 자세한 공지는 게시판을 참고해주세요.

• 2023-09-05 2023년 2학기 프로그램 분석의 과제 질문/답변 및 중요 공지사항이 게시판에 올라오므로, 수시로 확인해 주시기 바랍니다

질문/답변시간

궁금한 점이 있으시면 사전 연락 후 302동 312-2호로 오셔서 조교를 찾아주시면 됩니다.

조교 이메일: 김도형 dhkim@ropas.snu.ac.kr / 이도윤 dylee@ropas.snu.ac.kr

참고문서

-OCaml

• OCaml 홈페이지
• OCaml reference - Pervasives, List등 라이브러리
  • For emacs users
• OCaml style guide
• Ocaml tutorial (2023/3/3)
• Ocaml tutorial (2022/3/3)
• Ocaml tutorial (2021/3/8)
• Ocaml tutorial (2019/9/6)
• Ocaml tutorial (2018/9/6)
• Ocaml tutorial (2017/9/6)
• Ocaml tutorial (2015/9/8)
• Ocaml tutorial (2013/9/11)
• Ocaml tutorial (2011/9/7)
• Ocaml tutorial (2011/3/10)
• Ocaml cheat sheet
• Introduction to Objective Caml.
• 예제
  • hello.ml: hello world!
  • intstack.ml: 정수 스택
  • stack.ml: 일반적인 스택
  • mylist.ml: 라이브러리의 List 모듈에 있는 함수들의 구현 예
  • sieve.ml: 2부터 1000까지 소수를 출력하는 프로그램
  • qsort.ml: 퀵소트의 한 가지 구현
  • calc.ml: 계산기

제출

• 웹 페이지를 통해 제출합니다.
• 숙제 제출 유의사항
• 처음 사용자는 등록기간내에 등록해주세요.