Statistics for A Lightweight Type System with Uniqueness and Typestates for the Java Cryptography API
Total visits
| views | |
|---|---|
| A Lightweight Type System with Uniqueness and Typestates for the Java Cryptography API | 125 |
Total visits per month
| views | |
|---|---|
| April 2025 | 0 |
| May 2025 | 0 |
| June 2025 | 3 |
| July 2025 | 2 |
| August 2025 | 0 |
| September 2025 | 3 |
| October 2025 | 0 |
File Visits
| views | |
|---|---|
| Liu_Shuchen.pdf | 180 |
Top country views
| views | |
|---|---|
| Canada | 28 |
| United States | 22 |
| Japan | 8 |
| Singapore | 8 |
| Ireland | 7 |
| Hong Kong SAR China | 5 |
| India | 4 |
| Russia | 3 |
| Australia | 2 |
| South Korea | 2 |
| Taiwan | 2 |
| China | 1 |
| United Kingdom | 1 |
| Indonesia | 1 |
| Malaysia | 1 |
| Portugal | 1 |
| Turkey | 1 |
Top city views
| views | |
|---|---|
| Waterloo | 25 |
| Tokyo | 7 |
| Dublin | 6 |
| Boardman | 3 |
| Hong Kong | 3 |
| Mumbai | 3 |
| Singapore | 3 |
| Boston | 2 |
| Coeur d'Alene | 2 |
| Lexington | 2 |
| San Diego | 2 |
| St. John's | 2 |
| Sydney | 2 |
| Taipei | 2 |
| Winston-Salem | 2 |
| Ankara | 1 |
| Augusta | 1 |
| Bayan Lepas | 1 |
| Bengaluru | 1 |
| Boydton | 1 |
| Coimbra | 1 |
| Hangzhou | 1 |
| Jakarta | 1 |
| Plano | 1 |
| Seattle | 1 |
| Southwark | 1 |
| Stittsville | 1 |