S Com 641 meeting -*- Outline -*-
* the abstraction principle (Ch. 2)
core has no names, only values
study how to introduce names into a language
------------------------------------------
THE ABSTRACTION PRINCIPLE (2)
"The phrases of any semantically
meaningful syntactic class may be
WhatNamed Entity
location
numeral
expression
command
declaration
type structure
------------------------------------------
... named"
due to Landin, Strachey, Reynolds, Tennent
... alias
constant
function
procedure
module
class (or type)
we'll all study of these
also variables, which are like a combination of allocation and
an alias declaration
------------------------------------------
TERMINOLOGY
define pi = 3.14159
define I = V
pi
I invoke I call I
------------------------------------------
Q: What are the parts of these definitions?
name (I), body (V)
binding (assoc...