Loading...
Please wait, while we are loading the content...
Similar Documents
Type Qualifiers for Java
| Content Provider | Semantic Scholar |
|---|---|
| Author | Greenfieldboyce, David Foster, Jeffrey S. |
| Copyright Year | 2005 |
| Abstract | We describe Jqual, a practical framework for type qualifier inference in Java. Jqual is implemented as an Eclipse plug-in that allows researchers to quickly develop and test modifications to the Java type system based on the flexible, lightweight and familiar mechanism of type qualifiers. We demonstrate one such analysis which supports specification and checking of reference immutability for Java types modeled on the Javari language[2]. Finally, we describe the results of applying this analysis to a moderate-sized |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.cs.umd.edu/grad/scholarlypapers/papers/greenfiledboyce.pdf |
| Alternate Webpage(s) | http://www.cs.umd.edu/sites/default/files/scholarly_papers/greenfiledboyce_1.pdf%20 |
| Alternate Webpage(s) | https://www.cs.umd.edu/sites/default/files/scholarly_papers/greenfiledboyce_1.pdf%20 |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |