All public logs
This is a combined display of all logs except the patrol, review, tag and thanks logs:
- Who performed the action – enter their name without prefix under "Performer".
- The page or user affected by an action – enter the page or user name (prefixed with "User:") under "Target".
- ←Created page with '{{userspace draft|date=June 2022}} {{Short description|Danish computer scientist}} {{Use mdy dates|date=October 2022}} {{Infobox scientist | name = Michael E. Caspersen | image = thumb|Michael E. Caspersen | image_size = | image_upright = | alt = | caption = | birth_name = <!-- If different from "name" --> | birth_date = {{Birth date and age|1960|11|22}} | birth_place = Svendborg, Denmark| death_date = <!--{{De...')
- 15:57, 17 November 2022 DavidGries talk contribs created page File:MIchaelECaspersen.jpg (This image appears on multiple websites)
- 15:57, 17 November 2022 DavidGries talk contribs uploaded File:MIchaelECaspersen.jpg (This image appears on multiple websites)
- program correctness and semantics, use of logic as a programming language, distributed computing, and game theory. Bes...')
- 21:46, 19 October 2022 DavidGries talk contribs created page Talk:Safety and liveness properties (.. or {{math}}: new section) Tag: New topic
- ←Created page with '{{Infobox scientist | name = Ilya Sergey | image = <!--(filename only, i.e. without "File:" prefix)--> | image_size = | image_upright = | alt = | caption = | birth_name = <!-- if different from "name" --> | birth_date = {{birth date|1986|06|}}<!--{{birth date |YYYY|MM|DD}}--> | birth_place = Leningrad, USSR | death_date = <!--{{death date and age |YYYY|MM|DD |YYYY|MM|...')
- 14:16, 29 September 2022 DavidGries talk contribs created page Talk:IFIP Working Group 2.3 (On Notability: new section) Tag: New topic
- ←Created page with 'IFIP Working Group 2.3 on Programming Methodology is a working group of IFIP. Its main aim is to increase programmers’ ability to compose programs. To this end, WG2.3 provides an international forum for discussion and cross-fertilization of ideas between researchers in programming methodology and neighboring fields. Generally, members report on work in progress and expect suggestions and advice. Dis...')
- ←Created page with 'With a sequential program, we typically are concerned with whether the program will terminate and, if it does, with the relation between its initial and final states. This is formalized in terms of partial correctness (if execution started in some precondition {{math|P}} terminates then some postcondition {{math|Q}} holds) or total correctness(execution started in some precondition {{...')
- 20:46, 23 September 2022 DavidGries talk contribs created page Misra–Gries heavy hitters algorithm (Page is created to give a better account of the algorithm than Misra–Gries summary and to use the standard term "heavy hitters" instead of "summary")
- blog or free web host Disambiguation linksadded
- 17:28, 22 July 2022 DavidGries talk contribs created page File:David-gries-NEW.jpg (Image of David Gries, from Cornell's page https://www.engineering.cornell.edu/sites/default/files/content/faculty/image/david-gries-NEW.jpg)
- 17:28, 22 July 2022 DavidGries talk contribs uploaded File:David-gries-NEW.jpg (Image of David Gries, from Cornell's page https://www.engineering.cornell.edu/sites/default/files/content/faculty/image/david-gries-NEW.jpg)
- 15:40, 12 July 2022 DavidGries talk contribs was automatically updated from (none) to extended confirmed user
- AfCsubmissions)
- AfCsubmissions)
- ←Created page with 'This is my DavidGries/sandbox talk page')
- 10:52, 22 June 2022 DavidGries talk contribs created page File:Page1CSL-Family-Tree.png (Author: Ilya Sergey URL: https://ilyasergey.net/assets/other/CSL-Family-Tree.pdf I have helped him update this diagram and have emails to prove it. Page1CSL-Family-Tree.png is only the first page of this pdf. In addition, this article on the web contains a version of this image: https://read.seas.harvard.edu/~kohler/class/cs260r-17/brookes16concurrent.pdf)
- 10:52, 22 June 2022 DavidGries talk contribs uploaded File:Page1CSL-Family-Tree.png (Author: Ilya Sergey URL: https://ilyasergey.net/assets/other/CSL-Family-Tree.pdf I have helped him update this diagram and have emails to prove it. Page1CSL-Family-Tree.png is only the first page of this pdf. In addition, this article on the web contains a version of this image: https://read.seas.harvard.edu/~kohler/class/cs260r-17/brookes16concurrent.pdf)
- 09:57, 18 June 2022 DavidGries talk contribs created page User:DavidGries (Just created my user page)
- ←Created page with '{{User sandbox}} <!-- EDIT BELOW THIS LINE --> ==OEDILF== The website [http://oedilf.com/ oedilf.com] (The Omnificent English Dictionary In Limerick Form) has th...')
- 14:55, 28 February 2021 DavidGries talk contribs created page User talk:24.59.54.4 (Add information about OEDILF to the Limerick page: new section)
- 23:41, 1 January 2007 User account DavidGries talk contribs was created