Author:
Kristensen Erik Krogh,Møller Anders
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Andersen, L.O.: Program analysis and specialization for the C programming language. PhD thesis, University of Copenhagen (1994)
2. Andreasen, E., Møller, A.: Determinacy in static analysis for jQuery. In: Proceeding ACM International Conference on Object Oriented Programming Systems Languages & Applications (2014)
3. Bae, S., Cho, H., Lim, I., Ryu, S.: SAFE$$_\text{WAPI}$$: web API misuse detector for web applications. In: Proceeding 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering (2014)
4. Bierman, G.M., Abadi, M., Torgersen, M.: Understanding typescript. In: Proceeding 28th European Conference on Object-Oriented Programming (2014)
5. Lecture Notes in Computer Science;A Bonnaire-Sergeant,2016
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. How Profilers Can Help Navigate Type Migration;Proceedings of the ACM on Programming Languages;2023-10-16
2. How to Evaluate Blame for Gradual Types, Part 2;Proceedings of the ACM on Programming Languages;2023-08-30
3. Highly illogical, Kirk: spotting type mismatches in the large despite broken contracts, unsound types, and too many linters;Proceedings of the ACM on Programming Languages;2022-10-31
4. Generation of TypeScript declaration files from JavaScript code;Proceedings of the 18th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes;2021-09-29
5. Taming type annotations in gradual typing;Proceedings of the ACM on Programming Languages;2020-11-13