1. [1] Ugawa, T., Iwasaki, H. and Kataoka, T.: eJSTK: Building JavaScript virtual machines with customized datatypes for embedded systems, Journal of Computer Languages, Vol.51, pp.261-279 (2019).
2. [2] Kataoka, T., Ugawa, T. and Iwasaki, H.: A Framework for Constructing JavasSript Virtual Machines with Customized Datatype Representations, Proc. SAC 2018, pp.1238-1247, ACM (2018).
3. [3] Brunel, J., Doligez, D., Hansen, R.R., Lawall, J.L. and Muller, G.: A Foundation for Flow-based Program Matching: Using Temporal Logic and Model Checking, Proc. 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '09), pp.114-126, ACM (2009).
4. [4] Padioleau, Y., Lawall, J., Hansen, R.R. and Muller, G.: Documenting and Automating Collateral Evolutions in Linux Device Drivers, Proc. 3rd ACM SIGOPS/EuroSys European Conference on Computer Systems 2008 (Eurosys '08), pp.247-260, ACM (2008).
5. [5] Chambers, C., Ungar, D. and Lee, E.: An Efficient Implementation of SELF a Dynamically-typed Object-oriented Language Based on Prototypes, Proc. Object-oriented Programming Systems, Languages and Applications (OOPSLA '89), pp.49-70, ACM (1989).