Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Functional Programming and Input/Output

Name: Functional Programming and Input/Output
Brand: Cambridge University Press
SKU: 02032199
Price: 89.09 EUR
Availability: InStock
Author: Andrew D. Gordon
ISBN: 9780521471039

Andrew D. Gordon

Sprache

Englisch

Buch Hardcover

Libristo-Code: 02032199

Verlag Cambridge University Press, Oktober 1994

A common attraction to functional programming is the ease with which proofs can be given of program... Vollständige Beschreibung

Libristo-Code: 02032199

218 b

89.09 € inkl. MwSt.

50% Chance Wir werden die ganze Welt durchsuchen Wann bekomme ich das Buch?

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

»Doc, die Kuh kann nicht kalben!« Christian Pietsch

Broschur

19.80 €

Vergessene Pfade Ammergauer Alpen Rudolf Nützel

Broschur

22.99 €

Рождественская песнь в прозе. Художник Митрофанов Максим Чарльз Диккенс

Hardcover

23.69 €

Je dois m'aimer pour t'aimer Schaeffer

Buch

23.79 €

Mein erstes Papp-Bilderbuch: Die Arche Noah Russell Punter

Hardcover

6.69 €

Präludien zu Hegel Rita Kuczynski

Broschur

12.00 €

Der Gewinnabschöpfungsanspruch nach 10 UWG und die Vorteilsabschöpfung gem. 34, 34a GWB. Stefan Sieme

Broschur

99.90 €

Management Von Webprojekten Robert Stoyan

Hardcover

59.99 €

Der Zauberer Von ROM, Buch 1 Karl Gutzkow

Hardcover

29.90 €

Wir alle für immer zusammen Guus Kuijer

Broschur

7.00 €

A common attraction to functional programming is the ease with which proofs can be given of program properties. A common disappointment with functional programming is the difficulty of expressing input/output (I/O), while at the same time being able to verify programs. Here, the author shows how a theory of functional programming can be smoothly extended to admit both an operational semantics for functional I/O and verification of programs engaged in I/O. He obtains operational semantics for the three most widely implemented I/O mechanisms for lazy languages, and proves that the three are equivalent in expressive power. He develops semantics for a form of monadic I/O and verifies a simple programming example. These theories of functional I/O are based on an entirely operational theory of functional programming, developed using Abramsky's 'applicative bisimulation'.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Functional Programming and Input/Output

Autor Andrew D. Gordon

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 1994

Anzahl der Seiten 171

EAN 9780521471039

ISBN 0521471036

Libristo-Code 02032199

Verlag Cambridge University Press

Gewicht 511

Abmessungen 174 x 247 x 14

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert