Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Erik Krogh Kristensen"'
Autor:
Manuel Benz, Linghui Luo, Erik Krogh Kristensen, Nataniel P. Borges, Andreas Zeller, Eric Bodden
Publikováno v:
ICSE
The assessment of information flows is an essential part of analyzing Android apps, and is frequently supported by static taint analysis. Its precision, however, can suffer from the analysis not being able to precisely determine what elements a point
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b55515b1698f768faa439d9d0d170ae2
Autor:
Erik Krogh Kristensen, Anders Møller
Publikováno v:
Kristensen, E K & Møller, A 2019, ' Reasonably-Most-General Clients for JavaScript Library Analysis ', Proceedings of the International Conference on Software Engineering . https://doi.org/10.1109/ICSE.2019.00026
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE)
ICSE
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE)
ICSE
A well-known approach to statically analyze libraries without having access to their client code is to model all possible clients abstractly using a most-general client. In dynamic languages, however, a most-general client would be too general: it ma
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d4e7eaf3c5ed0db8e435f71808142933
https://pure.au.dk/portal/da/publications/reasonablymostgeneral-clients-for-javascript-library-analysis(6cfdaeb2-114c-47a8-9865-2a0394c49e88).html
https://pure.au.dk/portal/da/publications/reasonablymostgeneral-clients-for-javascript-library-analysis(6cfdaeb2-114c-47a8-9865-2a0394c49e88).html
Autor:
Anders Møller, Erik Krogh Kristensen
Publikováno v:
Kristensen, E K & Møller, A 2017, ' Type Test Scripts for TypeScript Testing ', Proceedings of the ACM on Programming Languages, vol. 1, no. OOPSLA, 90, pp. 90:1-90:25 . https://doi.org/10.1145/3133914
Proceedings of the ACM on Programming Languages, OOPSLA
Proceedings of the ACM on Programming Languages, OOPSLA
TypeScript applications often use untyped JavaScript libraries. To support static type checking of such applications, the typed APIs of the libraries are expressed as separate declaration files. This raises the challenge of checking that the declarat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::44d0bc5d4459a9b981c36fed70d42416
https://pure.au.dk/portal/da/publications/type-test-scripts-for-typescript-testing(511dee6e-2aeb-4613-9c08-dd18c589a855).html
https://pure.au.dk/portal/da/publications/type-test-scripts-for-typescript-testing(511dee6e-2aeb-4613-9c08-dd18c589a855).html
Autor:
Erik Krogh Kristensen, Anders Møller
Publikováno v:
Kristensen, E K & Møller, A 2017, Inference and Evolution of TypeScript Declaration Files . in M Huisman & J Rubin (eds), Fundamental Approaches to Software Engineering: : 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings . vol. 10202, Springer VS, Berlin, Heidelberg, Lecture Notes in Computer Science, vol. 10202, pp. 99-115, Uppsala, Sweden, 22/04/2017 . https://doi.org/10.1007/978-3-662-54494-5_6
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Fundamental Approaches to Software Engineering
Fundamental Approaches to Software Engineering ISBN: 9783662544938
FASE
Fundamental Approaches to Software Engineering-20th International Conference
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Fundamental Approaches to Software Engineering
Fundamental Approaches to Software Engineering ISBN: 9783662544938
FASE
Fundamental Approaches to Software Engineering-20th International Conference
TypeScript is a typed extension of JavaScript that has become widely used. More than 2000 JavaScript libraries now have publicly available TypeScript declaration files, which allows the libraries to be used when programming TypeScript applications. S
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::30817dcf9621ef27afa43d0df925056b
https://pure.au.dk/portal/da/publications/inference-and-evolution-of-typescript-declaration-files(3cb7f364-a568-4584-9185-971f36b6f810).html
https://pure.au.dk/portal/da/publications/inference-and-evolution-of-typescript-declaration-files(3cb7f364-a568-4584-9185-971f36b6f810).html
Autor:
Kristensen, Erik Krogh, Møller, Anders
Publikováno v:
ICSE: International Conference on Software Engineering; 5/25/2019, p83-93, 11p
Autor:
Marieke Huisman, Julia Rubin
This book constitutes the proceedings of the 20th International Conference on Fundamental Approaches to Software Engineering, FASE 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and P