Denotational semantics: the Scott-Strachey approach to programming language theory

Front Cover
MIT Press, 1985 - Computers - 414 pages
0 Reviews
"First book-length exposition of the denotational (or `mathematical' or `functional') approach to the formal semantics of programming languages (in contrast to `operational' and `axiomatic' approaches). Treats various kinds of languages, beginning with the pure-lambda-calculus and progressing through languages with states, commands, jumps, and assignments. This somewhat discursive account is a valuable compilation of results not otherwise available in a single source." -- American Mathematical Monthly

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Related books

Contents

Introduction
1
Denotational semantics
12
Binary numerals
26
Copyright

24 other sections not shown

Common terms and phrases

References to this book

All Book Search results »

References from web pages

Denotational Semantics
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. Purchase this Book · Purchase this Book. Source. Pages: 414 ...
portal.acm.org/ citation.cfm?id=540155& dl=

SS > NF reviews > Joseph E. Stoy
home > NF reviews > Joseph E. Stoy. "Joseph E. Stoy" on • Google • Alta Vista. Joseph E. Stoy. Books. Denotational Semantics: the Scott-Strachey approach to ...
www-users.cs.york.ac.uk/ ~susan/ bib/ nf/ s/ josphsty.htm

Dana Scott
Joseph E. Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, 1977. ISBN 0-262-19147-4 ...
www.cris.eu/ dana_scott_en.html

Black Oak Books at antiqbook.com
590233: STOY, JOSEPH E., - Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory 587692: STOY, JOSEPH E., ...
www.antiqbook.com/ boox/ blac/ books8000.shtml

A Linguagem TC
Bibliografia: J. Stoy, Denotational Semantics: the Scott-Strachey Approach to Programming Language Theory, MIT Press, 1977. Cap. 9-12 ...
www.ncc.up.pt/ ~nam/ aulas/ 9798/ tc/ tc/ node24.html

lambda
Source : Joseph E. Stoy, Denotational Semantics : The Scott-Strachey Approach to Programming Language Theory, The MIT Press, 1977 ...
www.iut-nantes.univ-nantes.fr/ ~habrias/ coursb/ lambda.html

Современные языки программирования и .NET. Основы объектно ...
Stoy je Denotational semantics: the Scott-Strachey approach to programming language theory. MIT Press, 1977 В работе [1] излагается метод индуктивных ...
window.edu.ru/ window_catalog/ pdf2txt?p_id=18839& p_page=8

Cat. Letteratura Grigia - Copie
*Denotational semantics : the Scott-Strachey approach to programming language theory / Joseph E. Stoy. LADSEB, Istituto di Sistemistica e Bioingegneria ...
adrbib.pd.cnr.it/ opac/ opac.com/ it/ inv/ dc-m.tcl?catno=300658& language=ITALIANO

Descles: Programme interdisciplinaire de traitement formel et ...
[STO-77] Stoy je, Denotational semantics : the scott-strachey approach to programming language theory, the MIT. Press, 1977. Pour les termes linguistiques, ...
www.numdam.org/ numdam-bin/ fitem?id=MSH_1982__77__43_0

Bibliographic information