Semantics (programming languages): 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 00:5900:59, 14 September 2026 1234qwer1234qwer4 talk contribs m 18,035 bytes +62 link author: Jacob T. Schwartz (via WP:JWB) undo Tag: JWB

curprev 22:1222:12, 15 April 2026 Jpbowen talk contribs 17,973 bytes −14 Tidying, ref undo
curprev 22:0222:02, 15 April 2026 Jpbowen talk contribs m 17,987 bytes +3 Added link undo

curprev 17:3317:33, 15 March 2026 Fuddle talk contribs 17,984 bytes −33 →External links undo

curprev 21:2421:24, 12 February 2026 Tc14Hd talk contribs m 18,017 bytes −6 →top: One is enough undo Tags: Mobile edit Mobile app edit Android app edit App full source Advanced mobile edit

curprev 19:3719:37, 28 December 2025 QuantumNinus talk contribs m 18,023 bytes 0 QuantumNinus moved page Semantics (computer science) to Semantics (programming languages): Move to mainspace: Related to the specific programming languages which is a formal language undo

curprev 20:4420:44, 27 October 2025 DB1729 talk contribs m 18,023 bytes +121 Reverted edit by 5.90.96.209 (talk) to last version by JuUunIOr undo Tag: Rollback
curprev 20:3020:30, 27 October 2025 5.90.96.209 talk 17,902 bytes −121 No edit summary undo Tags: Reverted Visual edit Mobile edit Mobile web edit

curprev 14:3314:33, 18 September 2025 QuantumNinus talk contribs 18,023 bytes +6 Mathematical logic is area more specific that mathematical. It's this more precise. undo

curprev 10:0610:06, 20 August 2025 Bender the Bot talk contribs m 18,017 bytes +1 →Further reading: HTTP to HTTPS for Brown University undo Tag: AWB

curprev 03:3703:37, 10 May 2025 72.177.10.126 talk 18,016 bytes −13 No edit summary undo Tag: Manual revert

curprev 03:1403:14, 22 March 2025 Agbeans247 talk contribs 18,029 bytes +13 No edit summary undo Tags: Reverted Mobile edit Mobile web edit Advanced mobile edit

curprev 13:0113:01, 29 November 2024 Citation bot talk contribs 18,016 bytes −54 Removed URL that duplicated identifier. | Use this bot. Report bugs. | Suggested by Dominic3203 | Category:Programming language semantics | #UCB_Category 12/17 undo

curprev 06:2106:21, 19 July 2024 BombCraft8 talk contribs 18,070 bytes −2 Undid revision 1235422682 by 2001:569:BD92:4100:F89C:436C:BCF9:FF99 (talk) undo Tag: Undo
curprev 06:1906:19, 19 July 2024 2001:569:bd92:4100:f89c:436c:bcf9:ff99 talk 18,072 bytes +2 No edit summary undo Tags: Reverted Visual edit Mobile edit Mobile web edit

curprev 15:1915:19, 23 March 2024 Thiagovscoelho talk contribs 18,026 bytes +21 No edit summary undo

curprev 16:5016:50, 16 February 2024 Sir Ibee talk contribs 18,005 bytes +64 Open access status updates in citations with OAbot #oabot undo Tag: OAbot [2.1]

curprev 18:0318:03, 13 January 2024 78.22.198.37 talk 17,941 bytes −5 Undid revision 1195259635 by 2409:4043:4D8D:D851:0:0:1888:320A (talk) undo Tag: Undo
curprev 17:4617:46, 13 January 2024 78.22.198.37 talk 17,946 bytes +6 No edit summary undo
curprev 02:0502:05, 13 January 2024 2409:4043:4d8d:d851::1888:320a talk 17,940 bytes +5 No edit summary undo Tags: Reverted Mobile edit Mobile web edit

curprev 14:3114:31, 27 November 2023 OAbot talk contribs m 17,935 bytes +17 Open access bot: doi updated in citation with #oabot. undo

curprev 05:1305:13, 7 November 2023 OAbot talk contribs m 17,918 bytes +19 Open access bot: doi updated in citation with #oabot. undo

curprev 07:0607:06, 27 August 2023 WOSlinker talk contribs m 17,899 bytes +11 add {{refend}} undo

curprev 19:4519:45, 26 August 2023 RedWolf talk contribs 17,888 bytes +579 citations undo

