Workspace bewerken: Semantics and Domain Theory

U hebt geen rechten om deze pagina te bewerken, want:

De gevraagde handeling is voorbehouden aan gepriviligeerde gebruikers. (groep gebruikers)

Short title:	Semantics and Domain Theory	Title for navigation menu. It may be an abbreviation of the page title.
Author(s):		optional
Subtitle:		optional
Language:		main language of this workspace
Logo:		Name of an image, e.g. XXX.jpg (without Image:)
Include:		If desired: a small page with links to be included (by transclusion) in de navigation menu
Remark:		A short explanatory remark to be displayed in the list if all workspaces
Background colour:		for navigation menu and other labels. You may use html colour names like gold. Due to a bug in the software, this form can handle hexadecimal colours only if you precede the # by // as in //#EEEEEE.
Extra colour:		idem

Vrije tekst:

{{PageTree |title=Semantics and Domain Theory |color=black |color2=/**/#F8FFF8 |extra=http://www.cs.ru.nl/~herman/onderwijs/semantics2011/ }} = Introduction = '''Denotational Semantics''' is about assigning a ''mathematical'' meaning to syntax (in particular, that of programming languages) which is, in some sense, independent of how the syntax is presented, or what computational rules it may obey (which are properly the subject matter of '''Operational Semantics'''). '''Domain Theory''' is the mathematics of the objects, sets-with-structure, and mappings between them, which serve as a vehicle for denotational semantics. == Structure == The course is divided roughly into 3 parts: * Introduction to Denotational Semantics * Operational and Denotational Semantics of PCF * Advanced topics [[Categorie:Vakwerkplaatsingangen]] [[Categorie:Public]]

Samenvatting:

Dit is een kleine bewerking Deze pagina volgen

Annuleren

Workspace bewerken: Semantics and Domain Theory

Navigatiemenu

Persoonlijke instellingen

Naamruimten

Varianten

Weergaven

Meer

zoek

Hulpmiddelen