Operational semantics: Revision history

24 April 2024

• curprev 11:4111:41, 24 April 2024 Spdegabrielle talk contribs m 19,052 bytes +14 →Reduction semantics: corrected broken link to https://mitpress.mit.edu/9780262062756/semantics-engineering-with-plt-redex/ undo

19 March 2024

• curprev 09:1209:12, 19 March 2024 WikiCleanerBot talk contribs m 19,038 bytes 0 v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

13 March 2024

• curprev 14:0114:01, 13 March 2024 Yonoteam talk contribs m 19,038 bytes +237 Added reference to a claim comparing big-step vs small-step semantics undo
• curprev 12:4612:46, 13 March 2024 Yonoteam talk contribs m 18,801 bytes +19 →Natural semantics undo

18 October 2023

• curprev 18:3018:30, 18 October 2023 JamieJennings talk contribs m 18,782 bytes −8 Changed link from ‘Friedman | Daniel Friedman’ to the page for the Daniel Friedman referred to in the article. (Old link took the reader to a disambiguation page.) undo

18 August 2023

• curprev 22:4322:43, 18 August 2023 OAbot talk contribs m 18,790 bytes −4 Open access bot: doi updated in citation with #oabot. undo

14 January 2022

• curprev 14:0714:07, 14 January 2022 130.226.254.66 talk 18,794 bytes +44 Fix broken link by switching to archived version undo

15 October 2021

• curprev 07:3607:36, 15 October 2021 130.225.198.173 talk 18,750 bytes +4 Add link to denotational semantics undo

13 August 2021

• curprev 13:3013:30, 13 August 2021 Korektysta talk contribs m 18,746 bytes −1 →Reduction semantics: v comes from ‘value’, it's not ν undo

25 July 2021

• curprev 19:0219:02, 25 July 2021 OAbot talk contribs m 18,747 bytes +16 Open access bot: doi added to citation with #oabot. undo

23 July 2021

• curprev 00:1700:17, 23 July 2021 Lexi.lambda talk contribs 18,731 bytes +1 Replace “reduction context” with “reduction semantics”; swap author order to match citation undo
• curprev 00:0800:08, 23 July 2021 Lexi.lambda talk contribs 18,730 bytes +652 →Reduction semantics: Add a reference to SEwPR undo

22 July 2021

• curprev 23:4623:46, 22 July 2021 Lexi.lambda talk contribs 18,078 bytes +534 →Reduction semantics: Properly typeset mathematics and clean up some of the prose undo
• curprev 23:0423:04, 22 July 2021 Lexi.lambda talk contribs 17,544 bytes +1,026 →Reduction semantics: Convert in-text references to papers into references undo
• curprev 14:1714:17, 22 July 2021 72.93.180.183 talk 16,518 bytes +1,363 →Reduction semantics: Matthias Felleisen here. The existing description was fundamentally wrong. An upset reader shared this link with me so I decided to put in 10 minutes to eliminate the worst conceptual mistakes. undo

14 July 2021

• curprev 22:2722:27, 14 July 2021 OlliverWithDoubleL talk contribs 15,155 bytes +144 added short description, links undo Tags: Mobile edit Mobile app edit iOS app edit

5 July 2021

• curprev 21:2921:29, 5 July 2021 OAbot talk contribs m 15,011 bytes +17 Open access bot: doi added to citation with #oabot. undo

12 June 2021

• curprev 01:5201:52, 12 June 2021 Dexbot talk contribs m 14,994 bytes 0 Bot: Aligning section names with MOS:SECTIONS undo

11 June 2021

• curprev 18:0018:00, 11 June 2021 Bear8642 talk contribs m 14,994 bytes +23 Moved general references to Further reading section undo

29 May 2021

• curprev 14:3014:30, 29 May 2021 170.199.25.231 talk 14,971 bytes −3 direct link & spaces undo

4 March 2021

• curprev 10:3110:31, 4 March 2021 Jerryobject talk contribs 14,974 bytes +36 WP:LINKs: add, updates, fix-cut needless WP:PIPE (WP:NOPIPE). Cut needless carriage returns in: sentences, paragraphs. WP:REFerence WP:CITation parameters respace from source template. MOS:FIRSTABBReviations define before WP:ABBRs in parentheses. undo

19 January 2021

• curprev 04:1004:10, 19 January 2021 Monkbot talk contribs m 14,938 bytes +3 Task 18 (cosmetic): eval 3 templates: hyphenate params (3×); undo Tag: AWB

20 December 2020

• curprev 23:5523:55, 20 December 2020 Tom.Reding talk contribs m 14,935 bytes +9 Enum 1 author/editor WL; WP:GenFixes on undo Tag: AWB

1 December 2020

