메뉴 건너뛰기
.. 내서재 .. 알림
소속 기관/학교 인증
인증하면 논문, 학술자료 등을  무료로 열람할 수 있어요.
한국대학교, 누리자동차, 시립도서관 등 나의 기관을 확인해보세요
(국내 대학 90% 이상 구독 중)
로그인 회원가입 고객센터 ENG
주제분류

추천
검색
질문

이용수

표지
📌
연구주제
📖
연구배경
🔬
연구방법
🏆
연구결과
AI에게 요청하기
추천
검색
질문

초록· 키워드

오류제보하기
예외상황 분석기를 SML/NJ에 장착하면서 모듈 시스템에 효율적으로 장착할 수 있는 분석이 필요하였다. 문제를 축소하여 다루기 쉬운 함수 흐름 분석(control-flow analysis)에 대하여, 간단한 모듈 지원 분석을 설계해 보았다. 설계된 모듈 지원 분석이 옳은 결과값을 준다는 ... 전체 초록 보기

목차

요약

1 배경

2 언어와 0 - CFA

3 T : 간단한 모듈 지원 0 - CFA

4 T의 안전함

5 X : 향상된 모듈 지원 0 - CFA

6 결론 및 향후계획

참고 자료

참고문헌 (0)

참고문헌 신청

함께 읽어보면 좋을 논문

논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!

이 논문의 저자 정보

최근 본 자료

전체보기

댓글(0)

0

UCI(KEPA) : I410-ECN-0101-2009-569-017961383