Jump to content

Formal semantics of programming languages

From Wikipedia, the free encyclopedia

Redirect page

Redirect to:

Semantics (computer science)

This page is a redirect. The following categories are used to track and monitor this redirect:

From a page move: This is a redirect from a page that has been moved (renamed). This page was kept as a redirect to avoid breaking links, both internal and external, that may have been made to the old page name.

From an alternative name: This is a redirect from a title that is another name or identity such as an alter ego, a nickname, or a synonym of the target, or of a name associated with the target.
- This redirect leads to the title in accordance with the naming conventions for common names to aid searches and writing. It is not necessary to replace these redirected links with a piped link.
- If this redirect is an incorrect name for the target, then {{R from incorrect name}} should be used instead.

From a printworthy page title: This is a redirect from a title that would be helpful in a printed or CD/DVD version of Wikipedia. See Wikipedia:Printability and Version 1.0 Editorial Team for more information.

When appropriate, protection levels are automatically sensed, described and categorized.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Formal_semantics_of_programming_languages&oldid=1005779360"

Hidden categories: