Refinement (computing) (English Wikipedia)

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

Last modified: 17:49:06, 7 September 2026 (UTC)

Ref.Un. Ref.Website

Global rank English rank

2^nd place

15^th place

8^th place

2,125^th place

1,347^th place

299^th place

159^th place

cmu.edu (Global: 2,125^th place; English: 1,347^th place)

Freeman, T.; Pfenning, F. (1991). "Refinement types for ML" (PDF). Proceedings of the ACM Conference on Programming Language Design and Implementation. pp. 268–277. doi:10.1145/113445.113468.

Cho, L (2009). "Adopting an Agile Culture a User Experience Team's Journey". 2009 Agile Conference. pp. 416–421. doi:10.1109/AGILE.2009.76. ISBN 978-0-7695-3768-9. S2CID 38580329.
Freeman, T.; Pfenning, F. (1991). "Refinement types for ML" (PDF). Proceedings of the ACM Conference on Programming Language Design and Implementation. pp. 268–277. doi:10.1145/113445.113468.
Hayashi, S. (1993). "Logic of refinement types". Proceedings of the Workshop on Types for Proofs and Programs. pp. 157–172. doi:10.1007/3-540-58085-9_74.

Denney, E. (1998). "Refinement types for specification". Proceedings of the IFIP International Conference on Programming Concepts and Methods. Vol. 125. Chapman & Hall. pp. 148–166. CiteSeerX 10.1.1.22.4988. {{cite conference}}: Cite uses deprecated parameter |citeseerx= (help)

Cho, L (2009). "Adopting an Agile Culture a User Experience Team's Journey". 2009 Agile Conference. pp. 416–421. doi:10.1109/AGILE.2009.76. ISBN 978-0-7695-3768-9. S2CID 38580329.