Semantik von Programmiersprachen

Name: Semantik von Programmiersprachen
Brand: Springer Nature
SKU: 9783540151630
Availability: InStock

Semantik von Programmiersprachen

Brand

Springer Nature

Manufacturer

N/A

Part Number

GTIN

9783540151630

Condition

New

0 Reviews

0 Questions | 0 Answers

Product Description

Dieses Buch vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen. Zunchst werden unterschiedliche Formalisierungsanstze (die operationelle, denotationelle und axiomatische Semantik) vorgestellt und diskutiert. Anschlieend wird die mathematische Theorie der semantischen Bereiche entwickelt, die bei der zur Zeit wichtigsten, der denotationellen Methode, Anwendung findet. Danach wird schrittweise eine umfassende, PASCAL-orientierte Programmiersprache entwickelt und die Semantik der einzelnen Sprachkonstrukte denotationell spezifiziert. Die Fortsetzungssemantik (continuation semantics) wird dabei systematisch erklrt und verwendet. Schlielich wird auf die Anwendung dieser Techniken eingegangen, insbesondere im Rahmen des Compilerbaus und als Grundlage zur Entwicklung funktionaler Programmiersprachen. Das Wissen, das in diesem Buch vermittelt wird, ermglicht es, selbstndig die Semantik neuer, unterschiedlicher Sprachkonstrukte formal zu definieren und damit umzugehen, und natrlich vorgegebene formale Beschreibungen zu verstehen. Dies ist besonders wichtig bei der Entwicklung neuer Sprachen, beim Beweisen von Programmeigenschaften und beim Compilerbau.

Available Colors

N/A

Available Sizes

N/A

1 Offer Price Range: $49.99 - $49.99

BEST PRICE

Single Product Purchase

$45.00

@ Link.springer.com with extra coupon Get Coupon & BUY

Price Comparison

Seller	Contact Seller	List Price	On Sale	Shipping	Best Promo	Final Price	Volume Discount	Financing	Availability	Seller's Page
BEST PRICE 1 Product Purchase @ Link.springer.com Rate Seller This functionality is for registered users only. Go to Login/Register		$49.99	$49.99		10% OFF This deals requires coupon Get Code Here your10off @ Link.springer.com Deals Ends 31/08/2025	$45.00		See Site	In stock	Visit Store