@article{misek2017control,
  title = {Control Flow Ambiguous-Type Inter-Procedural Semantic Analysis for Dynamic Language Compilation},
  author = {Misek, Jakub and Zavoral, Filip},
  journal = {Procedia Computer Science},
  volume = {109},
  pages = {955--962},
  year = {2017},
  publisher = {Elsevier},
}