Proof-carrying code: 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 15:1315:13, 26 April 2025 Widefox talk contribs 3,530 bytes +42 Added {{More footnotes needed}} tag undo Tag: Twinkle

curprev 14:1814:18, 21 November 2024 AnnaBSP talk contribs 3,488 bytes +7 No edit summary undo Tag: Visual edit

curprev 00:1700:17, 28 November 2023 Liangyiliang talk contribs m 3,481 bytes +18 →Packet filter example: clearer language undo Tag: Visual edit

curprev 23:4923:49, 31 March 2023 Comp.arch talk contribs m 3,463 bytes 0 No edit summary undo Tag: 2017 wikitext editor

curprev 18:3518:35, 9 March 2022 66.244.255.122 talk 3,463 bytes +29 →See also undo

curprev 17:2417:24, 5 August 2019 207.38.182.133 talk 3,434 bytes +115 →Packet filter example undo

curprev 12:0912:09, 8 August 2017 Sjcjoosten talk contribs 3,319 bytes −27 →Packet filter example: Removing 'or certifying compiler': a certifying compiler does not help in this part of the story, since it does not talk about compilation at all (it talks about machine code in the previous section) undo

curprev 16:0616:06, 4 July 2017 PrimeBOT talk contribs m 3,346 bytes +4 Replace magic links with templates per local RfC - BRFA undo

curprev 02:3302:33, 16 April 2016 EJS2014 talk contribs 3,342 bytes −55 No edit summary undo
curprev 02:3202:32, 16 April 2016 EJS2014 talk contribs m 3,397 bytes 0 No edit summary undo

curprev 23:4623:46, 12 February 2016 Comp.arch talk contribs m 3,397 bytes −1 No edit summary undo

curprev 21:2221:22, 25 May 2015 80.168.198.174 talk 3,398 bytes +23 program loader -- this will almost certainly be done in userspace undo
curprev 21:2121:21, 25 May 2015 80.168.198.174 talk 3,375 bytes +6 '''Proof-carrying code''' ('''PCC''') undo

curprev 10:0610:06, 5 March 2014 Edward talk contribs m 3,369 bytes +4 link memory safety using Find link undo

curprev 15:4215:42, 13 December 2013 ChrisGualtieri talk contribs m 3,365 bytes −21 →References: Remove stub template(s). Page is start class or higher. Also check for and do General Fixes + Checkwiki fixes using AWB undo

curprev 13:2813:28, 24 February 2013 Addbot talk contribs m 3,386 bytes −55 Bot: Migrating 2 interwiki links, now provided by Wikidata on d:q2112919 (Report Errors) undo

curprev 05:1505:15, 25 January 2013 Adavidb talk contribs m 3,441 bytes +23 Disambiguate Theorem prover to Automated theorem prover using popups; formatting: heading-style (using Advisor.js) undo

curprev 08:4508:45, 18 March 2012 JamesHaigh talk contribs 3,418 bytes +26 →See also: Added link. undo
curprev 08:3708:37, 18 March 2012 JamesHaigh talk contribs 3,392 bytes +25 →See also: Added link. undo

curprev 19:2319:23, 21 January 2012 Tassedethe talk contribs 3,367 bytes +31 Disambiguated: Peter Lee → Peter Lee (computer scientist) undo

curprev 20:3220:32, 2 March 2011 Ruud Koot talk contribs 3,336 bytes +46 see also undo
curprev 20:2620:26, 2 March 2011 Ruud Koot talk contribs 3,290 bytes +32 cat undo

curprev 16:5716:57, 2 February 2011 Ruud Koot talk contribs 3,258 bytes +43 Category:Dependently typed programming undo

curprev 03:2203:22, 24 January 2011 Michael Hardy talk contribs m 3,215 bytes +2 endash undo

curprev 21:3321:33, 22 January 2011 Alvin Seville talk contribs 3,213 bytes 0 oops, correcting category undo
curprev 21:3321:33, 22 January 2011 Alvin Seville talk contribs 3,213 bytes +24 removing and categorizing undo

