Frame problem (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Frame problem" in English language version.

refsWebsite

Global rank English rank

2^nd place

207^th place

136^th place

11^th place

8^th place

low place

3^rd place

5^th place

613^th place

456^th place

aitopics.org

Reynolds, J.C. (2002). "Separation logic: A logic for shared mutable data structures". Proceedings 17th Annual IEEE Symposium on Logic in Computer Science. Copenhagen, Denmark: IEEE Comput. Soc. pp. 55–74. CiteSeerX 10.1.1.110.7749. doi:10.1109/LICS.2002.1029817. ISBN 978-0-7695-1483-3. S2CID 6271346.
O'Hearn, Peter (2019-01-28). "Separation logic". Communications of the ACM. 62 (2): 86–95. doi:10.1145/3211968. ISSN 0001-0782.
O’Hearn, Peter; Reynolds, John; Yang, Hongseok (2001). "Local Reasoning about Programs that Alter Data Structures". In Fribourg, Laurent (ed.). Computer Science Logic. Lecture Notes in Computer Science. Vol. 2142. Berlin, Heidelberg: Springer. pp. 1–19. doi:10.1007/3-540-44802-0_1. ISBN 978-3-540-44802-0.
Calcagno Cristiano; Dino Distefano; Peter O'Hearn; Hongseok Yang (2011-12-01). "Compositional Shape Analysis by Means of Bi-Abduction". Journal of the ACM. 58 (6): 1–66. doi:10.1145/2049697.2049700. S2CID 52808268.
Distefano, Dino; Fähndrich, Manuel; Logozzo, Francesco; O'Hearn, Peter (2019-07-24). "Scaling static analyses at Facebook". Communications of the ACM. 62 (8): 62–70. doi:10.1145/3338112.

McCarthy, J; P.J. Hayes (1969). "Some philosophical problems from the standpoint of artificial intelligence". Machine Intelligence. 4: 463–502. CiteSeerX 10.1.1.85.5082.
Reynolds, J.C. (2002). "Separation logic: A logic for shared mutable data structures". Proceedings 17th Annual IEEE Symposium on Logic in Computer Science. Copenhagen, Denmark: IEEE Comput. Soc. pp. 55–74. CiteSeerX 10.1.1.110.7749. doi:10.1109/LICS.2002.1029817. ISBN 978-0-7695-1483-3. S2CID 6271346.

Reynolds, J.C. (2002). "Separation logic: A logic for shared mutable data structures". Proceedings 17th Annual IEEE Symposium on Logic in Computer Science. Copenhagen, Denmark: IEEE Comput. Soc. pp. 55–74. CiteSeerX 10.1.1.110.7749. doi:10.1109/LICS.2002.1029817. ISBN 978-0-7695-1483-3. S2CID 6271346.
Calcagno Cristiano; Dino Distefano; Peter O'Hearn; Hongseok Yang (2011-12-01). "Compositional Shape Analysis by Means of Bi-Abduction". Journal of the ACM. 58 (6): 1–66. doi:10.1145/2049697.2049700. S2CID 52808268.