지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
Abstract
1. 서론
2. 소스 언어 L
3. 출발점 : 집합 기반 분석
4. 파생 분석 I: 동적 관계식을 미루자
5. 파생 분석 II: 값을 자르는 분석을 통해 동적 관계식을 준비하자
6. 관련 연구
7. 결론
참고문헌
A. 증명
저자소개
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
“프로그램 정적 분석” 특집을 내면서
정보과학회지
2016 .03
안드로이드 프로그램 정적 분석 고찰
한국정보과학회 학술발표논문집
2012 .06
정적분석을 이용한 프로그램 간소화 방법
한국정보과학회 학술발표논문집
1994 .10
소프트웨어 감시 기법을 활용한 정적 실행시간 분석의 신뢰성 향상
한국컴퓨터정보학회논문지
2010 .04
자동 프로그램 교정을 위한 프로그램 분석 방법
한국정보과학회 학술발표논문집
1998 .04
정적 실행 시간 분석을 위한 외부 요인 예측 방안
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2011 .03
정적 실행시간 분석을 위한 외부 요인의 예측 방안
한국정보과학회 학술발표논문집
2010 .06
정적으로 2단계 언어의 불필요한 식 찾기
한국정보과학회 학술발표논문집
2011 .06
프로그램의 구조를 고려한 테스트 경로 생성과 시간 복잡도
(구)정보과학회논문지
1994 .10
프로그래밍 언어 교육용을 위한 지능형교수시스템에서의 교수전략
정보과학회논문지(B)
1996 .06
자동화된 프로그램 시험을 위한 입력 자료구조의 모양 식별
정보과학회논문지 : 소프트웨어 및 응용
2004 .10
다단계 프로그램을 위한 타입 기반의 실행흐름 분석
한국정보과학회 학술발표논문집
2007 .06
프로그램 자동 분석을 기반으로하는 프로그래밍 언어 교육용 시스템
한국정보과학회 학술발표논문집
1996 .04
고성능 정적 프로그램 분석 기법
정보과학회지
2016 .03
상용 소음 예측프로그램의 입력변수 분석
한국소음진동공학회 학술대회논문집
2014 .10
오퍼레이셔널 의미에 기반한 일차 함수형 언어의 정적 분할
정보과학회논문지 : 소프트웨어 및 응용
2000 .08
요약 해석을 이용한 프로그램 슬라이싱
정보과학회논문지 : 소프트웨어 및 응용
2001 .08
윈도우 환경에서 사용자 프로그램 실행 권한 제어 기능 설계
한국정보통신학회논문지
2016 .08
珍島連陸橋 (多重 Cable 斜張橋)의 靜的 解析프로그램 開發에 관한 研究
대한토목학회 학술발표회 개요집
1985 .10
주어진 프로그램에서 예외상황을 발생시키는 테스트 데이타 생성 방법
정보과학회논문지 : 소프트웨어 및 응용
2000 .04
0