safe

adj 1: free from risk or danger; "a safe trip"; "you will be safe

here"; "a safe place"; "a safe bet" [ant: {dangerous}]

2: of an undertaking

3: (baseball) having reached a base without being put out; "the

runner was called safe when the baseman dropped the ball"

[syn: {safe(p)}] [ant: {out(p)}]

4: financially sound; "a good investment"; "a secure

investment" [syn: {dependable}, {good}, {secure}]

5: in safekeeping; "your secret is safe with me"

n 1: where valuables can be kept safe

2: a ventilated or refrigerated cupboard for securing

provisions from pests

3: a thin rubber or latex sheath worn over the penis during

intercourse as a contraceptive or prophylactic device

[syn: {condom}, {rubber}, {safety}, {prophylactic}]

safe

A safe program analysis is one which will not reach invalid

conclusions about the behaviour of the program. This may

involve making safe approximations to properties of parts of

the program. A safe approximation is one which gives less

information.

For example, strictness analysis aims to answer the question

"will this function evaluate its argument"?. The two possible

results are "definitely" and "don't know". A safe

approximation for "definitely" is "don't know". The two

possible results correspond to the two sets: "the set of all

functions which evaluate their argument" and "all functions".

A set can be safely approximated by another which contains it.