Operational Semantics

by Betascript Publishing
State: New
$30.32
VAT included - FREE Shipping
Betascript Publishing Operational Semantics
Betascript Publishing - Operational Semantics

Do you like this product? Spread the word!

$30.32 incl. VAT
Only 1 items available Only 1 items available
Delivery: between Wednesday, June 1, 2022 and Friday, June 3, 2022
Sales & Shipping: Dodax

Description

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.)

Further information

Language:
English
Number of Pages:
68
Editor:
Surhone, Lambert M.
Timpledon, Miriam T.
Marseken, Susan F.
Media Type:
Softcover
Publisher:
Betascript Publishing

Master Data

Product Type:
Paperback book
GTIN:
09786130356149
DUIN:
NKCT8BPKF3M
$30.32
We use cookies on our website to make our services more efficient and more user-friendly. Therefore please select "Accept cookies"! Please read our Privacy Policy for further information.