About: Operational semantics

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Operational semantics Goto Sponge NotDistinct Permalink

An Entity of Type : dbo:TelevisionStation, within Data Space : el.dbpedia.org associated with source document(s)

Operational semantics is a category of formal programming language semantics in which certain desired properties of a program, such as correctness, safety or security, are verified by constructing proofs from logical statements about its execution and procedures, rather than by attaching mathematical meanings to its terms (denotational semantics). Operational semantics are classified in two categories: structural operational semantics (or small-step semantics) formally describe how the individual steps of a computation take place in a computer-based system; by opposition natural semantics (or big-step semantics) describe how the overall results of the executions are obtained. Other approaches to providing a formal semantics of programming languages include axiomatic semantics and denotatio

Attributes	Values
rdf:type	Thing television station
rdfs:label	Operational semantics (en)
rdfs:comment	Operational semantics is a category of formal programming language semantics in which certain desired properties of a program, such as correctness, safety or security, are verified by constructing proofs from logical statements about its execution and procedures, rather than by attaching mathematical meanings to its terms (denotational semantics). Operational semantics are classified in two categories: structural operational semantics (or small-step semantics) formally describe how the individual steps of a computation take place in a computer-based system; by opposition natural semantics (or big-step semantics) describe how the overall results of the executions are obtained. Other approaches to providing a formal semantics of programming languages include axiomatic semantics and denotatio (en)
sameAs	Operational semantics Operational semantics Operational semantics
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Commons_category-inline dbt:Dead_link dbt:Nobreak dbt:Reflist dbt:Short_description dbt:Semantics
Subject	Programming language semantics Formal specification languages Logic in computer science Operational semantics
gold:hypernym	Category
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Operational_semantics?oldid=1065625046&ns=0
Wikipage page ID	270062 (xsd:integer)
page length (characters) of wiki page	18757 (xsd:nonNegativeInteger)
Wikipage revision ID	1065625046 (xsd:integer)
has abstract	Operational semantics is a category of formal programming language semantics in which certain desired properties of a program, such as correctness, safety or security, are verified by constructing proofs from logical statements about its execution and procedures, rather than by attaching mathematical meanings to its terms (denotational semantics). Operational semantics are classified in two categories: structural operational semantics (or small-step semantics) formally describe how the individual steps of a computation take place in a computer-based system; by opposition natural semantics (or big-step semantics) describe how the overall results of the executions are obtained. Other approaches to providing a formal semantics of programming languages include axiomatic semantics and denotational semantics. The operational semantics for a programming language describes how a valid program is interpreted as sequences of computational steps. These sequences then are the meaning of the program. In the context of functional programming, the final step in a terminating sequence returns the value of the program. (In general there can be many return values for a single program, because the program could be nondeterministic, and even for a deterministic program there can be many computation sequences since the semantics may not specify exactly what sequence of operations arrives at that value.) Perhaps the first formal incarnation of operational semantics was the use of the lambda calculus to define the semantics of Lisp. Abstract machines in the tradition of the SECD machine are also closely related. (en)
foaf:isPrimaryTopicOf	http://en.wikipedia.org/wiki/Operational_semantics
is Wikipage redirect of	Small Step Semantics Big-step operational semantics Big-step semantics Big Step Semantics Big step operational semantics Big step semantics Reduction context Reduction semantics Natural semantics Small-step operational semantics Small-step semantics Small step operational semantics Small step semantics Structural operational semantics Structured operational semantics
is Link from a Wikipage to another Wikipage of	Formal methods Formal verification Abstract data type Abstract machine Action semantics Actor model Actor model and process calculi history Algebraic Logic Functional programming language Algebraic semantics (computer science) Axiomatic semantics Baby Modula-3 Behavior tree Binary combinatory logic Bisimulation Bunched logic C standard library Gilles Kahn Glossary of computer science Jan Friso Groote Janus (time-reversible computing programming language) David Watt (computer scientist) Chris Verhoef Denotation Denotational semantics List of functional programming topics List of pioneers in computer science Closure (computer programming) Communicating sequential processes ECMAScript History of the Actor model Functional programming Gordon Plotkin Graph rewriting IBM Laboratory Vienna Execution model Interpreter (computing) Krivine machine Luca Cardelli Big-step operational semantics Big-step semantics Big Step Semantics Big step operational semantics Big step semantics Matthias Felleisen Natural semantics
is academic discipline of	Luca Cardelli
is known for of	Chris Verhoef Gordon Plotkin Matthias Felleisen

Faceted Search & Find service v1.17_git151 as of Feb 20 2025

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (72 GB total memory, 1 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software