Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword or section
Like this
7Activity

Table Of Contents

0 of .
Results for:
No results containing your search query
P. 1
Programming Languages Version 1.02

Programming Languages Version 1.02

Ratings: (0)|Views: 44|Likes:

More info:

Categories:Types, School Work
Published by: Simona Briscu Semlecan on Jul 17, 2010
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

07/11/2012

pdf

text

original

 
Programming LanguagesVersion
Mike GrantScott Smith
 
iiCopyrightc
2002-2005 Scott F. Smith. Permission is granted to copy,distribute and/or modify this document under the terms of the GNU Free Doc-umentation License, Version 1.1 or any later version published by the Free Soft-ware Foundation; with no Invariant Sections, with no Front-Cover Texts, andwith no Back-Cover Texts. A copy of the license is included in the sectionentitled “GNU Free Documentation License”.
This document was last compiled on March 3, 2005.
 
Contents
1.1 The Pre-History of Programming Languages. . . . . . . . . . . . 11.2 A Brief Early History of Languages. . . . . . . . . . . . . . . . . 21.3 This Book. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.1 A First Look at Operational Semantics. . . . . . . . . . . . . . . 52.2 BNF grammars and Syntax. . . . . . . . . . . . . . . . . . . . . 62.2.1 Operational Semantics for Logic Expressions. . . . . . . 62.2.2 Operational Semantics and Interpreters. . . . . . . . . . 92.3 The
D
Programming Language. . . . . . . . . . . . . . . . . . . 102.3.1
D
Syntax. . . . . . . . . . . . . . . . . . . . . . . . . . . 102.3.2 Variable Substitution. . . . . . . . . . . . . . . . . . . . 132.3.3 Operational Semantics for
D
. . . . . . . . . . . . . . . . 162.3.4 The Expressiveness of 
D
. . . . . . . . . . . . . . . . . . . 202.3.5 Russell’s Paradox and Encoding Recursion. . . . . . . . 242.3.6 Call-By-Name Parameter Passing. . . . . . . . . . . . . . 272.4 Operational Equivalence. . . . . . . . . . . . . . . . . . . . . . . 282.4.1 Defining Operational Equivalence. . . . . . . . . . . . . . 292.4.2 Example Equivalences. . . . . . . . . . . . . . . . . . . . 302.4.3 Capture-Avoiding Substitution. . . . . . . . . . . . . . . 312.4.4 Proving Equivalences Hold. . . . . . . . . . . . . . . . . 33
3.1 Tuples. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 353.2 Records. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 363.2.1 Record Polymorphism. . . . . . . . . . . . . . . . . . . . 373.2.2 The
Language. . . . . . . . . . . . . . . . . . . . . . 383.3 Variants. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 403.3.1 Variant Polymorphism. . . . . . . . . . . . . . . . . . . . 40iii

Activity (7)

You've already reviewed this. Edit your review.
1 hundred reads
drcoded liked this
calvez liked this
Orockjo liked this
piersilvio liked this
99books liked this
drober liked this

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->