a. | 1. | Free from harm, injury, or risk; untouched or unthreatened by danger or injury; unharmed; unhurt; secure; whole; | ||||||
2. | Conferring safety; securing from harm; not exposing to danger; confining securely; to be relied upon; not dangerous; | |||||||
3. | Incapable of doing harm; no longer dangerous; in secure care or custody;
| |||||||
n. | 1. | A place for keeping things in safety. | ||||||
v. t. | 1. | To render safe; to make right. |
Noun | 1. | safe - strongbox where valuables can be kept safe |
2. | safe - a ventilated or refrigerated cupboard for securing provisions from pests | |
3. | safe - contraceptive device consisting of a thin rubber or latex sheath worn over the penis during intercourse | |
Adj. | 1. | safe - free from danger or the risk of harm; "a safe trip"; "you will be safe here"; "a safe place"; "a safe bet" |
2. | safe - of an undertaking | |
3. | safe - having reached a base without being put out; "the runner was called safe when the baseman dropped the ball" | |
4. | safe - financially sound; "a good investment"; "a secure investment" | |
5. | safe - in safekeeping; "your secret is safe with me" |
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. |