curprev 01:4701:47, 25 September 2010 SmackBot talk contribs m 3,189 bytes +41 Tagging and general fixes undo

curprev 23:0823:08, 2 February 2010 Dcoetzee talk contribs 3,148 bytes +7 Move photo to new biographical article undo
curprev 23:0023:00, 2 February 2010 Dcoetzee talk contribs 3,141 bytes +87 Putting this photo here for now until an article is written about George Necula undo

curprev 06:5006:50, 21 January 2010 Metromoxie talk contribs m 3,054 bytes −11 →Packet filter example: grammar undo

curprev 05:4405:44, 14 August 2009 FlashSheridan talk contribs m 3,065 bytes +2 →References: Full year for CMU report undo

curprev 14:4814:48, 20 May 2009 3Px talk contribs m 3,063 bytes −27 removed "broken" label from the link undo
curprev 14:4714:47, 20 May 2009 3Px talk contribs 3,090 bytes +3 fixed link for the lncs98 paper undo

curprev 03:2403:24, 6 March 2009 Dcoetzee talk contribs 3,087 bytes +1,757 Add packet filter example undo
curprev 03:0803:08, 6 March 2009 Dcoetzee talk contribs 1,330 bytes +53 Note about verifying validity undo
curprev 03:0703:07, 6 March 2009 Dcoetzee talk contribs m 1,277 bytes 0 Match caps in text, title undo
curprev 03:0703:07, 6 March 2009 Dcoetzee talk contribs m 1,277 bytes 0 moved Proof-Carrying Code to Proof-carrying code: Original paper cased it this way; it's a descriptive term, not a name of a system undo

curprev 01:2901:29, 24 February 2009 213.106.80.116 talk 1,277 bytes +27 →References: Report a broken link undo

curprev 11:4111:41, 24 July 2007 213.61.225.68 talk 1,250 bytes +27 No edit summary undo

curprev 14:5814:58, 14 June 2007 Hqb talk contribs m 1,223 bytes +55 add working link for Necula's thesis undo

curprev 00:2800:28, 11 June 2007 213.162.123.241 talk 1,168 bytes −45 removed dead link undo

curprev 21:4421:44, 2 January 2007 88.134.124.195 talk 1,213 bytes −2 No edit summary undo

curprev 02:4402:44, 20 June 2006 FlaBot talk contribs m 1,215 bytes +28 robot Adding: pl:Proof-Carrying Code undo

curprev 08:4808:48, 22 April 2006 159.149.102.4 talk 1,187 bytes 0 →References undo

curprev 07:4507:45, 10 April 2006 221.6.69.10 talk 1,187 bytes −3 No edit summary undo
curprev 07:4307:43, 10 April 2006 221.6.69.10 talk 1,190 bytes +169 No edit summary undo

curprev 02:2402:24, 26 February 2006 Ruud Koot talk contribs 1,021 bytes −465 {{compu-lang-stub}} undo

curprev 17:2617:26, 3 February 2006 Donhalcon talk contribs 1,486 bytes +307 →References: (Safe, Untrusted Agents, updated URL) undo
curprev 16:0716:07, 3 February 2006 169.253.4.21 talk 1,179 bytes +48 Cleaned-up the summary a bit. undo

curprev 03:5403:54, 2 February 2006 Cctoombs talk contribs 1,131 bytes +180 Added references undo

26 April 2025

21 November 2024

28 November 2023

31 March 2023

9 March 2022

5 August 2019

8 August 2017

4 July 2017

16 April 2016

12 February 2016

25 May 2015

5 March 2014

13 December 2013

24 February 2013

25 January 2013

18 March 2012

21 January 2012

2 March 2011

2 February 2011

24 January 2011

22 January 2011

25 September 2010

2 February 2010

21 January 2010

14 August 2009

20 May 2009

6 March 2009

24 February 2009

24 July 2007

14 June 2007

11 June 2007

2 January 2007

20 June 2006

22 April 2006

10 April 2006

26 February 2006

3 February 2006

2 February 2006