Moving fast with software verification
Article Properties
-
LanguageEnglish
-
DOI (url)
-
Publication Date2015/08/14
-
Indian UGC (journal)
-
Citations2
-
Dino Distefano Facebook Inc., Cambridge, USA and Queen Mary University of London, UK
Journal Category
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Citations
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
Inference of Resource Management Specifications | Proceedings of the ACM on Programming Languages |
| 2023 | |
Detecting Uninitialized Variables in C++ with the Clang Static Analyzer | Acta Cybernetica |
| 2020 |
Citations Analysis
| Category | Category Repetition |
|---|---|
| Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software | 1 |
The category
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software 1
is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Detecting Uninitialized Variables in C++ with the Clang Static Analyzer and was published in 2020. The most recent citation comes from a 2023 study titled Inference of Resource Management Specifications. This article reached its peak citation in 2023, with 1 citations. It has been cited in 2 different journals. Among related journals, the Proceedings of the ACM on Programming Languages cited this research the most, with 1 citations. The chart below illustrates the annual citation trends for this article.