索引

A

abstarct data type actual parameter alias

alphabet ambiguous anonymous applicative order

B

binding dynamic static

BNF

C

class closure competetion synchronization

concurrent cooperation synchronization coroutine critical section

D

data area static deadlock delegation

dynamic binding scope typing

E

eager evaluation early binding environment evaluation lazy short-circuit

exception exception handler extent

F

formal parameter

function

G

garbage collection

grammar

H

heap

I

identifier information hiding

inheritance multiple single

K

keyword parameter

L

language late binding lazy evaluation

lazy evaluation left value lexical scope

M

method monad

multiple inheritance mutual exclusion

N

name namespace

Non-local exits non-strict evaluation normal order

O

operator precedence grammar

P

parallel parameter actual formal keyword positional parse parse tree

pass by name pass by reference pass by value persistent data structure polymorphism positional parameter procedure prototype

R

reduction

referential transparency reserved word

S

scope dynamic lexical static semantics semaphore sentence sequence point sequential short-circuit evaluation single inheritance

stack starvation static binding data area scope typing strict evaluation subprogram subroutine synchronization competetion cooperation syntax

T

thread token type checking type inference

type system typing dynamic static