Whiley (programming language) (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Whiley (programming language)" in English language version.

refsWebsite

Global rank English rank

2^nd place

2^nd place

low place

low place

3semanticscholar.org

11^th place

8^th place

1web.archive.org

1^st place

1^st place

14^th place

14^th place

1royalsociety.org.nz

low place

low place

low place

low place

1racket-lang.org

low place

low place

low place

low place

archive.today

"whiley.org/people". Archived from the original on March 29, 2016.

doi.org

Hoare, Tony (2003). "The Verifying Compiler: A Grand Challenge for Computing Research". Journal of the ACM. 50: 63–69. doi:10.1145/602382.602403. S2CID 441648.
Hoare, Tony (2003). "The Verifying Compiler: A Grand Challenge for Computing Research". Journal of the ACM. 50: 63–69. doi:10.1145/602382.602403. S2CID 441648.
Barnett, Mike; Fähndrich, Manuel; Leino, K. Rustan M.; Müller, Peter; Schulte, Wolfram; Venter, Herman (2011). "Specification and verification: the Spec# experience". Communications of the ACM. 54 (6): 81. doi:10.1145/1953122.1953145. S2CID 29809.
Pearce, David J.; Groves, Lindsay (2015). "Designing a Verifying Compiler: Lessons Learned from Developing Whiley". Science of Computer Programming. 113: 191–220. doi:10.1016/j.scico.2015.09.006.

lri.fr

why3.lri.fr

"Where Programs Meet Provers". Why3.

racket-lang.org

docs.racket-lang.org

"Occurrence Typing". Racket-lang.org.

royalsociety.org.nz

"Marsden Fund".

semanticscholar.org

api.semanticscholar.org

Hoare, Tony (2003). "The Verifying Compiler: A Grand Challenge for Computing Research". Journal of the ACM. 50: 63–69. doi:10.1145/602382.602403. S2CID 441648.
Hoare, Tony (2003). "The Verifying Compiler: A Grand Challenge for Computing Research". Journal of the ACM. 50: 63–69. doi:10.1145/602382.602403. S2CID 441648.
Barnett, Mike; Fähndrich, Manuel; Leino, K. Rustan M.; Müller, Peter; Schulte, Wolfram; Venter, Herman (2011). "Specification and verification: the Spec# experience". Communications of the ACM. 54 (6): 81. doi:10.1145/1953122.1953145. S2CID 29809.

vuw.ac.nz

homepages.ecs.vuw.ac.nz

Pearce, David (2013). "Sound and Complete Flow Typing with Unions, Intersections and Negations" (PDF).

web.archive.org

"Whiley v0.2.27 Released!". Archived from the original on 2016-04-12. Retrieved 2016-02-01.

whiley.org

"Whiley: Creating high integrity software at scale". Whiley.org.
"Whiley v0.2.27 Released!". Archived from the original on 2016-04-12. Retrieved 2016-02-01.
"whiley.org/people". Archived from the original on March 29, 2016.