Universitaet Freiburg;
dynamic type systems; program analysis; objects; functions;
机译:基于JavaScript和语义类型系统的统一系统建模和编程语言
机译:没有类型分析的JavaScript程序的过程间类型专业化
机译:开始使用功能性JavaScript:使用ECMAScript 6使用JavaScript进行功能性编程
机译:朝着分析JavaScript程序的类型系统
机译:在ELM和JavaScript中分析功能性反应式编程。
机译:AUTOCOUNTER一种ImageJ JavaScript可分析自噬诱导的星形细胞瘤细胞中LC3B-GFP的表达动态
机译:使用OctAgen域分析JavaScript程序