Reasonably-Most-General Clients for JavaScript Library Analysis

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 may interact with the library in ways that are not i...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings / International Conference on Software Engineering s. 83 - 93
Hlavní autoři:	Kristensen, Erik Krogh, Moller, Anders
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.05.2019
Témata:	Analytical models Contracts Libraries most general client program analysis Semantics Static analysis Testing TypeScript
ISSN:	1558-1225
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!