Index

A

actual parameter alias

alphabet ambiguous anonymous

B

binding dynamic early late static

BNF

C

channel class closure competition synchronization

concurrent cooperation synchronization critical section

D

data area static deadlock delegation

dynamic binding scope typing

E

early binding environment evaluation lazy short-circuit

exception exception handler

F

formal parameter

function

G

grammar operator precedence

H

heap

I

identifier

inheritance

K

keyword parameter

L

lambda calculus language late binding lazy evaluation

left value lexical scope lock

M

method

mutual exclusion

N

name	namesapce non-terminal

O

operator precedence grammar

P

parallel parameter actual formal keyword positional parse parse tree

pass by name pass by reference pass by value polymorphism positional parameter preenptive procedure prototype

R

referential transparency

reserved word

S

scope dynamic lexical static semantics semaphore sentence sequential short-circuit evaluation stack

starvation static binding data area scope typing subprogram subroutine synchronization competition cooperation syntax

T

terminal thread token type type checking

type inference type system typing dynamic static

U

unlock