Kwanghoon Choi
제목인용연도
Compiling lazy functional programs based on the spineless tagless G-machine for the java virtual machine
K Choi, H Lim, T Han
International Symposium on Functional and Logic Programming, 92-107, 2001
122001
A Review on Exception Analysis
BM Chang, K Choi
Information and Software Technology, 2016
92016
A type and effect system for activation flow of components in Android programs
K Choi, BM Chang
Information Processing Letters 114 (11), 620-627, 2014
92014
A secure application invocation mechanism in mobile phones for Near Field Communication
K Choi, J Kim, S Park
2012 IEEE International Conference on Consumer Electronics (ICCE), 731-732, 2012
92012
A lightweight approach to component-level exception mechanism for robust android apps
K Choi, BM Chang
Computer Languages, Systems & Structures 44, 283-298, 2015
72015
A type system for the push-enter model
K Choi, T Han
Information processing letters 87 (4), 205-211, 2003
42003
Smart Block: A Visual Programming Environment for SmartThings
N Bak, BM Chang, K Choi
2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC …, 2018
32018
A theory of RPC calculi for client–server model
K CHOI, BMO CHANG
Journal of Functional Programming 29, 2019
22019
A type theory for Krivine-style evaluation and compilation
K Choi, A Ohori
Asian Symposium on Programming Languages and Systems, 213-228, 2004
22004
A Practical Intent Fuzzing Tool for Robustness of Inter-Component Communication in Android Apps
K Choi, M Ko, B Chang
KSII Transactions on Internet and Information Systems (TIIS) 12 (9), 4248-4270, 2018
12018
A Runtime Inspection Technique with Intent Specification for Developing Robust Android Apps
M Ko, K Choi, BM Chang
Journal of KIISE 43 (2), 212-221, 2016
12016
Implementation and Analysis of Win32 Native Distributed Compilation System
K Jo, K Choi, J Kim, SW Kim
The 23rd International Technical Conference on Circuits/Systems, Computers …, 2008
1*2008
A Polymorphic RPC Calculus
K Choi, J Cheney, S Fowler, S Lindley
arXiv preprint arXiv:1910.10988, 2019
2019
UniPy: A Unified Programming Language for MGC-based IoT Systems
G Kim, K Choi, BM Chang
Journal of The Korea Society of Computer and Information 24 (3), 77-86, 2019
2019
A Development of Open-Source Software for Educational Coding Environments Using Small Basic
K Choi, G Kim, BM Chang
KIISE Transactions on Computing Practices 24 (12), 649-661, 2018
2018
An Android BLE Emulator for Developing Wearable Apps
H Moon, S Park, K Choi
KIISE Transactions on Computing Practices 24 (2), 545-553, 2018
2018
Automatic Code Review for SmartThings application using Static Analysis
JC Son, BM Chang, K Choi
한국정보과학회 학술발표논문집, 513-515, 2017
2017
A Study on Dynamic Typing and Development of Standard Library in Small Basic Programming Language
G Kim, K Choi
Proceedings of the Korea Information Processing Society Conference, 690-693, 2017
2017
Implementation of Context-Aware Android Application for Automatic Task Setting
NY Bak, D Chung, BM Chang, K Choi
The Journal of the Korea Contents Association 16 (11), 434-443, 2016
2016
An Automatic Method for Grouping Identical Error Logs in Random Intent Testing on Android Apps
H Kim, S Yoon, J Choi, M Ko, K Choi
Proceedings of the Korea Information Processing Society Conference, 1007-1010, 2015
2015
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20