한국어
LIBRARY
Communities & Collections
Researchers
Titles
Issue Date
Journals
검색
Search
All of ScholarWorks
공과대학
기계시스템학부
기초공학부
소프트웨어학부
화공생명공학부
1. Journal Articles
2. Conference Papers
3. Books & Book Chapters
4. Patents
5. Others
Current filters:
Title
Author
Subject
Date Issued
Type
Language
Journal
Journal Index
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Current filters:
Title
Author
Subject
Date Issued
Type
Language
Journal
Journal Index
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Add filters:
Title
Author
Subject
Date Issued
Type
Language
Journal
Journal Index
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort items by
Relevance
Title
Issue Date
In order
Ascending
Descending
Authors/record
All
1
5
10
15
20
25
30
35
40
45
50
Results 1-2 of 2 (Search time: 0.003 seconds).
Managing the granularity of constraint-based analyses by rule transformation
Go to Link
Chang, BM
Article
Issue Date
2002
Citation
INFORMATION PROCESSING LETTERS, v.83, no.2, pp 79 - 88
Publisher
ELSEVIER SCIENCE BV
A type and effect system for activation flow of components in Android programs
Go to Link
Choi, Kwanghoon;
Chang, Byeong-Mo
Article
Issue Date
2014
Citation
INFORMATION PROCESSING LETTERS, v.114, no.11, pp 620 - 627
Publisher
ELSEVIER SCIENCE BV
1
Discover
Author
Choi, Kwanghoon
1
Subject
Android
1
Control flow
1
Formal semantics
1
JAVA
1
Java
1
Program analysis
1
rule transformation
1
set-based analysis
1
set-constraints
1
Date Issued
2010 - 2014
1
2002 - 2009
1
Type
Article
2
Language
ENG
2
BROWSE
한국어
Communities & Collections
Researchers
Titles
Journals
LIBRARY