DSpace at KOASAS
Browsing DSpace

Browse "School of Computing(전산학부)" by Subject Abstract interpretation

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 6 of 6

1
A sparse evaluation technique for detailed semantic analyses

Ko, Yoon Seok; Heo, Kihong; Oh, Hakjoo, COMPUTER LANGUAGES SYSTEMS & STRUCTURES, v.40, no.3-4, pp.99 - 111, 2014-10

2
A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework

Kim, Se-Won; Rival, Xavier; Ryu, Sukyoung, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.40, no.3, 2018-08

3
Abstract interpretation of higher-order language using affine equalites = 어파인 등식을 이용한 고차 언어의 요약 해석link

Jung, Deok-Hwa; 정덕화; et al, 한국과학기술원, 1999

4
(An) LR(k) and LL(k) parsing framework: abstract interpretation approach = LR(k) 및 LL(k) 구문분석 프레임웍에 대한 요약해석적 접근link

O, Seung-Hwan; 오승환; et al, 한국과학기술원, 2006

5
Compositional Shape Analysis by Means of Bi-Abduction

Calcagno, Cristiano; Distefano, Dino; O'Hearn, Peter W.; Yang, Hongseok, JOURNAL OF THE ACM, v.58, no.6, 2011-12

6
분석기 생성 시스템 Z2에서 그래픽 사용자 인터페이스의 자동 생성 = Automatic generation of graphic user interface on analyzer generating system Z2link

어현준; Eo, Hyun-Jun; et al, 한국과학기술원, 1998

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0