Shape analysis (program analysis): Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 22:0122:01, 6 May 2025 AndrewKeenanRichardson talk contribs 8,768 bytes −110 →Applications: I don't think shape analysis can be used to verify that a list is sorted undo

curprev 12:3312:33, 30 April 2025 Frap talk contribs 8,878 bytes +40 No edit summary undo

curprev 00:3800:38, 26 April 2025 LooksGreatInATurtleNeck talk contribs 8,838 bytes −11 There was a Script warning on the page from a cite book template, "Category:CS1 maint: date and year", fixed by removing the redundant date= field as year= was already set undo

curprev 08:4008:40, 10 August 2024 Hlm Z. talk contribs 8,849 bytes −24 →Summarization and materialization: wikitalbe undo

curprev 23:2823:28, 8 August 2023 Citation bot talk contribs 8,873 bytes 0 Alter: title, template type. Add: date, chapter. Removed parameters. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox3 | #UCB_webform_linked 1850/2306 undo

curprev 23:3623:36, 3 January 2023 Citation bot talk contribs 8,873 bytes +34 Add: s2cid. | Use this bot. Report bugs. | Suggested by SemperIocundus | #UCB_webform 1160/2500 undo

curprev 00:3700:37, 11 December 2020 Monkbot talk contribs m 8,839 bytes −96 Task 18 (cosmetic): eval 5 templates: del empty params (7×); hyphenate params (1×); undo Tag: AWB

curprev 18:3218:32, 11 May 2020 DannyS712 bot talk contribs m 8,935 bytes +18 Task 70: Update syntaxhighlight tags - remove use of deprecated <source> tags undo Tag: AWB

curprev 05:3205:32, 20 March 2020 Citation bot talk contribs m 8,917 bytes +31 Add: citeseerx. | You can use this bot yourself. Report bugs here. | Activated by User:AManWithNoPlan | All pages linked from User:AManWithNoPlan/sandbox2 | via #UCB_webform_linked undo

curprev 11:4111:41, 6 February 2020 Kaitlin500 talk contribs 8,886 bytes +28 No edit summary undo

curprev 04:1104:11, 18 December 2019 InternetArchiveBot talk contribs 8,858 bytes +131 Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 undo

curprev 01:1901:19, 7 December 2019 Citation bot talk contribs m 8,727 bytes +526 Alter: template type, journal, pages, author1, author2, author3. Add: isbn, year, series, pages, volume, title, chapter, doi, chapter-url, author pars. 1-7. Removed or converted URL. Removed accessdate with no specified URL. Converted bare reference to cite template. Formatted dashes. Some additions/deletions were actually parameter name changes.| You can use this bot yourself. Report bugs here.| Activated by User:Nemo bis | via #UCB_webform undo

curprev 23:0623:06, 8 September 2019 Jarble talk contribs 8,201 bytes +142 adding links to references using Google Scholar undo

curprev 11:4311:43, 13 May 2019 Alpekal talk contribs m 8,059 bytes +17 No edit summary undo

curprev 20:2720:27, 3 March 2019 Lxylxy123456 talk contribs m 8,042 bytes +4 cleanup HTML undo

curprev 20:0420:04, 24 February 2019 AnomieBOT talk contribs m 8,038 bytes +19 Dating maintenance tags: {{Cleanup HTML}} undo
curprev 19:4419:44, 24 February 2019 Beland talk contribs 8,019 bytes +17 {{cleanup HTML}} undo

curprev 08:0908:09, 16 January 2019 89.147.70.233 talk 8,002 bytes −4 a shape analysis -> shape analysis. We're describing the technique, not an instance of it undo

curprev 18:1518:15, 20 July 2018 VladimirReshetnikov talk contribs m 8,006 bytes +1 →Example undo

curprev 14:5814:58, 15 February 2018 Widefox talk contribs m 8,005 bytes +46 →top: links undo
curprev 08:0808:08, 15 February 2018 Widefox talk contribs 7,959 bytes +38 Added {{more footnotes}} tag to article (TW) undo

curprev 06:1306:13, 19 August 2017 Quinton Feldberg talk contribs m 7,921 bytes +28 fix citations undo

curprev 22:1522:15, 28 September 2016 2001:4898:80e8:3::52c talk 7,893 bytes +12 →Bibliography: Fixed use of deprecated coauthors field undo

