Extended static checking (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Extended static checking" in English language version.

refsWebsite

Global rank English rank

3doi.org

2^nd place

2worldcat.org

5^th place

1acm.org

1,185^th place

840^th place

1archive.today

14^th place

1uwtv.org

low place

1ucsc.edu

3,619^th place

2,621^st place

acm.org (Global: 1,185^th place; English: 840^th place)

doi.acm.org

C. Flanagan, K.R.M. Leino, M. Lillibridge, G. Nelson, J. B. Saxe and R. Stata. "Extended static checking for Java". In Proceedings of the Conference on Programming Language Design and Implementation, pages 234-245, 2002. doi: http://doi.acm.org/10.1145/512529.512558

archive.today (Global: 14^th place; English: 14^th place)

"Extended Static Checking". UWTV. Archived from the original on April 16, 2013. Retrieved 2012-02-01.

doi.org (Global: 2^nd place; English: 2^nd place)

Babic, Domagoj; Hu, Alan J. (2008). Calysto: Scalable and Precise Extended Static Checking. Proceedings of the International Conference on Software Engineering (ICSE). ACM Press. doi:10.1145/1368088.1368118.
Rustan, K.; Leino, M.; Nelson, Greg (1998). "An extended static checker for modula-3". Lecture Notes in Computer Science - International Conference on Compiler Construction. Springer. pp. 302–305. doi:10.1007/bfb0026441. ISBN 978-3-540-64304-3. ISSN 0302-9743.
Flanagan, Cormac; Flatt, Matthew; Krishnamurthi, Shriram; Weirich, Stephanie; Felleisen, Matthias (1996). "Catching bugs in the web of program invariants" (PDF). ACM SIGPLAN Notices. 31 (5). Association for Computing Machinery (ACM): 23–32. doi:10.1145/249069.231387. ISSN 0362-1340.

ucsc.edu (Global: 3,619^th place; English: 2,621^st place)

soe.ucsc.edu

Flanagan, Cormac; Flatt, Matthew; Krishnamurthi, Shriram; Weirich, Stephanie; Felleisen, Matthias (1996). "Catching bugs in the web of program invariants" (PDF). ACM SIGPLAN Notices. 31 (5). Association for Computing Machinery (ACM): 23–32. doi:10.1145/249069.231387. ISSN 0362-1340.

uwtv.org (Global: low place; English: low place)

stage.uwtv.org

"Extended Static Checking". UWTV. Archived from the original on April 16, 2013. Retrieved 2012-02-01.

worldcat.org (Global: 5^th place; English: 5^th place)

search.worldcat.org

Rustan, K.; Leino, M.; Nelson, Greg (1998). "An extended static checker for modula-3". Lecture Notes in Computer Science - International Conference on Compiler Construction. Springer. pp. 302–305. doi:10.1007/bfb0026441. ISBN 978-3-540-64304-3. ISSN 0302-9743.
Flanagan, Cormac; Flatt, Matthew; Krishnamurthi, Shriram; Weirich, Stephanie; Felleisen, Matthias (1996). "Catching bugs in the web of program invariants" (PDF). ACM SIGPLAN Notices. 31 (5). Association for Computing Machinery (ACM): 23–32. doi:10.1145/249069.231387. ISSN 0362-1340.

Extended static checking (English Wikipedia)

acm.org (Global: 1,185th place; English: 840th place)