Whiley (programming language) (English Wikipedia)

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

Last modified: 22:53:55, 31 August 2025 (UTC)

Ref.Un. Ref.Website

Global rank English rank

2^nd place

2^nd place

low place

low place

33semanticscholar.org

15^th place

8^th place

11web.archive.org

1^st place

1^st place

11royalsociety.org.nz

low place

9,580^th place

low place

low place

11racket-lang.org

low place

low place

low place

low place

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

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 (Global: low place; English: low place)

why3.lri.fr

"Where Programs Meet Provers". Why3.

racket-lang.org (Global: low place; English: low place)

docs.racket-lang.org

"Occurrence Typing". Racket-lang.org.

royalsociety.org.nz (Global: low place; English: 9,580^th place)

"Marsden Fund".

semanticscholar.org (Global: 15^th place; English: 8^th place)

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 (Global: low place; English: low place)

homepages.ecs.vuw.ac.nz

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

web.archive.org (Global: 1^st place; English: 1^st place)

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

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

"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".{{cite web}}: CS1 maint: deprecated archival service (link)