Skip to main content
Record
Title
Towards Declarative Specification of Static Analysis for Programming Tools
Type
Dissertation
Publ. year
2024
Author/s
Riouak, Idriss
Department/s
ELLIIT: the Linköping-Lund initiative on IT and mobile communication; LTH Profile Area: AI and Digitalization; Software Development and Environments; Department of Computer Science
In LUP since
2024-10-15
Downloads

Total This Year This Month
477 323 6
 Downloads per Country

United States of America
165 (35%)
Brazil
35 (7%)
Sweden
34 (7%)
Singapore
30 (6%)
China
17 (4%)
India
17 (4%)
Unknown
14 (3%)
United Kingdom of Great Britain and Northern Ireland
12 (3%)
Germany
12 (3%)
Viet Nam
12 (3%)
Canada
10 (2%)
France
8 (2%)
Ukraine
7 (1%)
Spain
7 (1%)
Russian Federation
6 (1%)
Mexico
5 (1%)
Argentina
5 (1%)
Denmark
5 (1%)
Japan
5 (1%)
Netherlands (Kingdom of the)
5 (1%)
Jordan
4 (1%)
South Korea
4 (1%)
South Africa
3 (1%)
Ecuador
3 (1%)
Portugal
3 (1%)
Indonesia
3 (1%)
New Zealand
2 (0%)
Algeria
2 (0%)
Finland
2 (0%)
Italy
2 (0%)
Bangladesh
2 (0%)
Iraq
2 (0%)
Malaysia
2 (0%)
Belgium
2 (0%)
Venezuela
2 (0%)
Paraguay
2 (0%)
Turkiye
1 (0%)
Israel
1 (0%)
Hungary
1 (0%)
Kazakhstan
1 (0%)
Chile
1 (0%)
United Arab Emirates
1 (0%)
Colombia
1 (0%)
Thailand
1 (0%)
Nicaragua
1 (0%)
Panama
1 (0%)
Taiwan (China)
1 (0%)
Reunion
1 (0%)
Uzbekistan
1 (0%)
Pakistan
1 (0%)
Honduras
1 (0%)
Hong Kong (China)
1 (0%)
Azerbaijan
1 (0%)
Philippines
1 (0%)
Kenya
1 (0%)
Peru
1 (0%)
Saudi Arabia
1 (0%)
Montenegro
1 (0%)
Cote d'Ivoire
1 (0%)
Bulgaria
1 (0%)
Poland
1 (0%)
Macedonia
1 (0%)
About
The download statistics shown here have been collected since the launch of LUP in October 2007 and are updated every night. Statistics are available for all records with open access full-texts. Efforts have been made to exclude downloads by robots and track irregular download activities.

About accessibility

Disclaimer
The information on downloads per country is based on the geolocation of IP addresses and may not be completely accurate. The statistics presented here may also change retroactively when the calculation process is improved to provide more accurate results.

Statistics Last Updated
2026-09-14 11:50:06