curprev 05:1105:11, 24 August 2023 OAbot talk contribs m 17,309 bytes +17 Open access bot: doi updated in citation with #oabot. undo

curprev 00:3700:37, 16 August 2023 82.6.91.134 talk 17,292 bytes +2 No edit summary undo
curprev 00:3700:37, 16 August 2023 82.6.91.134 talk 17,290 bytes +114 No edit summary undo Tag: Disambiguation links added

curprev 11:2111:21, 7 May 2023 InternetArchiveBot talk contribs 17,176 bytes +176 Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.9.3) (Eastmain - 13643 undo

curprev 20:5820:58, 31 March 2023 Jarble talk contribs 17,000 bytes +14 adding Template:Semantics undo

curprev 06:5306:53, 30 January 2023 OAbot talk contribs m 16,986 bytes +34 Open access bot: doi added to citation with #oabot. undo

curprev 12:1112:11, 22 January 2023 Praseodymium-141 talk contribs 16,952 bytes −36 there are inline citations undo Tag: 2017 wikitext editor

curprev 03:1603:16, 4 January 2023 Citation bot talk contribs 16,988 bytes +19 Add: s2cid. | Use this bot. Report bugs. | Suggested by SemperIocundus | #UCB_webform 1604/2500 undo

curprev 14:3414:34, 20 November 2022 'wɪnd talk contribs m 16,969 bytes −7 →History: improve wording undo
curprev 14:3314:33, 20 November 2022 'wɪnd talk contribs 16,976 bytes +2,006 →History: Add first attempt; move to top to be consistency with other articles undo

curprev 09:5909:59, 10 August 2022 Citation bot talk contribs 14,970 bytes +29 Add: bibcode. | Use this bot. Report bugs. | Suggested by Abductive | #UCB_webform 3653/3849 undo

curprev 03:3403:34, 30 July 2022 Caleb Stanford talk contribs 14,941 bytes −237 attempt to improve lead undo Tag: 2017 wikitext editor

curprev 18:0518:05, 29 July 2022 OlliverWithDoubleL talk contribs 15,178 bytes +18 shortened article description, links undo Tags: Mobile edit Mobile app edit iOS app edit

curprev 06:5306:53, 10 January 2022 Citation bot talk contribs 15,160 bytes +231 Alter: pages, template type. Add: url, doi-access, pmc, pmid, pages, s2cid, isbn, volume, series, authors 1-1. Removed parameters. Formatted dashes. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_webform 762/960 undo

curprev 14:5914:59, 9 January 2022 Laiwoonsiu talk contribs m 14,929 bytes −1 Corrected minor typos. undo
curprev 10:2910:29, 9 January 2022 Laiwoonsiu talk contribs 14,930 bytes +260 Improved the references. undo
curprev 07:4007:40, 9 January 2022 Rodw talk contribs m 14,670 bytes +40 Disambiguating links to Springer (link changed to Springer Publishing; link changed to Springer Publishing) using DisamAssist. undo
curprev 04:3504:35, 9 January 2022 Laiwoonsiu talk contribs 14,630 bytes +2,421 Added inline citations as per the recommendation of the administrator. Improved other references as well. undo Tag: Disambiguation links added

curprev 04:1604:16, 9 December 2021 Laiwoonsiu talk contribs 12,209 bytes +75 Added denotational and operational semantics to algebraic semantics. undo

curprev 11:4811:48, 7 August 2021 Qwerfjkl talk contribs m 12,134 bytes −4 Removed 'The' from the beginning of the short description per WP:SDFORMAT. (via WP:JWB) undo

curprev 16:2316:23, 26 June 2021 Simon1791 talk contribs 12,138 bytes +177 →Variations: add source undo

14 September 2026

15 April 2026

15 March 2026

12 February 2026

28 December 2025

27 October 2025

18 September 2025

20 August 2025

10 May 2025

22 March 2025

29 November 2024

19 July 2024

10 April 2024

23 March 2024

16 February 2024

13 January 2024

27 November 2023

7 November 2023

27 August 2023

26 August 2023

24 August 2023

16 August 2023

7 May 2023

31 March 2023

30 January 2023

22 January 2023

4 January 2023

20 November 2022

10 August 2022

30 July 2022

29 July 2022

10 January 2022

9 January 2022

9 December 2021

7 August 2021

26 June 2021