A Simple Lambda-Calculus Model of Programming Languages (eBook, PDF)

A Simple Lambda-Calculus Model of Programming Languages (eBook, PDF) - S. Kamal Abdali
Dein klimafreundliches eBook steht für dich als PDF Format nach dem Kaufprozess per Download bereit.
 Ebook
Sofort lieferbar | Lieferzeit: Sofort lieferbar

5,85 €* Ebook

Sicherheits- und Produktressourcen
Bilder und Kontakte
Sicherheitsbilder- und Kontakte
ISBN-13:
9780243776269
Veröffentl:
2017
Einband:
Ebook
Seiten:
0
Autor:
S. Kamal Abdali
eBook Format:
PDF
eBook-Typ:
Reflowable
Kopierschutz:
NO DRM
Sprache:
Englisch
Beschreibung
We present a simple correspondence between a large subset of Algol 60 language and lambda-calculus. With the aid of this correspondence, a program can be translated into a single lambda-expression. In general, the representation of a program is specified by means of a system of simultaneous conversion relations among the representations of the program constituents. High-level programming language features are treated directly, not in terms of the representations of machine-level operations. The model includes input-output in such a way that when the representation of a (convergent) program is applied to the input item representations, the resulting combination reduces to a tuple of the representations of the output items. This model does not introduce any imperative notions into the calculus; the descriptive programming constructs, such as expressions, and the imperative ones, such as assignments and jumps, are translated alike into pure lambda-expressions. The applicability of the model to the problems of proving program equivalence and correctness is illustrated by means of simple examples.

PDF Typ:

Standard-PDF: Das ist der am häufigsten verwendete eBook PDF-Typ. Ein Standard-PDF ist ein einfaches PDF-Dokument, das auf jedem Gerät geöffnet werden kann, das eine PDF-Reader-Software installiert hat.

Interaktive PDF: Ein interaktives PDF enthält zusätzliche Funktionen wie Links, Formulare, Audio- und Video-Dateien, interaktive Schaltflächen und andere interaktive Elemente. Interaktive PDFs sind besonders nützlich für eBook Lehrbücher, Anleitungen und technische Dokumentationen.

Reflowable PDF: Reflowable PDFs passen sich automatisch an die Bildschirmgröße des Geräts an, auf dem sie geöffnet werden. Das bedeutet, dass der Text und das Layout der Seite so angepasst werden, dass sie auf dem Bildschirm des Geräts leicht lesbar sind. Reflowable PDFs sind ideal für eBooks, die auf verschiedenen Geräten gelesen werden sollen, wie zum Beispiel Tablets oder Smartphones.

Fixed Layout PDF: Ein fixed-layout PDF ist eine PDF-Datei, die ein bestimmtes Seitenlayout beibehält. Das bedeutet, dass das Layout auf jedem Gerät gleich bleibt und nicht automatisch angepasst wird. Fixed-layout PDFs sind ideal für eBooks, die viele Bilder oder Grafiken enthalten, wie zum Beispiel Bildbände oder Kochbücher.

Enhanced PDF: Ein Enhanced PDF ist eine Kombination aus interaktiven und reflowable PDFs. Es enthält interaktive Funktionen wie Links, Formulare und multimediale Elemente, passt sich aber auch an die Bildschirmgröße des Geräts an. Enhanced PDFs sind ideal für eBooks, die sowohl Text als auch multimediale Elemente enthalten.


 

 

Schlagwörter zu:

A Simple Lambda-Calculus Model of Programming Languages von S. Kamal Abdali mit der ISBN: 9780243776269

, eBooks-Center


 

 

For legal reasons, the eBook download can only be delivered in countries with a billing address as follow

Der eBook-Download kann aus rechtlichen Gründen nur in Ländern mit den folgenden Rechnungsadressen ausgeliefert werden:

 BG BE AT EE DK CZ CH DE CY HU HR GR FR FI ES LT LI IT IE NL MT LU LV SE RO PT PL SK SI


 

 

Kunden Rezensionen zu A Simple Lambda-Calculus Model of Programming Languages von S. Kamal Abdali | eBook

Zu diesem eBook Titel ist noch keine Rezension vorhanden.
Helfe anderen Besuchern und verfasse selbst eine Rezension.


 

 


Kunden, die: "A Simple Lambda-Calculus Model of Programming Languages" (PDF) von S. Kamal Abdali als eBook gekauft haben,

interessierten sich auch für die folgenden eBooks: