Inference of Resource Management Specifications
Article Properties
-
LanguageEnglish
-
DOI (url)
-
Publication Date2023/10/16
-
Indian UGC (journal)
-
Refrences35
-
Narges Shadab University of California, Riverside, Riverside, USA ORCID (unauthenticated)
-
Pritam Gharat Microsoft Research, Bengaluru, India ORCID (unauthenticated)
-
Shrey Tiwari Microsoft Research, Bengaluru, India ORCID (unauthenticated)
-
Michael D. Ernst University of Washington, Seattle, USA ORCID (unauthenticated)
-
Martin Kellogg New Jersey Institute of Technology, Newark, USA ORCID (unauthenticated)
-
Shuvendu K. Lahiri Microsoft Research, Redmond, USA ORCID (unauthenticated)
-
Akash Lal Microsoft Research, Bengaluru, India ORCID (unauthenticated)
-
Manu Sridharan University of California, Riverside, Riverside, USA ORCID (unauthenticated)
Abstract
Journal Category
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Computer software
Refrences
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
| https://pmd.sourceforge.io/pmd-6.55.0/pmd_rules_java_errorprone.html#closeresource Accessed | 2023 | |||
| https://github.com/microsoft/infersharp/wiki/InferSharp:-A-Scalable-Code-Analytics-Tool-for-.NET Accessed | 2023 | |||
| Avoiding resource leaks. hhttps://help.eclipse.org/2023-03/index.jsp?topic=org.eclipse.jdt.doc.usertaskstask-avoiding_resource_leaks.htm Accessed | 2023 | |||
| International Conference on Formal Methods for Open Object-Based Distributed Systems. 319–333 | 2011 | |||
| International Symposium on Formal Methods Europe 2001: Formal Methods for Increasing Software Productivity | 2001 |