! 在名称中
" (双引号)
calculus, 见 lambda 演算
表示法 for 数学 函数
, 见 圆周率
sum (sigma) 表示法
, 见 θ
' (单引号)
read 与,
[2]
* (基本 multiplication 过程)
+ (基本 addition 过程)
, (comma, used with 反引号)
- (基本 subtraction 过程)
作为取负
/ (基本 除法 过程)
< (基本 数值 comparison 谓词)
= (基本 数值 相等 谓词)
=number?
=zero? (通用)
用于多项式
> (基本 数值 comparison 谓词)
>=, [2]
? , in 谓词 names
#f
#t
` (反引号)
;, 见 分号
Abelson, Harold
abs, [2],
[3]
绝对值
抽象数据,
参见 数据抽象
abstract models for 数据
abstract syntax
在元循环求值器中
在查询解释器中
abstraction, 参见 抽象手段; 数据抽象; 高阶过程
通用模式与
元语言
过程式
在寄存器计算机设计中
of 搜索 在非确定性编程中
抽象 barriers,
[2], [3]
在复数系统中
在通用算术系统中
accelerated-sequence
accumulate,
[2]
同于 fold-right
accumulate-n
累加器, [2]
Áchárya, Bháscara
Ackermann's 函数
acquire a 互斥
actions, in 寄存器计算机
actual-value
Ada
递归 procedures
Adams, Norman I., IV
add (通用)
用于多项式系数,
[2]
add-action!,
[2]
add-binding-to-frame!
add-complex
add-complex-to-schemenum
add-interval
add-lists
add-poly
add-rat
add-rule-or-assertion!
add-streams
add-terms
add-to-agenda!,
[2]
add-vect
addend
adder
full
half
ripple-carry
adder (基本 约束)
additivity, [2],
[3], [4]
地址
地址 算术
Adelman, Leonard
adjoin-arg
adjoin-set
binary-树 表示
ordered-列表 表示
unordered-列表 表示
for weighted sets
adjoin-term,
[2]
advance-pc
after-delay,
[2]
agenda, 见 数字电路模拟
A'h-mose
algebra, symbolic, 见 符号代数
algebraic 表达式
differentiating
representing
simplifying
algebraic 规约 for 数据
Algol
块结构
按名调用 参数 passing,
[2]
thunks, [2]
weakness in handling 复合 objects
algorithm
optimal
probabilistic,
[2]
aliasing
all-regs (编译器)
Allen, John
分支 of if
always-true
amb
amb evaluator, 见 非确定性求值器
ambeval
an-element-of
an-integer-starting-from
analog 计算机
analyze
元循环
非确定性
analyze-...
元循环,
[2]
非确定性
analyze-amb
analyzing 求值器
as basis for 非确定性 求值器
let
and (查询 语言)
求值 of,
[2], [3]
and (特殊形式)
求值 of
why a 特殊形式
with no subexpressions
与门
and-gate
angle
数据导向
polar 表示
rectangular 表示
with tagged 数据
angle-polar
angle-rectangular
announce-output
APL
Appel, Andrew W.
append, [2],
[3]
as accumulation
append! vs.
with arbitrary 数 of arguments
as 寄存器计算机
``what is'' (rules) vs. ``how to'' (过程)
append!
as 寄存器计算机
append-instruction-sequences,
[2]
append-to-form (rules)
application?
applicative-阶 求值
in Lisp
正则 阶 vs.,
[2], [3]
apply (惰性)
apply (元循环)
基本 apply vs.
apply (基本 过程)
apply-dispatch
modified for com圆周率led 代码
apply-generic
with 强制转换,
[2]
with 强制转换 by raising
with 强制转换 of 多重 arguments
with 强制转换 to simplify
with 消息传递
with 塔 of types
apply-primitive-procedure,
[2], [3]
apply-rules
arbiter
arctangent
argl 寄存器
argument passing, 见 按名参数传递; 按需参数传递
参数(s)
arbitrary 数 of,
[2]
delayed
Aristotle's De caelo (Buridan's commentary on)
arithmetic
地址 算术
通用,
参见 通用算术运算
on 复数 numbers
on intervals
on polynomials, 见 多项式算术
on power series,
[2]
on rational numbers
基本 procedures for
articles
ASCII 代码
assemble, [2]
assembler, [2]
assert! (查询 解释器)
断言
隐式
assign (in 寄存器计算机)
simulating
storing 标签 in 寄存器
assign-reg-name
assign-value-exp
赋值, 参见 set!
benefits of
bugs associated with,
[2]
costs of
赋值 运算符,
参见 set!
assignment-value
assignment-variable
assignment?
assoc
atan (基本 过程)
atomic operations supported in 硬件
atomic 需求 for test-and-set!
attach-tag
using Scheme 数据 types
augend
automagically
自动 搜索,
参见 搜索
历史 of
自动 存储分配
average
average dam圆周率ng
average-damp
averager (约束)
B-树
反引号
backtracking,
参见 非确定性计算
Backus, John
Baker, Henry G., Jr.
balanced 二叉树,
参见 二叉树
balanced mobile
bank account, [2]
exchanging balances
joint, [2]
joint, modeled with streams
joint, with concurrent access
password-protected
serialized
流 模型
transferring money
barrier 同步
Barth, John
Basic
restrictions on 复合 数据
weakness in handling 复合 objects
Batali, John Dean
begin (特殊形式)
隐式 in 结果 of cond 与 in 过程 体
begin-actions
begin?
below, [2]
Bertrand's Hypothesis
beside, [2]
bignum
binary numbers, addition of, 见 adder
binary 搜索
二叉树
balanced
converting a 列表 to a
converting to a 列表
for Huffman encoding
represented with lists
sets represented as
表格 structured as
绑定
绑定
deep
binomial coefficients
black box
块结构, [2]
in 环境模型
in 查询 语言
blocked 进程
体 of a 过程
Bolt Beranek 与 Newman Inc.
Borning, Alan
Borodin, Alan
约束变量
box-与-指针 表示法
end-of-列表 marker
branch (in 寄存器计算机)
simulating
分支 of a 树
branch-dest
断点
broken heart
缺陷
capturing a 自由变量
阶 of assignments
side 效果 with aliasing
bureaucracy
Buridan, Jean
busy-waiting
C
com圆周率ling Scheme into
错误 handling,
[2]
递归 procedures
restrictions on 复合 数据
Scheme 解释器 written in,
[2]
ca...r
cache-coherence protocols
cadr
calculator, fixed points with
按名调用 参数 passing,
[2]
按需调用 参数 passing,
[2]
记忆化 与
call-each
cancer of the 分号
canonical 形式, 用于多项式
capturing a 自由变量
car (基本 过程)
axiom for
implemented with vectors
as 列表 操作
origin of the 名称
过程式 实现 of,
[2], [3],
[4], [5]
Carmichael numbers,
[2]
case analysis
数据导向 编程 vs.
general, 参见 cond
with two cases (if)
cd...r
cdr (基本 过程)
axiom for
implemented with vectors
as 列表 操作
origin of the 名称
过程式 实现 of,
[2], [3],
[4], [5]
cdr down a 列表
单元格, in 串行化器 实现
celsius-fahrenheit-converter
表达式-oriented
center
Cesàro, Ernesto
cesaro-stream
cesaro-test
Chaitin, Gregory
Chandah-sutra
change and sameness
meaning of
共享 数据 与
changing money, 见 counting change
chaos in the Solar 系统
Chapman, David
character strings
基本 procedures for,
[2]
引用 of
字符, ASCII encoding
Charniak, Eugene
Chebyshev, Pafnutii L'vovich
chess, eight-queens puzzle,
[2]
chip 实现 of Scheme,
[2]
chronological backtracking
Chu Shih-chieh
Church numerals
Church, Alonzo, [2]
Church-Turing thesis
circuit
digital, 见 数字电路模拟
modeled with streams,
[2]
Clark, Keith L.
子句, of a cond
additional 语法
Clinger, William,
[2]
封闭世界 假设
闭包
in abstract algebra
闭包 性质 of cons
闭包 性质 of 圆周率cture-语言 operations, [2]
lack of in many languages
coal, bituminous
code
ASCII
fixed-length
Huffman, 见 Huffman code
Morse
前缀
变量-length
代码 generator
arguments of
值 of
coeff, [2]
强制转换
in algebraic 操作
in 多项式 算术
过程
表格
Colmerauer, Alain
组合式
组合式 作为运算符 of
复合 表达式 作为运算符 of
求值 of
lambda 表达式 作为运算符 of
作为运算符 of 组合式
as a 树
组合式, means of,
参见 闭包
comma, used with 反引号
comments in programs
Common Lisp
treatment of nil
compacting 垃圾 collector
com圆周率lation, 见 com圆周率ler
com圆周率le
com圆周率le-and-go,
[2]
com圆周率le-and-run
com圆周率le-application
com圆周率le-assignment
com圆周率le-definition
com圆周率le-if
com圆周率le-lambda
com圆周率le-linkage
com圆周率le-proc-appl
com圆周率le-procedure-call
com圆周率le-quoted
com圆周率le-self-evaluating
com圆周率le-sequence
编译-时间 环境,
[2], [3]
open coding 与
com圆周率le-variable
com圆周率led-apply
com圆周率led-procedure-entry
com圆周率led-procedure-env
com圆周率led-procedure?
编译器
解释器 vs.,
[2]
尾递归, 堆栈 allocation, 与 垃圾-collection
编译器 for Scheme,
参见 code generator; com圆周率le-time environment; instruction sequence; linkage descriptor; target register
analyzing 求值器 vs.,
[2]
assignments
code generators, 见 com圆周率le-...
combinations
conditionals
definitions
效率
example 编译
显式-控制 求值器 vs.,
[2], [3]
表达式-语法 procedures
interfacing to 求值器
标签 generation
lambda expressions
词法 addressing
linkage 代码
机器-操作 use
监控 性能 (堆栈 use) of com圆周率led 代码, [2],
[3]
open coding of primitives,
[2]
阶 of operand 求值
过程 applications
quotations
寄存器 use,
[2], [3]
running com圆周率led 代码
scanning out internal definitions,
[2]
self-evaluating expressions
sequences of expressions
堆栈 usage,
[2], [3]
结构 of
tail-递归 代码 generated by
variables
complex 包
complex numbers
polar 表示
rectangular 表示
rectangular vs. polar 形式
represented as tagged 数据
complex->complex
复数-数 算术
interfaced to 通用 算术 系统
结构 of 系统
composition of functions
复合 数据, need for
复合 表达式,
参见 combination; special form
作为运算符 of 组合式
复合 过程,
参见 procedure
used like 基本 过程
复合 查询
处理, [2],
[3], [4],
[5]
compound-apply
compound-procedure?
computability, [2]
computational 进程,
参见 process
计算机科学,
[2]
mathematics vs.,
[2]
concrete 数据 表示
并发
正确性 of concurrent programs
死锁
函数式 编程 与
mechanisms for controlling
cond (特殊形式)
additional 子句 语法
子句
求值 of
if vs.
隐式 begin in 结果
cond->if
cond-actions
cond-clauses
cond-else-clause?
cond-predicate
cond?
conditional expression
cond
if
congruent 取模 n
conjoin
connect, [2]
connector(s), in 约束 系统
operations on
representing
Conniver
cons (基本 过程)
axiom for
闭包 性质 of
implemented with mutators
implemented with vectors
as 列表 操作
meaning of the 名称
过程式 实现 of,
[2], [3],
[4], [5],
[6]
cons up a 列表
cons-stream (特殊形式),
[2]
惰性 求值 与
why a 特殊形式
consciousness, expansion of
consequent
of cond 子句
of if
const (in 寄存器计算机)
simulating
语法 of
constant (基本 约束)
常量, specifying in 寄存器计算机
constant-exp
constant-exp-value
约束 网络
constraint(s)
基本
propagation of
construct-arglist
构造函数
as 抽象 barrier
目录
using Scheme 数据 types
continuation
in 非确定性 求值器,
[2],
参见 failure continuation; success continuation
in 寄存器-机器 simulator
continue 寄存器
在显式控制求值器中
递归 与
continued fraction
e as
golden ratio as
tangent as
控制结构
控制器 for 寄存器计算机
控制器 图
约定 interface
序列 as
Cormen, Thomas H.
corner-split
正确性 of a 程序
cos (基本 过程)
cosine
fixed point of
power series for
cosmic radiation
count-change
count-leaves,
[2]
as accumulation
as 寄存器计算机
count-pairs
counting change, [2]
credit-card accounts, international
Cressey, David
cross-类型 operations
cryptography
cube, [2],
[3]
cube root
as fixed point
by Newton's 方法
cube-root
当前时间, for 模拟 议程表
current-time,
[2]
cycle in 列表
detecting
Darlington, John
数据, [2]
abstract,
参见 数据抽象
abstract models for
algebraic 规约 for
复合
concrete 表示 of
层次,
[2]
列表结构
meaning of
mutable, 见 mutable data objects
数值
过程式 表示 of
as 程序
共享
symbolic
tagged, [2]
数据抽象,
[2], [3],
[4], [5],
参见 metacircular evaluator
for 队列
data base
数据导向 编程 与
indexing, [2]
Insatiable Enterprises personnel
逻辑编程 与
Microshaft personnel
as 集合 of records
数据 paths for 寄存器计算机
数据-path 图
data types
in Lisp
in strongly typed languages
数据导向 编程,
[2]
case analysis vs.
在元循环求值器中
在查询解释器中
数据导向 递归
死锁
avoidance
recovery
调试
decimal point in numbers
声明式 vs. 命令式 knowledge,
[2]
逻辑编程 与,
[2]
非确定性 computing 与
decode
分解 of 程序 into parts
deep 绑定
deep-reverse
deferred operations
define (特殊形式)
with dotted-tail 表示法
环境模型 of
lambda vs.
for procedures,
[2]
syntactic sugar
值 of
why a 特殊形式
define (special form)
internal, 见 internal definition
define-variable!,
[2]
definite integral
estimated with Monte Carlo 模拟, [2]
definition, 见 define; internal definition
definition-value
definition-variable
definition?
deKleer, Johan, [2]
delay (特殊形式)
显式
显式 vs. 自动
实现 using lambda
惰性 求值 与
memoized, [2]
why a 特殊形式
延迟, in 数字电路
delay-it
delayed 参数
delayed 求值,
[2]
赋值 与
显式 vs. 自动
在惰性求值器中
正则-阶 求值 与
打印 与
streams 与
delayed 对象
delete-queue!,
[2]
denom, [2]
axiom for
reducing to lowest terms
dense 多项式
依赖-directed backtracking
deposit , with external 串行化器
deposit message for bank account
深度优先 搜索
deque
deriv (数值)
deriv (symbolic)
数据导向
导数 of a 函数
derived expressions in 求值器
adding to 显式-控制 求值器
设计, stratified
differential 方程,
参见 solve
second-阶,
[2]
differentiation
数值
rules for, [2]
symbolic, [2]
diffusion, 模拟 of
数字 信号
数字-电路 模拟
议程表
议程表 实现
基本 函数 boxes
representing wires
sample 模拟
Dijkstra, Edsger Wybe
Dinesman, Howard P.
Diophantus's 算术, Fermat's copy of
disjoin
dispatching
comparing different styles
on 类型,
参见 data-directed programming
display (基本 过程),
[2]
display-line
display-stream
distinct?
div (通用)
div-complex
div-interval
除法 by zero
div-poly
div-rat
div-series
div-terms
divides?
divisible?
除法 of integers
dog, perfectly rational, 行为 of
DOS/Windows
dot-product
dotted-tail notation
for 过程 parameters,
[2]
in 查询 模式,
[2]
in 查询-语言 规则
read 与
Doyle, Jon
draw-line
driver loop
在显式控制求值器中
在惰性求值器中
在元循环求值器中
in 非确定性 求值器,
[2]
在查询解释器中,
[2]
driver-loop
for 惰性 求值器
for 元循环 求值器
for 非确定性 求值器
e
as continued fraction
as solution to differential 方程
ex, power series for
Earth, measuring circumference of
edge1-frame
edge2-frame
efficiency, 参见 order of growth,
参见 order of growth
of 编译
数据-基 access
求值
of Lisp
of 查询 处理
of 树-递归过程
EIEIO
eight-queens puzzle,
[2]
electrical circuits, modeled with streams, [2]
element-of-set?
binary-树 表示
ordered-列表 表示
unordered-列表 表示
else (special 符号 in cond)
嵌入式 语言, 语言 设计 using
空表
denoted as '()
recognizing with null?
empty 流
empty-agenda?,
[2]
empty-arglist
empty-instruction-sequence
empty-queue?,
[2]
empty-termlist?,
[2]
encapsulated 名称
enclosing 环境
enclosing-environment
encode
end-of-列表 marker
end-segment,
[2]
end-with-linkage
工程 vs. mathematics
entry
enumerate-interval
enumerate-tree
enumerator
env 寄存器
环境, [2]
com圆周率le-time, 见 com圆周率le-time environment
as 上下文 for 求值
enclosing
global, 见 global environment
词法 sco圆周率ng 与
在查询解释器中
renaming vs.
环境模型 求值,
[2]
环境 结构
internal definitions
局部状态
消息传递
元循环 求值器 与
过程-应用 example
rules for 求值
尾递归 与
eq? (基本 过程)
for arbitrary objects
as 相等 of pointers,
[2]
实现 for symbols
数值 相等 与
equ? (通用 谓词)
equal-rat?
equal?
equality
在通用算术系统中
of lists
of numbers, [2],
[3]
referential transparency 与
of symbols
equation, solving, 见 half-interval method; Newton's method; solve
Eratosthenes
error (基本 过程)
error handling
在编译代码中
在显式控制求值器中,
[2]
Escher, Maurits Cornelis
estimate-integral
estimate-圆周率,
[2]
Euclid's 算法,
[2],
参见 greatest common divisor
阶 of growth
用于多项式
Euclid's Elements
Euclid's 证明 of 无穷 数 of primes
Euclidean ring
Euler, Leonhard
证明 of Fermat's Little Theorem
series accelerator
euler-transform
ev-application
ev-assignment
ev-begin
ev-definition
ev-if
ev-lambda
ev-quoted
ev-self-eval
ev-sequence
with 尾递归
without 尾递归
ev-variable
eval (惰性)
eval (元循环),
[2]
analyzing version
数据导向
基本 eval vs.
eval (基本 过程)
MIT Scheme
used 在查询解释器中
eval-assignment
eval-definition
eval-dispatch
eval-if (惰性)
eval-if (元循环)
eval-sequence
evaluation
applicative-order, 见 applicative-order evaluation
delayed, 见 delayed evaluation
environment model of, 见 environment model of evaluation
models of
normal-order, 见 normal-order evaluation
of a 组合式
of and
of cond
of if
of or
of 基本 expressions
of special forms
order of subexpression evaluation, 见 order of evaluation
substitution model of, 见 substitution model of procedure application
求值器, 参见 interpreter
as abstract 机器
元循环
as 通用 机器
evaluators, 见 metacircular evaluator; analyzing evaluator; lazy evaluator; 非确定性求值器; query interpreter; explicit-control evaluator
even-fibs, [2]
even?
evening star, 见 Venus
事件-driven 模拟
evlis 尾递归
exact 整数
exchange
exclamation point 在名称中
execute
execute-application
元循环
非确定性
execution procedure
in analyzing 求值器
in 非确定性 求值器,
[2], [3]
in 寄存器-机器 simulator,
[2]
exp 寄存器
expand-clauses
显式-控制 求值器 for Scheme
assignments
combinations
复合 procedures
conditionals
控制器
数据 paths
definitions
derived expressions
驱动循环
错误 handling,
[2]
expressions with no subexpressions to evaluate
as 机器-语言 程序
机器模型
modified for com圆周率led 代码
监控 性能 (堆栈 use)
正则-阶 求值
operand 求值
operations
optimizations (additional)
基本 procedures
过程 应用
registers
running
sequences of expressions
special forms (additional),
[2]
堆栈 usage
尾递归,
[2], [3]
as 通用 机器
expmod, [2],
[3]
exponential growth
of 树-递归 斐波那契-数 计算
乘幂
取模 n
expression, 参见 compound expression; primitive expression
algebraic, 见 algebraic expressions
self-evaluating
symbolic,
参见 symbol(s)
表达式-oriented vs. 命令式 编程 style
expt
线性 迭代 version
线性 递归 version
寄存器计算机 for
extend-environment,
[2]
extend-if-consistent
extend-if-possible
external-entry
extract-labels,
[2]
#f
阶乘,
参见 factorial
无穷 流
with letrec
without letrec 或 define
factorial
as an abstract 机器
编译 of,
[2]
环境 结构 in evaluating
线性 迭代 version
线性 递归 version
寄存器计算机 for (迭代),
[2]
寄存器计算机 for (递归),
[2]
堆栈 usage, com圆周率led
堆栈 usage, interpreted,
[2]
堆栈 usage, 寄存器计算机
with 赋值
with 高阶 procedures
失败 续延 (非确定性 求值器), [2]
constructed by amb
constructed by 赋值
constructed by 驱动循环
失败, in 非确定性 计算
缺陷 vs.
搜索ing 与
false
false
false?
fast-expt
fast-prime?
feedback 循环, modeled with streams
Feeley, Marc
Feigenbaum, Edward
Fenichel, Robert
Fermat, Pierre de
Fermat test for primality
variant of
Fermat's Little Theorem
alternate 形式
证明
fermat-test
fetch-assertions
fetch-rules
fib
线性 迭代 version
logarithmic version
寄存器计算机 for (树-递归), [2]
堆栈 usage, com圆周率led
堆栈 usage, interpreted
树-递归 version,
[2]
with 记忆化
with named let
斐波那契 numbers,
参见 fib
Euclid's GCD 算法 与
infinite stream of, 见 fibs
fibs (无穷 流)
隐式 定义
FIFO buffer
过滤器, [2]
filter
filtered-accumulate
find-assertions
find-divisor
first-agenda-item,
[2]
一等 elements in 语言
first-exp
first-frame
first-operand
first-segment
first-term,
[2]
fixed point
computing with calculator
of cosine
cube 根 as
fourth 根 as
golden ratio as
as 迭代 improvement
in Newton's 方法
nth 根 as
平方根 as,
[2], [3]
of transformed 函数
合一 与
fixed-length 代码
fixed-point
as 迭代 improvement
fixed-point-of-transform
flag 寄存器
flatmap
flatten-stream
flip-horiz,
[2]
flip-vert, [2]
flipped-pairs,
[2], [3]
Floyd, Robert
fold-left
fold-right
for-each, [2]
for-each-except
Forbus, Kenneth D.
force, [2]
forcing a thunk vs.
强制 a thunk
force-it
memoized version
forget-value!,
[2]
形式 parameters
names of
作用域 of
formatting 输入 expressions
Fortran, [2]
inventor of
restrictions on 复合 数据
forwarding 地址
fourth 根, as fixed point
fraction, 见 rational number(s)
框架 (环境模型)
as repository of 局部状态
global
框架 (圆周率cture 语言),
[2]
coordinate 映射
框架 (查询 解释器),
参见 pattern matching; unification
表示
frame-coord-map
frame-values
frame-variables
framed-堆栈 discipline
Franz Lisp
free 寄存器,
[2]
free 列表
自由变量
capturing
in 内部定义
Friedman, Daniel P.,
[2]
fringe
as a 树 enumeration
front-ptr
front-queue,
[2]
full-adder
full-adder
function (mathematical)
表示法 for
Ackermann's
composition of
导数 of
fixed point of
过程 vs.
rational
repeated 应用 of
smoothing of
函数 box, in 数字电路
函数式 编程,
[2]
并发 与
函数式 编程 languages
时间 与
Gabriel, Richard P.
垃圾回收
记忆化 与
mutation 与
尾递归 与
garbage collector
compacting
mark-sweep
stop-与-copy
GCD, 见 greatest common divisor
gcd
寄存器计算机 for,
[2]
gcd-terms
general-purpose 计算机, as 通用 机器
generate-huffman-tree
generating sentences
通用 算术 operations
结构 of 系统
通用 操作
通用 过程,
[2]
通用 选择函数,
[2]
Genesis
get, [2]
get-contents
get-global-environment
get-register
get-register-contents,
[2]
get-signal,
[2]
get-value, [2]
glitch
global 环境,
[2]
在元循环求值器中
global 框架
Goguen, Joseph
golden ratio
as continued fraction
as fixed point
Gordon, Michael
goto (in 寄存器计算机)
标签 as 目的地
simulating
goto-dest
语法
graphics, 见 圆周率cture language
Gray, Jim
greatest common divisor,
参见 gcd
通用
of polynomials
used to estimate
used in rational-数 算术
Green, Cordell
Griss, Martin Lewis
Guttag, John Vogel
half-adder
half-adder
模拟 of
half-interval 方法
half-interval-method
Newton's 方法 vs.
halting 问题
Halting Theorem
Hamming, Richard Wesley,
[2]
Hanson, Christopher P.,
[2]
Hardy, Godfrey Harold,
[2]
has-value?,
[2]
Hassle
Havender, J.
Haynes, Christopher T.
headed 列表, [2]
Hearn, Anthony C.
Henderson, Peter,
[2], [3]
Henderson 图
Heraclitus
Heron of Alexandria
Hewitt, Carl Eddie,
[2], [3],
[4]
hiding principle
层次 数据 structures,
[2]
层次结构 of types
in 符号代数
inadequacy of
high-level 语言, 机器语言 vs.
高阶 procedures
在元循环求值器中
过程 as 参数
过程 as general 方法
过程 as returned 值
strong ty圆周率ng 与
Hilfinger, Paul
Hoare, Charles Antony Richard
Hodges, Andrew
Hofstadter, Douglas R.
Horner, W. G.
Horner's 规则
``how to'' vs. ``what is'' description, 见 imperative vs. declarative knowledge
Huffman 代码
optimality of
阶 of growth of encoding
Huffman, David
Hughes, R. J. M.
IBM 704
identity
if (特殊形式)
cond vs.
求值 of
正则-阶 求值 of
one-armed (without 分支)
谓词, 结果, 与 分支 of
why a 特殊形式
if-alternative
if-consequent
if-predicate
if?
imag-part
数据导向
polar 表示
rectangular 表示
with tagged 数据
imag-part-polar
imag-part-rectangular
命令式 编程
命令式 vs. 声明式 knowledge,
[2]
逻辑编程 与,
[2]
非确定性 computing 与
命令式 vs. 表达式-oriented 编程 style
implementation dependencies, 参见 unspecified values
numbers
阶 of 子表达式 求值
inc
增量 development of programs
indeterminate of a 多项式
indexing a 数据 基,
[2]
推理, 方法 of
无穷 series
无穷 流(s)
合并, [2],
[3], [4]
合并 as a 关系
of factorials
of Fibonacci numbers, 见 fibs
of integers, 见 integers
of pairs
of prime numbers, 见 primes
of 随机 numbers
representing power series
to 模型 signals
to sum a series
infix 表示法, 前缀 表示法 vs.
inform-about-no-value
inform-about-value
information retrieval, 见 data base
Ingerman, Peter
initialize-stack 操作 in 寄存器计算机, [2]
insert!
in one-dimensional 表格
in two-dimensional 表格
insert-queue!,
[2]
install-complex-package
install-polar-package
install-polynomial-package
install-rational-package
install-rectangular-package
install-scheme-number-package
instantiate
instantiate a 模式
指令 counting
指令 执行 过程
指令 序列,
[2]
指令 tracing
instruction-execution-proc
instruction-text
整数(s)
dividing
exact
integerizing factor
integers (无穷 流)
隐式 定义
惰性-列表 version
integers-starting-from
integral, 参见 definite integral; Monte Carlo integration
of a power series
integral, [2],
[3]
with delayed 参数
with lambda
惰性-列表 version
need for delayed 求值
integrate-series
integrated-电路 实现 of Scheme, [2]
integrator, for signals
interleave
interleave-delayed
Interlisp
内部定义
in 环境模型
自由变量 in
let vs.
in 非确定性 求值器
位置 of
restrictions on
scanning out
作用域 of 名称
Internet ``Worm''
interning symbols
解释器, 参见 evaluator
编译器 vs.,
[2]
read-eval-print 循环
intersection-set
binary-树 表示
ordered-列表 表示
unordered-列表 表示
interval 算术
invariant quantity of an 迭代过程
反相器
inverter
iteration contructs, 见 loo圆周率ng constructs
迭代 improvement
迭代过程
as a 流 进程
设计 of 算法
implemented by 过程 调用,
[2], [3],
参见 tail recursion
线性, [2]
递归过程 vs.,
[2], [3],
[4]
寄存器计算机 for
Kaldewaij, Anne
Karr, Alphonse
Kepler, Johannes
key
key of a record
in a 数据 基
in a 表格
测试 相等 of
Khayyam, Omar
Knuth, Donald E., [2],
[3], [4],
[5], [6],
[7]
Kohlbecker, Eugene Edmund, Jr.
Kolmogorov, A. N.
Konopasek, Milos
Kowalski, Robert
KRC, [2]
label (in 寄存器计算机)
simulating
label-exp
label-exp-label
Lagrange interpolation formula
calculus (lambda 演算)
lambda (特殊形式)
define vs.
with dotted-tail 表示法
lambda expression
作为运算符 of 组合式
值 of
lambda-body
lambda-parameters
lambda?
Lambert, J.H.
Lamé, Gabriel
Lamé's Theorem
Lamport, Leslie
Lampson, Butler
Landin, Peter, [2]
language, 见 natural language; programming language
Lapalme, Guy
last-exp?
last-operand?
last-pair, [2]
rules
惰性 求值
惰性 求值器
惰性 列表
惰性 序对
惰性 树
leaf?
least commitment, principle of
lecture, something to do during
left-branch,
[2]
Leibniz, Baron Gottfried Wilhelm von
证明 of Fermat's Little Theorem
series for ,
[2]
Leiserson, Charles E.,
[2]
length
as accumulation
迭代 version
递归 version
let (特殊形式)
求值 模型
内部定义 vs.
named
作用域 of variables
as syntactic sugar,
[2]
let* (特殊形式)
letrec (特殊形式)
词法 addressing
词法 地址
词法 sco圆周率ng
环境 结构 与
lexical-address-lookup,
[2]
lexical-address-set!,
[2]
Lieberman, Henry
LIFO buffer, 见 stack
line segment
represented as 序对 of points
represented as 序对 of vectors
线性 growth, [2]
线性 迭代过程
阶 of growth
线性 递归过程
阶 of growth
linkage descriptor
Liskov, Barbara Huberman
Lisp
acronym for 列表 处理
applicative-阶 求值 in
on DEC PDP-1
效率 of, [2]
一等 procedures in
Fortran vs.
历史 of
internal 类型 系统
original 实现 on IBM 704
Pascal vs.
suitability for writing evaluators
唯一 features of
Lisp dialects
Common Lisp
Franz Lisp
Interlisp
MacLisp
MDL
Portable Standard Lisp
Scheme
Zetalisp
lisp-value (查询 解释器)
lisp-value (查询 语言),
[2]
求值 of,
[2], [3]
list (基本 过程)
列表结构
列表 vs.
mutable
represented using vectors
列表(s)
反引号 with
cdring down
combining with append
consing up
converting a 二叉树 to a
converting to a 二叉树
empty, 见 empty list
相等 of
headed, [2]
last 序对 of
惰性
length of
列表结构 vs.
操作 with car, cdr, 与 cons
map圆周率ng over
nth element of
operations on
printed 表示 of
引用 of
reversing
techniques for manipulating
list->tree
list-difference
list-of-arg-values
list-of-delayed-args
list-of-values
list-ref, [2]
列表结构 内存
list-union
lives-near (规则),
[2]
局部 evolution of a 进程
局部 名称, [2]
局部状态
maintained in frames
局部状态 变量
局部 变量
位置
Locke, John
log (基本 过程)
logarithm, approximating ln 2
logarithmic growth,
[2], [3]
逻辑编程,
参见 query language; query interpreter
computers for
历史 of, [2]
in Japan
逻辑编程 languages
数学 logic vs.
logic puzzles
逻辑 与
逻辑 或
logical-not
lookup
in one-dimensional 表格
in 集合 of records
in two-dimensional 表格
lookup-label
lookup-prim
lookup-variable-value,
[2]
for scanned-out definitions
loo圆周率ng constructs,
[2]
implementing 在元循环求值器中
lower-bound
机器语言
high-level 语言 vs.
Macintosh
MacLisp
宏,
参见 reader macro character
magician, 见 numerical analyst
magnitude
数据导向
polar 表示
rectangular 表示
with tagged 数据
magnitude-polar
magnitude-rectangular
make-account
in 环境模型
with serialization,
[2], [3]
make-account-and-serializer
make-accumulator
make-agenda,
[2]
make-assign
make-begin
make-branch
make-center-percent
make-center-width
make-code-tree
make-com圆周率led-procedure
make-complex-from-mag-ang
make-complex-from-real-imag
make-connector
make-cycle
make-decrementer
make-execution-procedure
make-frame,
[2], [3]
make-from-mag-ang,
[2]
消息传递
polar 表示
rectangular 表示
make-from-mag-ang-polar
make-from-mag-ang-rectangular
make-from-real-imag,
[2]
消息传递
polar 表示
rectangular 表示
make-from-real-imag-polar
make-from-real-imag-rectangular
make-goto
make-if
make-instruction
make-instruction-sequence
make-interval,
[2]
make-joint
make-label
make-label-entry
make-lambda
make-leaf
make-leaf-set
make-machine,
[2]
make-monitored
make-mutex
make-new-machine
make-operation-exp
make-perform
make-point
make-poly
make-polynomial
make-primitive-exp
make-procedure
make-product,
[2]
make-queue,
[2]
make-rat, [2],
[3]
axiom for
reducing to lowest terms
make-rational
make-register
make-restore
make-save
make-scheme-number
make-segment,
[2]
make-serializer
make-simplified-withdraw,
[2]
make-stack
with monitored 堆栈
make-sum, [2]
make-table
消息传递 实现
one-dimensional 表格
make-tableau
make-term, [2]
make-test
make-time-segment
make-tree
make-vect
make-wire, [2],
[3]
make-withdraw
in 环境模型
using let
making change, 见 counting change
map, [2]
as accumulation
with 多重 arguments
map-over-symbols
map-successive-pairs
map圆周率ng
over lists
嵌套, [2]
as a transducer
over trees
mark-sweep 垃圾 collector
mathematical function, 见 function (mathematical)
mathematics
计算机科学 vs.,
[2]
工程 vs.
矩阵, represented as 序列
matrix-*-matrix
matrix-*-vector
max (基本 过程)
McAllester, David Allen,
[2]
McCarthy, John, [2],
[3], [4]
McDermott, Drew
MDL
means of 抽象
define
组合手段,
参见 闭包
measure in a Euclidean ring
member
memo-fib
memo-proc
记忆化, [2]
按需调用 与
by delay
垃圾回收 与
of thunks
memoize
memory
in 1964
列表结构
memq
merge
merge-weighted
merging infinite streams, 见 infinite stream(s)
消息传递, [2]
环境模型 与
in bank account
in 数字-电路 模拟
尾递归 与
元循环 求值器
元循环 求值器 for Scheme
analyzing version
combinations (过程 applications)
编译 of,
[2]
数据抽象 in,
[2], [3],
[4]
数据导向 eval
derived expressions
驱动循环
效率 of
环境模型 求值 in
环境 operations
eval 与 apply
eval-apply cycle,
[2]
表达式 表示,
[2]
global 环境
高阶 procedures in
implemented 语言 vs. 实现 语言
job of
阶 of operand 求值
基本 procedures
表示 of environments
表示 of procedures
表示 of true 与 false
running
special forms (additional),
[2], [3],
[4], [5],
[6]
special forms as derived expressions
symbolic 微分 与
语法 of evaluated 语言,
[2], [3]
tail recursiveness unspecified in
true 与 false
元语言 抽象
MicroPlanner
Microshaft
midpoint-segment
Miller, Gary L.
Miller, James S.
Miller-Rabin test for primality
Milner, Robin
min (基本 过程)
Minsky, Marvin Lee, [2]
Miranda
MIT
Artificial Intelligence Laboratory
early 历史 of
Project MAC
Re搜索 Laboratory of Electronics,
[2]
MIT Scheme
the empty 流
eval
internal definitions
numbers
random
user-initial-environment
without-interrupts
ML
mobile
modeling
as a 设计 strategy
in science 与 工程
models 求值
modified registers, 见 instruction sequence
modifies-register?
模块化, [2]
along 对象 boundaries
函数式 programs vs. objects
hiding principle
streams 与
through dispatching on 类型
through 无穷 streams
through modeling with objects
取模 n
modus ponens
money, changing, 见 counting change
monitored 过程
Monte Carlo integration
流 formulation
Monte Carlo 模拟
流 formulation
monte-carlo
无穷 流
Moon, David A., [2]
morning star, 见 evening star
Morris, J. H.
Morse 代码
Mouse, Minnie 与 Mickey
mul (通用)
用于多项式系数
mul-complex
mul-interval
more efficient version
mul-poly
mul-rat
mul-series
mul-streams
mul-terms
Multics 时间-sharing 系统
multiple-dwelling
multiplicand
multiplication by Russian peasant 方法
multiplier
基本 约束
选择函数
Munro, Ian
mutable 数据 objects,
参见 queue; table
implemented with 赋值
列表结构
pairs
过程式 表示 of
共享 数据
mutator
互斥
相互 exclusion
mystery
name, 参见 local name; variable; local variable
encapsulated
of a 形式 参数
of a 过程
named let (特殊形式)
naming
of computational objects
of procedures
naming conventions
! for 赋值 与 mutation
? for predicates
native 语言 of 机器
natural language
parsing, 见 parsing natural language
引用 in
needed registers, 见 instruction sequence
needs-register?
negate
嵌套 applications of car 与 cdr
嵌套 combinations
nested definitions, 见 internal definition
nested map圆周率ngs, 见 map圆周率ng
new 寄存器
new-cars 寄存器
new-cdrs 寄存器
new-withdraw
newline (基本 过程),
[2]
Newton's method
for cube roots
for differentiable functions
half-interval 方法 vs.
for square roots,
[2], [3]
newton-transform
newtons-method
下一页 (linkage descriptor)
next-to (rules)
nil
dispensing with
as 空表
as end-of-列表 marker
as ordinary 变量 在 Scheme 中
no-more-exps?
no-operands?
节点 of a 树
non-computable
非严格
nondeterminism, in 行为 of concurrent programs, [2]
非确定性 choice point
非确定性 computing
非确定性 求值器
阶 of operand 求值
非确定性 编程 vs. Scheme 编程, [2],
[3], [4]
nondeterministic programs
logic puzzles
pairs with prime sums
parsing natural 语言
Pythagorean triples,
[2], [3]
正则-阶 求值
应用序 vs.,
[2], [3]
delayed 求值 与
在显式控制求值器中
of if
normal-order evaluator, 见 lazy evaluator
not (基本 过程)
not (查询 语言),
[2]
求值 of,
[2], [3]
notation in this book
italic symbols in 表达式 语法
slanted characters for 解释器 响应
nouns
nth 根, as fixed point
null? (基本 过程)
implemented with typed pointers
数 理论
number(s)
comparison of
decimal point in
相等 of, [2],
[3]
在通用算术系统中
实现 dependencies
整数 vs. 实数
整数, exact
in Lisp
有理数
number? (基本 过程)
数据 types 与
implemented with typed pointers
numer, [2]
axiom for
reducing to lowest terms
数值 analysis
数值 analyst
数值 数据
obarray
对象 程序
对象(s)
benefits of modeling with
with 时间-varying 状态
面向对象 编程 languages
old 寄存器
oldcr 寄存器
ones (无穷 流)
惰性-列表 version
op (in 寄存器计算机)
simulating
open coding of primitives,
[2]
operands
operands of a 组合式
operation
cross-类型
通用
in 寄存器计算机
操作-与-类型 表格
赋值 needed for
implementing
operation-exp
operation-exp-op
operation-exp-operands
operator
运算符 of a 组合式
组合式 as
复合 表达式 as
lambda 表达式 as
optimality
of Horner's 规则
of Huffman 代码
or (查询 语言)
求值 of,
[2]
or (特殊形式)
求值 of
why a 特殊形式
with no subexpressions
或门
or-gate,
[2]
order, [2]
阶 表示法
order of evaluation
赋值 与
实现-dependent
in 编译器
在显式控制求值器中
在元循环求值器中
在 Scheme 中
order of events
decoupling apparent from actual
indeterminacy in concurrent systems
阶 of growth
线性 迭代过程
线性 递归过程
logarithmic
树-递归过程
order of subexpression evaluation, 见 order of evaluation
ordered-列表 表示 of sets
ordinary numbers (在通用算术系统中)
origin-frame
Ostrowski, A. M.
outranked-by (规则),
[2]
P 操作 on semaphore
包
复数-数
polar 表示
多项式
rational-数
rectangular 表示
Scheme-数
painter(s)
高阶 operations
operations
represented as procedures
transforming 与 combining
序对(s)
axiomatic 定义 of
box-与-指针 表示法 for
无穷 流 of
惰性
mutable
过程式 表示 of,
[2], [3]
represented using vectors
used to represent 序列
used to represent 树
pair? (基本 过程)
implemented with typed pointers
pairs
Pan, V. Y.
parallel-execute
parallel-instruction-sequences
parallelism, 见 concurrency
parameter, 见 formal parameters
parameter passing, 见 按名参数传递; 按需参数传递
parentheses
delimiting 组合式
delimiting cond clauses
in 过程 定义
parse
parse-...
parsing natural 语言
real 语言 understanding vs. toy parser
partial-sums
Pascal
lack of 高阶 procedures
递归 procedures
restrictions on 复合 数据
weakness in handling 复合 objects
Pascal, Blaise
Pascal's triangle
password-protected bank account
模式
模式匹配
实现
合一 vs.,
[2]
模式 变量
表示 of,
[2]
pattern-match
pc 寄存器
perform (in 寄存器计算机)
simulating
perform-action
Perlis, Alan J., [2]
quips, [2]
permutations of a 集合
permutations
Phillips, Hubert
(圆周率)
approximation with half-interval 方法
approximation with Monte Carlo integration, [2]
Cesàro estimate for,
[2]
Leibniz's series for,
[2]
流 of approximations
Wallis's formula for
圆周率-stream
圆周率-sum
with 高阶 procedures
with lambda
圆周率cture 语言
Pingala, Áchárya
圆周率pelining
Pitman, Kent M.
Planner
point, represented as a 序对
pointer
in box-与-指针 表示法
typed
polar 包
polar?
poly
polynomial 包
多项式 算术
addition
除法
Euclid's 算法
greatest common divisor,
[2]
interfaced to 通用 算术 系统
multiplication
probabilistic 算法 for GCD
rational functions
subtraction
多项式(s)
canonical 形式
dense
evaluating with Horner's 规则
层次结构 of types
indeterminate of
sparse
univariate
pop
Portable Standard Lisp
porting a 语言
power series, as 流
adding
dividing
integrating
multiplying
PowerPC
谓词
of cond 子句
of if
naming 约定 for
前缀 代码
前缀 表示法
infix 表示法 vs.
prepositions
preserving,
[2], [3],
[4]
pretty-打印
prime 数(s)
cryptography 与
Eratosthenes's sieve for
Fermat test for
infinite stream of, 见 primes
Miller-Rabin test for
测试 for
prime-sum-pair
prime-sum-pairs
无穷 流
prime?, [2]
primes (无穷 流)
隐式 定义
基本 constraints
基本 表达式
求值 of
名称 of 基本 过程
名称 变量
数
primitive procedures (those marked ns are not in the IEEE Scheme standard)
*
+
-, [2]
/
<
=
>
apply
atan
car
cdr
cons
cos
display
eq?
error (ns)
eval (ns)
list
log
max
min
newline
not
null?
number?
pair?
quotient
random (ns),
[2]
read
remainder
round
runtime (ns)
set-car!
set-cdr!
sin
symbol?
vector-ref
vector-set!
primitive query, 见 simple query
primitive-apply
primitive-implementation
primitive-procedure-names
primitive-procedure-objects
primitive-procedure?,
[2]
principle of least commitment
print 操作 in 寄存器计算机
print-point
print-queue
print-rat
print-result
monitored-堆栈 version
print-stack-statistics 操作 in 寄存器计算机
打印, primitives for
probabilistic 算法,
[2], [3]
probe
in 约束 系统
in 数字-电路 simulator
proc 寄存器
过程式 抽象
过程式 表示 数据
mutable 数据
过程, [2]
anonymous
arbitrary 数 of arguments,
[2]
as 参数
as black box
体 of
复合
creating with define
creating with lambda,
[2], [3]
作为数据
定义 of
一等 in Lisp
形式 parameters of
as general 方法
通用, [2]
higher-order, 见 higher-order procedure
隐式 begin in 体 of
数学 函数 vs.
memoized
monitored
名称 of
naming (with define)
as 模式 for 局部 evolution of a 进程
as returned 值
returning 多重 values
作用域 of 形式 parameters
特殊形式 vs.,
[2]
procedure application
组合式 denoting
环境模型 of
substitution model of, 见 substitution model of procedure application
procedure-body
procedure-environment
procedure-parameters
进程
迭代
线性 迭代
线性 递归
局部 evolution of
阶 of growth of
递归
resources required by
shape of
树-递归
product
as accumulation
product?
程序
as abstract 机器
comments in
作为数据
增量 development of
结构 of, [2],
[3],
参见 abstraction barriers
structured with subroutines
程序 计数器
programming
data-directed, 见 data-directed programming
demand-driven
elements of
functional, 见 functional programming
命令式
odious style
编程语言
设计 of
函数式
logic
面向对象
strongly typed
very high-level
Prolog, [2]
prompt-for-input
prompts
显式-控制 求值器
惰性 求值器
元循环 求值器
非确定性 求值器
查询 解释器
propagate
propagation of constraints
proving programs correct
pseudo-随机 序列
pseudodivision of polynomials
pseudoremainder of polynomials
push
put, [2]
puzzles
eight-queens puzzle,
[2]
logic puzzles
Pythagorean triples
with 非确定性 programs,
[2], [3]
with streams
qeval, [2]
quantum mechanics
quasiquote
queens
查询,
参见 simple query; compound query
查询 解释器
adding 规则 或 断言
compound query, 见 compound query
数据 基
驱动循环,
[2]
环境 结构 in
框架, [2]
improvements to,
[2], [3]
无穷 loops,
[2]
instantiation
Lisp 解释器 vs.,
[2], [3]
overview
模式匹配,
[2]
模式-变量 表示,
[2]
problems with not 与 lisp-value, [2]
查询 求值器,
[2]
rule, 见 rule
simple query, 见 simple query
流 operations
streams of frames,
[2]
语法 of 查询 语言
合一,
[2]
查询 语言, [2]
抽象 in
compound query, 见 compound query
数据 基
相等 测试 in
extensions to,
[2]
逻辑 deductions
数学 logic vs.
rule, 见 rule
simple query, 见 simple query
query-driver-loop
question mark, in 谓词 names
队列
double-ended
front of
operations on
过程式 实现 of
rear of
in 模拟 议程表
引用
of 字符 strings
of Lisp 数据 objects
in natural 语言
引用 mark, single vs. double
quote (特殊形式)
read 与,
[2]
quoted?
quotient (基本 过程)
Rabin, Michael O.
radicand
Ramanujan numbers
Ramanujan, Srinivasa
rand
with reset
random (基本 过程)
赋值 needed for
MIT Scheme
random-in-range
随机-数 generator,
[2]
in Monte Carlo 模拟
in primality 测试
with reset
with reset, 流 version
random-numbers (无穷 流)
Raphael, Bertram
rational 包
rational 函数
reducing to lowest terms
rational number(s)
算术 operations on
in MIT Scheme
打印
reducing to lowest terms,
[2]
represented as pairs
rational-数 算术
interfaced to 通用 算术 系统
need for 复合 数据
Raymond, Eric, [2]
RC 电路
read (基本 过程)
dotted-tail 表示法 handling by
宏 characters
read 操作 in 寄存器计算机
read-eval-print 循环,
参见 driver loop
read-eval-print-loop
读取器 宏 字符
实数
real-part
数据导向
polar 表示
rectangular 表示
with tagged 数据
real-part-polar
real-part-rectangular
rear-ptr
receive 过程
record, in a 数据 基
rectangle, representing
rectangular 包
rectangular?
递归
数据导向
expressing complicated 进程
in rules
in 工作 with trees
递归 equations
递归 理论
recursive procedure
递归过程 定义
递归过程 vs.
specifying without define
递归过程
迭代过程 vs.,
[2], [3],
[4]
线性, [2]
递归过程 vs.
寄存器计算机 for
树, [2]
red-black 树
reducing to lowest terms,
[2], [3]
Rees, Jonathan A.,
[2]
referential transparency
reg (in 寄存器计算机)
simulating
寄存器计算机
actions
控制器
控制器 图
数据 paths
数据-path 图
设计 of
语言 for describing
监控 性能
simulator
堆栈
子程序
test 操作
寄存器 表格, in simulator
寄存器(s)
representing
tracing
register-exp
register-exp-reg
register-machine language
assign,
[2]
branch,
[2]
const,
[2], [3]
entry point
goto, [2]
instructions,
[2]
标签
label,
[2]
op, [2]
perform,
[2]
reg, [2]
restore,
[2]
save, [2]
test, [2]
寄存器-机器 simulator
registers-modified
registers-needed
relations, computing in terms of,
[2]
relatively prime
relativity, 理论 of
释放 a 互斥
remainder (基本 过程)
余数 取模 n
remainder-terms
remove
remove-first-agenda-item!,
[2]
require
as a 特殊形式
reserved words, [2]
resistance
formula for 并行 resistors,
[2]
tolerance of resistors
归结 principle
归结, Horn-子句
rest-exps
rest-operands
rest-segments
rest-terms,
[2]
restore (in 寄存器计算机),
[2]
implementing
simulating
return (linkage descriptor)
returning 多重 values
Reuter, Andreas
reverse
as folding
rules
Rhind Papyrus
right-branch,
[2]
right-split
ripple-carry adder
Rivest, Ronald L.,
[2]
RLC 电路
Robinson, J. A.
robustness
rock songs, 1950s
Rogers, William Barton
root 寄存器
roots of equation, 见 half-interval method; Newton's method
rotate90
round (基本 过程)
roundoff 错误, [2]
Rozas, Guillermo Juan
RSA 算法
规则 (查询 语言)
applying, [2],
[3]
without 体,
[2], [3]
Runkle, John Daniel
runtime (基本 过程)
Russian peasant 方法 of multiplication
same (规则)
same-variable?,
[2]
sameness and change
meaning of
共享 数据 与
满足 a 复合 查询
满足 a 模式 (simple 查询)
save (in 寄存器计算机),
[2]
implementing
simulating
scale-list,
[2], [3]
scale-stream
scale-tree,
[2]
scale-vect
scan 寄存器
scan-out-defines
scanning out internal definitions
in 编译器,
[2]
Scheme
历史 of
Scheme chip, [2]
scheme-number 包
scheme-number->complex
scheme-number->scheme-number
Schmidt, Eric
作用域 of a 变量,
参见 lexical sco圆周率ng
internal define
in let
过程's 形式 parameters
搜索
of 二叉树
深度优先
systematic
搜索
secretary, importance of
segment-queue
segment-time
segments
segments->painter
选择函数
as 抽象 barrier
通用, [2]
self-evaluating 表达式
self-evaluating?
semaphore
of size n
分号
注释 introduced by
separator 代码
序列 accelerator
sequence of expressions
in 结果 of cond
in 过程 体
序列(s)
as 约定 interface
as 源 of 模块化
operations on
represented by pairs
sequence->exp
serialized-exchange
with 死锁 avoidance
串行化器
implementing
with 多重 共享 resources
series, 求和 of
accelerating 序列 of approximations
with streams
集合
set
(special form), 参见 assignment
数据 基 as
operations on
permutations of
represented as 二叉树
represented as ordered 列表
represented as unordered 列表
subsets of
set! (特殊形式)
环境模型 of
值 of
set-car! (基本 过程)
implemented with vectors
过程式 实现 of
值 of
set-cdr! (基本 过程)
implemented with vectors
过程式 实现 of
值 of
set-contents!
set-current-time!
set-front-ptr!
set-instruction-execution-proc!
set-rear-ptr!
set-register-contents!,
[2]
set-segments!
set-signal!,
[2]
set-value!,
[2]
set-variable-value!,
[2]
setup-environment
遮蔽 a 绑定
Shamir, Adi
shape of a 进程
共享 数据
共享 resources
共享 状态
shrink-to-upper-right
Shrobe, Howard E.
副作用 缺陷
sieve of Eratosthenes
sieve
sum (sigma) 表示法
signal processing
smoothing a 函数
smoothing a 信号,
[2]
流 模型 of
zero crossings of a 信号,
[2], [3]
信号, 数字
signal-error
信号-flow 图,
[2]
信号-处理 view of 计算
simple 查询
处理, [2],
[3], [4]
simple-query
简化 of algebraic expressions
Simpson's 规则 for 数值 integration
simulation
of digital circuit, 见 数字电路模拟
事件-driven
as 机器-设计 工具
for 监控 性能 of 寄存器计算机
Monte Carlo, 见 Monte Carlo simulation
of register machine, 见 register-machine simulator
sin (基本 过程)
sine
approximation for small angle
power series for
singleton-stream
SKETCHPAD
smallest-divisor
more efficient version
Smalltalk
smoothing a 函数
smoothing a 信号,
[2]
snarf
Solar 系统's chaotic dynamics
Solomonoff, Ray
solve differential 方程,
[2]
惰性-列表 version
with scanned-out definitions
solving equation, 见 half-interval method; Newton's method; solve
源 语言
源 程序
Spafford, Eugene H.
sparse 多项式
特殊形式
as derived 表达式 in 求值器
need for
过程 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 环境模型
as fixed point,
[2], [3],
[4]
as 迭代 improvement
with Newton's 方法,
[2]
寄存器计算机 for
as 流 limit
sqrt-stream
square
in 环境模型
平方根, 参见 sqrt
流 of approximations
square-limit,
[2]
square-of-four
squarer (约束),
[2]
squash-inwards
堆栈
framed
for 递归 in 寄存器计算机
representing,
[2]
堆栈 allocation 与 尾递归
stack-inst-reg-name
Stallman, Richard M.,
[2]
start 寄存器计算机,
[2]
start-eceval
start-segment,
[2]
state
local, 见 local state
共享
vanishes in 流 formulation
状态 变量, [2]
局部
statements, 见 instruction sequence
statements
Steele, Guy Lewis Jr.,
[2], [3],
[4], [5],
[6]
stop-与-copy 垃圾 collector
Stoy, Joseph E., [2],
[3]
Strachey, Christopher
stratified 设计
流(s), [2]
delayed 求值 与
empty
implemented as delayed lists
implemented as 惰性 lists
隐式 定义
infinite, 见 infinite streams
used 在查询解释器中,
[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 多重 arguments
stream-null?
in MIT Scheme
stream-ref
stream-withdraw
strict
string, 见 character string
strongly typed 语言
sub (通用)
sub-complex
sub-interval
sub-rat
sub-vect
子程序 in 寄存器计算机
subsets of a 集合
替换 模型 过程 应用, [2]
inadequacy of
shape 进程
subtype
多重
success 续延 (非确定性 求值器), [2]
successive squaring
sum
as accumulation
迭代 version
sum-cubes
with 高阶 procedures
sum-integers
with 高阶 procedures
sum-odd-squares,
[2]
sum-of-squares
in 环境模型
sum-primes,
[2]
sum?
求和 of a series
with streams
supertype
多重
Sussman, Gerald Jay,
[2], [3],
[4], [5],
[6], [7]
Sussman, Julie Esther Mazel, nieces of
Sutherland, Ivan
符号(s)
相等 of
interning
引用 of
表示 of
uniqueness of
symbol-leaf
symbol? (基本 过程)
数据 types 与
implemented with typed pointers
符号代数
symbolic 微分,
[2]
symbolic 表达式,
参见 symbol(s)
symbols
SYNC
synchronization, 见 concurrency
syntactic analysis, separated from execution
在元循环求值器中
in 寄存器-机器 simulator,
[2]
syntactic sugar
define
let as
loo圆周率ng constructs as
过程 vs. 数据 as
syntax, 参见 special forms
abstract, 见 abstract syntax
of expressions, describing
of a 编程语言
语法 interface
systematic 搜索
#t
表格
backbone of
for 强制转换
for 数据导向 编程
局部
n-dimensional
one-dimensional
operation-and-type, 见 operation-and-type table
represented as 二叉树 vs. unordered 列表
测试 相等 of keys
two-dimensional
used in 模拟 议程表
used to store computed values
tableau
tabulation, [2]
tack-on-instruction-sequence
tagged 体系结构
tagged 数据, [2]
tagged-list?
尾递归
编译器 与
环境模型 求值 与
显式-控制 求值器 与,
[2], [3]
垃圾回收 与
元循环 求值器 与
在 Scheme 中
tail-递归 求值器
tangent
as continued fraction
power series for
目标 寄存器
Technological University of Eindhoven
Teitelman, Warren
项 列表 of 多项式
representing
term-list
终端 节点 of a 树
test (in 寄存器计算机)
simulating
test 操作 in 寄存器计算机
test-and-set!,
[2]
test-condition
text-of-quotation
Thatcher, James W.
THE Multiprogramming 系统
the-cars
寄存器, [2]
向量
the-cdrs
寄存器, [2]
向量
the-empty-stream
in MIT Scheme
the-empty-termlist,
[2]
the-global-environment,
[2]
theorem proving (自动)
(f(n)) (θ of f(n))
thunk
按名调用
按需调用
forcing
实现 of
origin of 名称
time
赋值 与
通信 与
in concurrent systems
函数式 编程 与
in 非确定性 computing,
[2]
purpose of
时间 segment, in 议程表
时间 slicing
timed-prime-test
时序 图
TK!Solver
塔 of types
tracing
指令 执行
寄存器 赋值
transform-painter
transparency, referential
transpose a 矩阵
tree
B-树
binary,
参见 二叉树
组合式 viewed as
counting leaves of
enumerating leaves of
fringe of
Huffman
惰性
map圆周率ng over
red-black
represented as pairs
reversing at all levels
树 accumulation
tree->list...
tree-map
树-递归过程
阶 of growth
trigonometric relations
true
true
true?
truncation 错误
truth maintenance
try-again
Turing 机器
Turing, Alan M., [2]
Turner, David, [2],
[3]
类型 字段
类型 tag, [2]
two-level
type(s)
cross-类型 operations
dispatching on
层次结构 in 符号代数
层次结构 of
lowering, [2]
多重 subtype 与 supertype
raising, [2]
subtype
supertype
塔 of
类型-inferencing mechanism
type-tag
using Scheme 数据 types
typed 指针
ty圆周率ng 输入 expressions
未绑定 变量
unev 寄存器
合一
discovery of 算法
实现
模式匹配 vs.,
[2]
unify-match
union-set
binary-树 表示
ordered-列表 表示
unordered-列表 表示
unique (查询 语言)
unique-pairs
单元 square
univariate 多项式
通用 机器
显式-控制 求值器 as
general-purpose 计算机 as
University of California at Berkeley
University of Edinburgh
University of Marseille
UNIX, [2]
unknown-expression-type
unknown-procedure-type
unordered-列表 表示 of sets
unspecified values
define
display
if without 分支
newline
set!
set-car!
set-cdr!
up-split
update-insts!
upper-bound
upward compatibility
user-initial-environment (MIT Scheme)
user-print
modified for com圆周率led 代码
V 操作 on semaphore
val 寄存器
value
of a 组合式
of an 表达式,
参见 unspecified values
value-proc
变量, 参见 local variable
bound
free
作用域 of,
参见 scope of a variable
未绑定
值 of, [2]
variable
变量-length 代码
variable?, [2]
向量 (数据结构)
vector (mathematical)
operations on,
[2]
in 圆周率cture-语言 框架
represented as 序对
represented as 序列
vector-ref (基本 过程)
vector-set! (基本 过程)
Venus
verbs
very high-level 语言
Wadler, Philip
Wadsworth, Christopher
Wagner, Eric G.
Walker, Francis Amasa
Wallis, John
Wand, Mitchell, [2]
Waters, Richard C.
weight
weight-leaf
Weyl, Hermann
``what is'' vs. ``how to'' description, 见 declarative vs. imperative knowledge
wheel (规则),
[2]
width
width of an interval
Wilde, Oscar (Perlis's paraphrase of)
Wiles, Andrew
Winograd, Terry
Winston, Patrick Henry,
[2]
导线, in 数字电路
Wisdom, Jack
Wise, David S.
wishful thinking,
[2]
withdraw
problems in concurrent 系统
without-interrupts
world line of a particle,
[2]
Wright, E. M.
Wright, Jesse B.
xcor-vect
Xerox Palo Alto Re搜索 Center,
[2]
Y 运算符
ycor-vect
Yochelson, Jerome C.
Zabih, Ramin
zero crossings of a 信号,
[2], [3]
zero test (通用)
用于多项式
Zetalisp
Zilles, Stephen N.
Zippel, Richard E.