The Fictioning Horror Sale
 
 

Recently Viewed clear list


Original Essays | September 18, 2014

Lin Enger: IMG Knowing vs. Knowing



On a hot July evening years ago, my Toyota Tercel overheated on a flat stretch of highway north of Cedar Rapids, Iowa. A steam geyser shot up from... Continue »
  1. $17.47 Sale Hardcover add to wish list

    The High Divide

    Lin Enger 9781616203757

spacer
Qualifying orders ship free.
$40.95
New Trade Paper
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
5 Remote Warehouse Computers Reference- General

More copies of this ISBN

Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)

by

Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science) Cover

 

Synopses & Reviews

Publisher Comments:

The design and implementation of programming languages, from Fortran and Cobol to Caml and Java, has been one of the key developments in the management of ever more complex computerized systems. Introduction to the Theory of Programming Languages gives the reader the means to discover the tools to think, design, and implement these languages. It proposes a unified vision of the different formalisms that permit definition of a programming language: small steps operational semantics, big steps operational semantics, and denotational semantics, emphasising that all seek to define a relation between three objects: a program, an input value, and an output value. These formalisms are illustrated by presenting the semantics of some typical features of programming languages: functions, recursivity, assignments, records, objects, ... showing that the study of programming languages does not consist of studying languages one after another, but is organized around the features that are present in these various languages. The study of these features leads to the development of evaluators, interpreters and compilers, and also type inference algorithms, for small languages.

Synopsis:

This book sets unites the various formalisms that define a programming language: 'small steps' operational semantics, 'big steps' operational semantics, and denotational semantics. It illustrates them with typical features of programming languages.

About the Author

Gilles Dowek is a Professor at École Polytechnique. He is also a Researcher at the Laboratoire d'Informatique de l'École Polytechnique and the Institut National de Recherche en Informatique et en Automatique (INRIA). His research concerns the formalization of mathematics and the mechanization of reasoning. His main contribution is a reformulation of the axiomatic method which provides a central role to the notion of computation. Jean-Jacques Lévy is a senior scientist at the Institut National de Recherche en Informatique et en Automatique and a Professor at École Polytechnique. He has successively worked on operational and denotational semantics of programming languages, on reduction strategies in lambda-calculus and in rewrite systems, on the computer aided design of circuits and on the semantics of concurrency with applications to distribution and mobility.

Table of Contents

1. Terms and Relations.- 2. The Language PCF.- 3. From Evaluation to Interpretation.- 4. Compilation.- 5. PCF with Types.- 6. Type Inference.- 7. References and Assignment.- 8. Records and Objects.- 9. Epilogue.- 10. Index.- 11. Bibliography

Product Details

ISBN:
9780857290755
Author:
Dowek, Gilles
Publisher:
Springer
Author:
Lvy, Jean-Jacques
Author:
Levy, Jean-Jacques
Subject:
Computer Science
Subject:
Assignments.
Subject:
Big Step Operational Semantics
Subject:
Compiler
Subject:
Denotational Semantics
Subject:
Evaluator
Subject:
Function
Subject:
interpreter
Subject:
OBJECTS
Subject:
Records
Subject:
Recursion
Subject:
Small Step Operational Semantics
Subject:
type inference
Subject:
Theory of computation
Subject:
Logics and Meanings of Programs
Subject:
Personal Computers-General
Copyright:
Edition Description:
2011
Series:
Undergraduate Topics in Computer Science
Publication Date:
20101215
Binding:
TRADE PAPER
Language:
English
Pages:
108
Dimensions:
235 x 155 mm 370 gr

Related Subjects

Children's » Science Fiction and Fantasy » General
Computers and Internet » Artificial Intelligence » Fuzzy Logic
Computers and Internet » Computers Reference » General
Computers and Internet » Personal Computers » General
Computers and Internet » Software Engineering » Programming and Languages
History and Social Science » Economics » General
History and Social Science » Military » General History
Religion » Comparative Religion » General
Science and Mathematics » Electricity » General Electronics

Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science) New Trade Paper
0 stars - 0 reviews
$40.95 In Stock
Product details 108 pages Not Avail - English 9780857290755 Reviews:
"Synopsis" by , This book sets unites the various formalisms that define a programming language: 'small steps' operational semantics, 'big steps' operational semantics, and denotational semantics. It illustrates them with typical features of programming languages.
spacer
spacer
  • back to top
Follow us on...




Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.