Structure and Interpretation of Computer Programs

Solomonoff, Ray

solve

 differential equation, [2]

    lazy-list version

    with scanned-out definitions

solving equation, see half-interval method; Newton’s method; 

solve

 

source language

source program

Spafford, Eugene H.

sparse polynomial

special form

    as derived expression in evaluator

    need for

    procedure vs., [2]

special forms (those marked ns are not in the IEEE Scheme standard) 

    

and

    

begin

    

cond

    

cons-stream

 (ns)

    

define

, [2]

    

delay

 (ns)

    

if

    

lambda

    

let

    

let*

    

letrec

    named 

let

    

or

    

quote

    

set!

split

sqrt

    block structured

    in environment model

    as fixed point, [2], [3], [4]

    as iterative improvement

    with Newton’s method, [2]

    register machine for

    as stream limit

sqrt-stream

square

    in environment model

square root, see also 

sqrt

 

    stream of approximations

square-limit

, [2]

square-of-four

squarer

 (constraint), [2]

squash-inwards

stack

    framed

    for recursion in register machine

---

    representing, [2]

stack allocation and tail recursion

stack-inst-reg-name

Stallman, Richard M., [2]

start

 register machine, [2]

start-eceval

start-segment

, [2]

state 

    local, see local state 

    shared

    vanishes in stream formulation

state variable, [2]

    local

statements, see instruction sequence 

statements

Steele, Guy Lewis Jr., [2], [3], [4], [5], [6]

stop-and-copy garbage collector

Stoy, Joseph E., [2], [3]

Strachey, Christopher

stratified design

stream(s), [2]

    delayed evaluation and

    empty

    implemented as delayed lists

    implemented as lazy lists

    implicit definition

    infinite, see infinite streams 

    used in query interpreter, [2]

stream-append

stream-append-delayed

stream-car

, [2]

stream-cdr

, [2]

stream-enumerate-interval

stream-filter

stream-flatmap

, [2]

stream-for-each

stream-limit

stream-map

    with multiple arguments

stream-null?

    in MIT Scheme

stream-ref

stream-withdraw

strict

string, see character string 

strongly typed language

sub

 (generic)

sub-complex

sub-interval

sub-rat

---

sub-vect

subroutine in register machine

subsets

 of a set

substitution model of procedure application, [2]

    inadequacy of

    shape of process

subtype

    multiple

success continuation (nondeterministic evaluator), [2]

successive squaring

sum

    as accumulation

    iterative version

sum-cubes

    with higher-order procedures

sum-integers

    with higher-order procedures

sum-odd-squares

, [2]

sum-of-squares

    in environment model

sum-primes

, [2]

sum?

summation of a series

    with streams

supertype

    multiple

Sussman, Gerald Jay, [2], [3], [4], [5], [6], [7]

Sussman, Julie Esther Mazel, nieces of

Sutherland, Ivan

symbol(s)

    equality of

    interning

    quotation of

    representation of

    uniqueness of

symbol-leaf

symbol?

 (primitive procedure)

    data types and

    implemented with typed pointers

symbolic algebra

symbolic differentiation, [2]

symbolic expression, see also symbol(s) 

symbols

SYNC

synchronization, see concurrency 

syntactic analysis, separated from execution 

    in metacircular evaluator

    in register-machine simulator, [2]

syntactic sugar

    

define

---

    

let

 as

    looping constructs as

    procedure vs. data as

syntax, see also special forms 

    abstract, see abstract syntax 

    of expressions, describing

    of a programming language

syntax interface

systematic search

#t

table

    backbone of

    for coercion

    for data-directed programming

    local

    n-dimensional

    one-dimensional

    operation-and-type, see operation-and-type table 

    represented as binary tree vs. unordered list

    testing equality of keys

    two-dimensional

    used in simulation agenda

    used to store computed values

tableau

tabulation, [2]

tack-on-instruction-sequence

tagged architecture

tagged data, [2]

tagged-list?

tail recursion

    compiler and

    environment model of evaluation and

    explicit-control evaluator and, [2], [3]

    garbage collection and

    metacircular evaluator and

    in Scheme

tail-recursive evaluator

tangent 

    as continued fraction

    power series for

target register

Technological University of Eindhoven

Teitelman, Warren

term list of polynomial

    representing

term-list

terminal node of a tree

test

 (in register machine)

    simulating

test operation in register machine

---