A Simple Lambda-Calculus Model of Programming Languages (Classic Reprint)
Langue : anglais
Edité par Forgotten Books, 2018
- Livre broché
- Neuf
Vendeur : Forgotten Books, London, Royaume-UniForgotten Books
Vendeur AbeBooks depuis 2 juin 2021
Etat: Neuf
EUR 16,23
Quantité disponible : Plus de 20 disponibles
Ajouter au panierA propos de cet article
Print on Demand. This book explores programming languages through the lens of lambda calculus, a foundational mathematical system for computation. The author argues that lambda calculus provides a simple yet powerful framework for understanding the structure and behavior of programming languages. The book covers a wide range of topics, including: - The representation of programs as lambda expressions - The interpretation of lambda expressions as functions - The use of lambda calculus to model programming language features such as variables, constants, expressions, assignments, and control structures - The application of lambda calculus to the problems of proving program equivalence and correctness This book is a valuable resource for anyone interested in the foundations of programming languages or the use of lambda calculus in computer science. The author's clear and concise exposition makes this book accessible to readers with a variety of backgrounds, from students to experienced researchers. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book.…
N° de réf. du vendeur 9781332196029_0
- Titre
- A Simple Lambda-Calculus Model of Programming Languages (Classic Reprint)
- Auteur
- S. Kamal Abdali
- Éditeur
- Forgotten Books
- Année de publication
- 2018
- État de l'article
- New
- Type de livre
- print-on-demand item
- Reliure
- Paperback
- Langue
- anglais
- ISBN à 10 chiffres
- 1332196020
- ISBN à 13 chiffres
- 9781332196029
- Catalogues du vendeur
- Calculus
The work argues for a model that avoids memory or fetch-and-store concepts, keeping assignments as substitutions within the lambda framework. It also demonstrates how high-level language constructs, like ALGOL 60 features, can be translated directly into lambda-expressions and reduced to meaningful results. The approach emphasizes simplicity and intuitive justification, while offering ways to trace execution steps through a modified reduction process.
- Programs are represented by lambda-expressions that capture input-output behavior as functions.
- Reduction and normal forms show how programs compute, without simulating machine state.
- High-level constructs, including loops, conditionals, and even certain ALGOL 60 features, map to lambda-transforms.
- The model supports tracing execution steps and can extend to other language features.
Ideal for readers of programming language theory and formal models who want a purely functional perspective on program representation.
« Synopsis » peut appartenir à une autre édition de cet ouvrage.
Présentation de l'éditeur
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.
About the Publisher
Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com
This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.
« A propos de ce titre » peut appartenir à une autre édition de cet ouvrage.
Forgotten Books
London, Royaume-Uni
Vendeur AbeBooks depuis 2 juin 2021
Frais d'expédition de Royaume-Uni vers Etats-Unis
| Article | 5 à 10 jours ouvrés | 5 à 10 jours ouvrés |
|---|---|---|
| Premier article | EUR 0,00 | EUR 0,00 |
Modes de paiement
Description de la boutique
Forgotten Books’ Classic Reprint Series utilizes the latest technology to regenerate facsimiles of historically important writings. Careful attention has been made to accurately preserve the original format of each page whilst digitally enhancing the quality of the aged text.
Spécialité
TradeProfil professionnel du vendeur
FB &c Ltd
Dalton House, 60 Windsor Avenue
London, Royaume-Uni SW19 2RR
Conditions de vente
Forgotten Books publie des centaines de milliers de livres rares et classiques.
Ce livre est la reproduction d'un ouvrage historique important. Forgotten Books utilise une technologie de pointe pour reconstruire numériquement l'œuvre, en préservant le format d'origine tout en réparant les imperfections présentes dans la copie vieillie. Dans de rares cas, une imperfection de l'original, telle qu'un défaut ou une page manquante, peut être reproduite dans notre édition. Cependant, nous réparons avec succès la grande majorité des imperfections; toutes les imperfections qui subsistent sont intentionnellement laissées pour préserver l'état de ces œuvres historiques.
Ce texte a été restauré numériquement à partir d'une édition historique. Certaines erreurs peuvent persister, mais nous considérons qu'il vaut la peine d'être publié en raison de la valeur historique de l'œuvre.
L'édition numérique de tous les livres peut être consultée avant l'achat si vous demandez un échantillon.
Droit de rétractation
Si vous êtes un consommateur, vous pouvez exercer votre droit de rétractation sur le contrat conformément à ce qui suit. Le mot « consommateur » désigne toute personne physique agissant à des fins qui n'entrent pas dans le cadre de son activité commerciale, artisanale ou professionnelle.
Informations concernant le droit de rétractation
Droit statutaire de rétractation
Vous avez le droit d'exercer votre droit de rétractation sur ce contrat dans les 14 jours sans donner de raison.
Le délai de rétractation expirera au bout de 14 jours à compter du jour où vous-même, ou un tiers autre que le transporteur et désigné par vous, prendrez physiquement possession de la dernière marchandise, du dernier lot ou de la dernière pièce.
Pour exercer votre droit de rétractation, remplissez électroniquement et envoyez une déclaration claire sur notre site Web, sous « Vos achats » dans « Votre compte ». Nous vous communiquerons sans délai un accusé de réception de cette rétractation sur un support durable (par exemple, par e-mail).
Pour respecter le délai de rétractation, il vous suffit d'envoyer votre message concernant l'exercice de votre droit de rétractation avant l'expiration du délai de rétractation.
Effets de la rétractation
Si vous exercez votre droit de rétractation sur ce contrat, nous vous rembourserons tous les paiements que vous avez effectués, y compris les frais de livraison (à l'exception des frais supplémentaires résultant du choix d'un mode de livraison autre que le type de livraison standard le moins cher que nous proposons).
Nous pouvons déduire du remboursement la perte de valeur de toute marchandise livrée, si la perte est le résultat d'une manipulation inutile de votre part.
Nous effectuerons le remboursement dans les meilleurs délais, et au plus tard 14 jours après le jour où nous aurons été informés de votre décision d'exercer votre droit de rétractation sur ce contrat.
Nous effectuerons le remboursement en utilisant le même moyen de paiement que celui que vous avez utilisé pour la transaction initiale, sauf si vous en avez expressément convenu autrement ; en tout état de cause, aucuns frais ne vous seront facturés à la suite d'un tel remboursement.
Nous pouvons suspendre le remboursement jusqu'à ce que nous ayons reçu les marchandises ou que vous ayez fourni la preuve que vous avez renvoyé les marchandises, en fonction de la première éventualité.
Vous devez renvoyer les marchandises ou les remettre à Forgotten Books, London, United Kingdom, sans retard injustifié et, en tout état de cause, au plus tard 14 jours à compter du jour où vous nous avez communiqué votre décision de rétractation du présent contrat. Le délai est respecté si vous renvoyez les marchandises avant l'expiration du délai de 14 jours. Vous devrez prendre en charge les frais directs du renvoi des marchandises. Vous n'êtes responsable que de toute diminution de valeur des marchandises résultant d'une manipulation autre que celle nécessaire pour établir la nature, les caractéristiques et le fonctionnement des marchandises.
Exceptions au droit de rétractation
Le droit de rétractation ne s'applique pas à ce qui suit :
- Distribution de journaux, de revues ou de magazines, à l'exception des contrats d'abonnement ; et
- Fourniture d'un contenu numérique qui n'est pas fourni sur un support matériel (par exemple, sur un CD ou un DVD) si vous avez accepté, lors de votre commande, que nous puissions commencer à le livrer et que vous ne puissiez pas exercer votre droit de rétractation une fois la livraison commencée.
Conditions d'expédition
Nous nous engageons à minimiser notre impact environnemental et à réduire les coûts d’expédition en fabriquant et en expédiant nos produits aussi près que possible de nos clients. Pour les commandes aux États-Unis, vos articles sont expédiés depuis les États-Unis. Les commandes au Royaume-Uni et en Europe sont traitées depuis le Royaume-Uni. Les commandes canadiennes peuvent être expédiées depuis le Canada ou les États-Unis, en fonction de la taille de la commande.
Pour nos clients dans d’autres régions du monde, nous veillons à ce que vos commandes soient expédiées depuis le lieu le plus proche disponible afin de réduire les délais de livraison et l’empreinte carbone. Notre objectif est de livrer vos produits efficacement, où que vous soyez.
Veuillez noter qu’en fonction de la taille de votre commande et des lois locales de votre pays, des taxes supplémentaires, droits de douane et frais peuvent être imposés par le pays de destination. Ces charges ne sont pas incluses dans le prix de l’article ou les frais de livraison. Elles sont à la charge du client et doivent être réglées à la livraison.
Nous vous recommandons de consulter votre bureau de douane local pour plus d’informations sur les éventuelles charges avant de passer votre commande. Forgotten Books n’est pas responsable des droits de douane, taxes ou frais encourus.