Information for "Action semantics"

Basic information

Display title	Action semantics
Default sort key	Action semantics
Page length (in bytes)	10,797
Namespace ID	0
Page ID	278197
Page content language	en - English
Page content model	wikitext
Indexing by robots	Allowed
Number of redirects to this page	0
Counted as a content page	Yes
HandWiki item ID	None

Edit	Allow all users (infinite)
Move	Allow all users (infinite)

Page creator	imported>JMinHep
Date of page creation	18:17, 6 February 2024
Latest editor	imported>JMinHep
Date of latest edit	18:17, 6 February 2024
Total number of edits	1
Recent number of edits (within past 90 days)	0
Recent number of distinct authors	0

Transcluded templates (36)	Templates used on this page: Template:Ambox (view source) Template:Endflatlist (view source) Template:Flatlist (view source) Template:Hlist (view source) Template:Imbox (view source) Template:Main other (view source) Template:Primary (view source) Template:Primary sources (view source) Template:Reflist (view source) Template:Reflist/styles.css (view source) Template:Semantics (view source) Template:Sidebar (view source) Template:Sourceattribution (view source) Template:Startflatlist (view source) Template:Subinfobox bodystyle (view source) Template:Subsidebar bodystyle (view source) Module:Arguments (view source) Module:Category handler (view source) Module:Category handler/blacklist (view source) Module:Category handler/config (view source) Module:Category handler/data (view source) Module:Category handler/shared (view source) Module:Check for unknown parameters (view source) Module:List (view source) Module:Message box (view source) Module:Message box/configuration (view source) Module:Namespace detect/config (view source) Module:Namespace detect/data (view source) Module:Navbar (view source) Module:No globals (view source) Module:Sidebar (view source) Module:Sidebar/configuration (view source) Module:Sidebar/styles.css (view source) Module:TableTools (view source) Module:Unsubst (view source) Module:Yesno (view source)

Description	Content
Article description: (`description`) This attribute controls the content of the `description` and `og:description` elements.	Action semantics is a framework for the formal specification of semantics of programming languages invented by David Watt and Peter D. Mosses in the 1990s. It is a mixture of denotational, operational and algebraic semantics. Action semantics aim to be pragmatic, and action-semantic descriptions (ASDs...

Information from Extension:WikiSEO