• curprev 22:5322:53, 1 December 2020 Citation bot talk contribs 14,926 bytes +54 Alter: url. URLs might have been internationalized/anonymized. Add: isbn, date, pages, issue, volume, year. Formatted dashes. Upgrade ISBN10 to ISBN13. | You can use this bot yourself. Report bugs here. | Suggested by AManWithNoPlan | All pages linked from cached copy of User:AManWithNoPlan/sandbox2 | via #UCB_webform_linked 2844/9606 undo

28 October 2020

• curprev 18:0618:06, 28 October 2020 Irontitan76 talk contribs 14,872 bytes −1 No edit summary undo

26 June 2020

• curprev 22:2622:26, 26 June 2020 BHGbot talk contribs m 14,873 bytes +7 WP:BHGbot 6 (List 5): eponymous category first, per MOS:CATORDER; WP:GENFIXES undo Tag: AWB

2 March 2020

• curprev 12:5612:56, 2 March 2020 Deacon Vorbis talk contribs 14,866 bytes −167 Reverted 7 edits by Wfokkink (talk): Refspam (TW) undo Tag: Undo
• curprev 12:3212:32, 2 March 2020 Wfokkink talk contribs m 15,033 bytes +2 No edit summary undo
• curprev 12:3112:31, 2 March 2020 Wfokkink talk contribs m 15,031 bytes −8 No edit summary undo
• curprev 10:5510:55, 2 March 2020 Wfokkink talk contribs 15,039 bytes 0 →References undo
• curprev 10:5510:55, 2 March 2020 Wfokkink talk contribs 15,039 bytes −3 →References undo
• curprev 10:5310:53, 2 March 2020 Wfokkink talk contribs 15,042 bytes −30 No edit summary undo
• curprev 10:5210:52, 2 March 2020 Wfokkink talk contribs 15,072 bytes +44 →References undo
• curprev 10:4910:49, 2 March 2020 Wfokkink talk contribs m 15,028 bytes +162 →References undo

30 January 2020

• curprev 20:5920:59, 30 January 2020 Winner 42 talk contribs m 14,866 bytes +29 reference cleanup undo

23 September 2019

• curprev 05:4405:44, 23 September 2019 Monkbot talk contribs m 14,837 bytes −1 →top: Task 16: replaced (1×) / removed (0×) deprecated |dead-url= and |deadurl= with |url-status=; undo Tag: AWB

13 September 2019

• curprev 02:2902:29, 13 September 2019 Allforrous talk contribs 14,838 bytes +36 →References: Commonscat-inline template. undo

13 July 2019

• curprev 15:3415:34, 13 July 2019 Pleasantville talk contribs 14,802 bytes +13 →top: {{Semantics}} undo Tag: 2017 wikitext editor

12 April 2019

• curprev 19:1119:11, 12 April 2019 Jarble talk contribs 14,789 bytes +121 adding links to references using Google Scholar undo

5 October 2018

• curprev 21:4621:46, 5 October 2018 68.39.100.192 talk 14,668 bytes 0 No edit summary undo Tags: Mobile edit Mobile web edit

4 March 2018

• curprev 19:0719:07, 4 March 2018 InternetArchiveBot talk contribs 14,668 bytes +218 Rescuing 1 sources and tagging 1 as dead. #IABot (v1.6.4) undo

18 February 2018

• curprev 15:1515:15, 18 February 2018 2a02:8388:6180:1500:400b:f3f1:814d:d068 talk 14,450 bytes 0 No edit summary undo

14 December 2017

• curprev 14:4014:40, 14 December 2017 MysterePi talk contribs m 14,450 bytes 0 Parenthesis error in the second reduction semantics paragraph undo
• curprev 14:3514:35, 14 December 2017 134.157.22.143 talk 14,450 bytes 0 →Reduction semantics: Incorrect parenthesis for abstraction application undo

30 October 2017

• curprev 21:1821:18, 30 October 2017 Nwbeeson talk contribs m 14,450 bytes +5 copy edit of reference undo

26 August 2017

• curprev 18:5418:54, 26 August 2017 Me, Myself, and I are Here talk contribs 14,445 bytes −28 →See also: rm redlink undo

9 July 2017

• curprev 06:5806:58, 9 July 2017 73.70.183.190 talk 14,473 bytes −1 No edit summary undo

6 April 2017

• curprev 00:2200:22, 6 April 2017 24.85.232.10 talk 14,474 bytes 0 →Structural operational semantics undo
• curprev 00:1600:16, 6 April 2017 24.85.232.10 talk 14,474 bytes +12 →Structural operational semantics undo
• curprev 00:1200:12, 6 April 2017 24.85.232.10 talk 14,462 bytes 0 →Structural operational semantics undo