Andere Kunden interessierten sich auch für
![Higher Order Operational Techniques in Semantics]( "Higher Order Operational Techniques in Semantics")
Higher Order Operational Techniques in Semantics134,99 €![Operational Data Provisioning with SAP BW/4HANA]( "Operational Data Provisioning with SAP BW/4HANA")
Operational Data Provisioning with SAP BW/4HANA70,99 €![Squirrel (Programming Language)]( "Squirrel (Programming Language)")
Squirrel (Programming Language)25,99 €![Network Neutrality]( "Network Neutrality")
Network Neutrality32,99 €![PL/I Programming Language One]( "PL/I Programming Language One")
PL/I Programming Language One22,99 €![XSB]( "XSB")
XSB29,99 €![Voodoo Chat]( "Voodoo Chat")
Voodoo Chat19,99 €
High Quality Content by WIKIPEDIA articles! In computer science, operational semantics is a way to give meaning to computer programs in a mathematically rigorous way. 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 programs, 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.)