Changes related to "Static program analysis"
This is a list of recent changes to pages linked from a specified page (or to members of a specified category). Changes to pages on your watchlist are shown with a green bullet.
9 April 2015
- (diff | hist) . . Food and Drug Administration; 17:21 . . (+277) . . Drayfar (talk | contribs) (Updated current commissoner)
- (diff | hist) . . m Dynamic program analysis; 15:44 . . (+30) . . Aleks-ger (talk | contribs) (→See also: Abstract interpretation)
- (diff | hist) . . m Alan Turing; 13:52 . . (-4) . . Martinevans123 (talk | contribs) (Reverted edits by 24.124.24.36 (talk) to last version by Skyerise)
- (diff | hist) . . Alan Turing; 13:49 . . (+4) . . 24.124.24.36 (talk)
8 April 2015
- (diff | hist) . . Alan Turing; 19:10 . . (0) . . Skyerise (talk | contribs) (no consensus for change; take it to the talk page)
- (diff | hist) . . Alan Turing; 19:09 . . (-9) . . 86.10.215.155 (talk)
- (diff | hist) . . Alan Turing; 19:08 . . (+9) . . 86.10.215.155 (talk)
- (diff | hist) . . Alan Turing; 19:08 . . (0) . . Skyerise (talk | contribs) (Undid revision 655561989 by 86.10.215.155 (talk) of Scottish descent, British is more accurate)
- (diff | hist) . . Alan Turing; 19:06 . . (0) . . 86.10.215.155 (talk)
- (diff | hist) . . Alan Turing; 19:06 . . (-1) . . Skyerise (talk | contribs) (Undid revision 655561522 by 86.10.215.155 (talk) being of Scottish descent, British is more accurate)
- (diff | hist) . . Alan Turing; 19:03 . . (+1) . . 86.10.215.155 (talk)
- (diff | hist) . . Hoare logic; 17:20 . . (-4) . . Jochen Burghardt (talk | contribs) (→Rule of composition: trying to fix param. error)
- (diff | hist) . . Hoare logic; 17:17 . . (-1) . . Jochen Burghardt (talk | contribs) (→While rule for total correctness: rm stray '<')
- (diff | hist) . . Hoare logic; 17:12 . . (-54) . . Jochen Burghardt (talk | contribs) (→While rule: avoid duplicate description)
- (diff | hist) . . Finite-state machine; 14:19 . . (-25) . . 41.130.157.9 (talk)
- (diff | hist) . . Alan Turing; 14:01 . . (+7) . . Skyerise (talk | contribs) (cn)
- (diff | hist) . . Hoare logic; 13:53 . . (+28) . . 76.99.69.205 (talk) (→While rule: clarify which circumstances)
- (diff | hist) . . Podcast; 12:20 . . (+48) . . 99.135.104.6 (talk) (added citation for "netcast")
- (diff | hist) . . List of tools for static code analysis; 07:02 . . (-236) . . Psychonaut (talk | contribs) (Undid revision 655367184 by Christophe Dujarric (talk) apparently non-notable; please write the article first)
- (diff | hist) . . Alan Turing; 04:37 . . (+118) . . 73.8.182.12 (talk) (→Recognition and tributes)
- (diff | hist) . . Formal verification; 04:14 . . (-22) . . 107.196.58.97 (talk) (Undid revision 655452301 by 107.196.58.97 (talk))
- (diff | hist) . . Formal verification; 04:12 . . (+22) . . 107.196.58.97 (talk) (show) (Tag: extraneous markup)
7 April 2015
- (diff | hist) . . Alan Turing; 23:22 . . (+15) . . PKT (talk | contribs) (Disambiguated: Enigma → Enigma machine)
- (diff | hist) . . Abstraction (computer science); 21:10 . . (-101) . . 96.49.50.28 (talk) (Not a categorical adjoint, also not a clear relationship with abstraction anyway.)
- (diff | hist) . . m Stanford University; 18:39 . . (0) . . ClueBot NG (talk | contribs) (Reverting possible vandalism by Hormonalfvckcaptcha to version by MelanieN. False positive? Report it. Thanks, ClueBot NG. (2186593) (Bot))
- (diff | hist) . . Stanford University; 18:39 . . (0) . . Hormonalfvckcaptcha (talk | contribs) (Tags: Mobile edit, Mobile web edit)
- (diff | hist) . . List of tools for static code analysis; 16:22 . . (+236) . . Christophe Dujarric (talk | contribs) (→PHP: Added SensioLabsInsight as code quality checker)
- (diff | hist) . . Computer hardware; 15:21 . . (-26) . . 95.22.43.167 (talk) (→Case)
- (diff | hist) . . Computer hardware; 15:20 . . (+26) . . 95.22.43.167 (talk) (→Case)
- (diff | hist) . . Computer hardware; 15:12 . . (0) . . 95.22.43.167 (talk) (→Case)
6 April 2015
- (diff | hist) . . International Standard Book Number; 19:39 . . (+214) . . Auric (talk | contribs) (→Errors in usage: example)
5 April 2015
- (diff | hist) . . Kurt Gödel; 22:24 . . (+1) . . Illegitimate Barrister (talk | contribs) (WP:NOTUSA!)
- (diff | hist) . . Kurt Gödel; 22:23 . . (+4) . . Illegitimate Barrister (talk | contribs) (→Later life and death)
- (diff | hist) . . Kurt Gödel; 22:23 . . (-3) . . Illegitimate Barrister (talk | contribs) (→Later years and death)
- (diff | hist) . . Kurt Gödel; 22:23 . . (+2) . . Illegitimate Barrister (talk | contribs) (→Relocation to Princeton, Einstein and US citizenship)
- (diff | hist) . . Kurt Gödel; 22:22 . . (+19) . . Illegitimate Barrister (talk | contribs) (→Important publications)
- (diff | hist) . . Kurt Gödel; 22:20 . . (+20) . . Illegitimate Barrister (talk | contribs) (→Religious views)
- (diff | hist) . . Kurt Gödel; 22:19 . . (+20) . . Illegitimate Barrister (talk | contribs) (→Life)
- (diff | hist) . . Kurt Gödel; 22:19 . . (+11) . . Illegitimate Barrister (talk | contribs) (→Studying in Vienna)
- (diff | hist) . . Kurt Gödel; 22:19 . . (-9) . . Illegitimate Barrister (talk | contribs) (ce.)
- (diff | hist) . . Kurt Gödel; 22:18 . . (+23) . . Illegitimate Barrister (talk | contribs) (c/e)
- (diff | hist) . . Kurt Gödel; 22:18 . . (+10) . . Illegitimate Barrister (talk | contribs) (WP:NOTUSA!)
- (diff | hist) . . Object Management Group; 21:41 . . (-75) . . 78.146.249.124 (talk) (→History: Neither Richard Soley nor Bill Hoffman was a member of OMG founding executive team - both joined OMG staff later on. Edited entry to correct this.) (Tags: Mobile edit, Mobile web edit)
- (diff | hist) . . International Standard Book Number; 20:54 . . (+150) . . Cyanhat (talk | contribs)
- (diff | hist) . . Software; 18:26 . . (-2) . . 39.44.43.122 (talk)
- (diff | hist) . . Software; 18:25 . . (+2) . . 39.44.43.122 (talk)
- (diff | hist) . . Alan Turing; 01:58 . . (-162) . . Jimerb (talk | contribs) (Adding missing link)
4 April 2015
- (diff | hist) . . Alan Turing; 18:11 . . (+49) . . Skyerise (talk | contribs) (Undid revision 654883881 by 68.116.127.228 (talk) no reason given for removal)
- (diff | hist) . . Software testing; 08:10 . . (-10) . . 14.98.227.243 (talk) (→Overview)
- (diff | hist) . . Alan Turing; 07:40 . . (-49) . . 68.116.127.228 (talk) (→Education)
