한국어
LIBRARY
Communities & Collections
Researchers
Titles
Issue Date
Journals
검색
Search
All of ScholarWorks
공과대학
소프트웨어학부
1. Journal Articles
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
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
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-1 of 1 (Search time: 0.004 seconds).
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
Chang, Byeong Mo
1
Choi, Kwanghoon
1
Subject
Android
1
Control flow
1
Formal semantics
1
JAVA
1
Program analysis
1
Type
Article
1
BROWSE
한국어
Communities & Collections
Researchers
Titles
Journals
LIBRARY