curprev 03:0303:03, 14 February 2016 Headbomb talk contribs m 7,881 bytes −9 →Bibliography: clean up, replaced: ACM Transactions on Programming Languages and Systems (TOPLAS) → ACM Transactions on Programming Languages and Systems using AWB undo

curprev 21:2821:28, 16 December 2015 Lawton992 talk contribs m 7,890 bytes 0 Grammar correction undo

curprev 02:0402:04, 8 February 2015 Chrisamaphone talk contribs 7,890 bytes +19 No edit summary undo
curprev 02:0202:02, 8 February 2015 Chrisamaphone talk contribs 7,871 bytes −262 No edit summary undo

curprev 12:0512:05, 6 February 2015 Gf uip talk contribs m 8,133 bytes +48 →Bibliography undo
curprev 12:0312:03, 6 February 2015 Gf uip talk contribs 8,085 bytes +414 →Bibliography undo
curprev 11:5211:52, 6 February 2015 Gf uip talk contribs 7,671 bytes +157 →Applications undo
curprev 11:4711:47, 6 February 2015 Gf uip talk contribs 7,514 bytes −60 Add citation undo

curprev 00:1700:17, 29 July 2014 Monkbot talk contribs m 7,574 bytes +5 →References: Task 3b: Fix CS1 deprecated coauthor parameter errors undo

curprev 10:4910:49, 24 June 2014 JnRouvignac talk contribs 7,569 bytes 0 Use correct English: analyses => analysis undo

curprev 07:1107:11, 5 December 2013 Ckolb1618 talk contribs m 7,569 bytes +19 added link undo

curprev 21:0721:07, 23 March 2013 Addbot talk contribs m 7,550 bytes −27 Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q7489226 undo

curprev 14:1614:16, 12 March 2013 Magioladitis talk contribs m 7,577 bytes +66 WP:CHECKWIKI errors fixed using AWB (8967) undo

curprev 07:4407:44, 8 November 2012 AnomieBOT talk contribs m 7,511 bytes +133 Dating maintenance tags: {{Cn}} undo
curprev 07:2307:23, 8 November 2012 137.132.3.10 talk 7,378 bytes +42 →Applications undo

curprev 14:0214:02, 12 April 2012 Mutilin talk contribs 7,336 bytes +20 →References undo
curprev 13:5713:57, 12 April 2012 Mutilin talk contribs 7,316 bytes +516 add reference undo

curprev 14:3114:31, 16 August 2011 Demonkoryu talk contribs m 6,800 bytes +4 →Example undo
curprev 14:3114:31, 16 August 2011 Demonkoryu talk contribs m 6,796 bytes +21 No edit summary undo

curprev 05:5005:50, 21 February 2011 134.96.242.153 talk 6,775 bytes +4 link Reinhard Wilhelm using Find link undo

curprev 13:1413:14, 31 January 2011 Ruud Koot talk contribs 6,771 bytes +7 Category:Static program analysis undo

curprev 14:2614:26, 29 January 2011 Ruud Koot talk contribs 6,764 bytes −4 Category:Program analysis undo
curprev 14:1714:17, 29 January 2011 Ruud Koot talk contribs 6,768 bytes +27 In program analysis, ... undo
curprev 14:1114:11, 29 January 2011 Ruud Koot talk contribs m 6,741 bytes 0 moved Shape analysis (software) to Shape analysis (program analysis) undo

curprev 21:5421:54, 27 October 2010 204.61.34.129 talk 6,741 bytes +27 added link to imperative programming page undo

curprev 06:3306:33, 28 February 2010 SmackBot talk contribs m 6,714 bytes +30 Date maintenance tags and general fixes: build 401: undo

curprev 10:1110:11, 25 February 2010 117.254.150.14 talk 6,684 bytes +8 No edit summary undo

6 May 2025

30 April 2025

26 April 2025

10 August 2024

8 August 2023

3 January 2023

11 December 2020

11 May 2020

20 March 2020

6 February 2020

18 December 2019

7 December 2019

8 September 2019

13 May 2019

3 March 2019

24 February 2019

16 January 2019

20 July 2018

15 February 2018

19 August 2017

28 September 2016

14 February 2016

16 December 2015

8 February 2015

6 February 2015

29 July 2014

24 June 2014

5 December 2013

23 March 2013

12 March 2013

8 November 2012

12 April 2012

16 August 2011

21 February 2011

31 January 2011

29 January 2011

27 October 2010

28 February 2010

25 February 2010