cleared

adj 1: rid of objects or obstructions such as e.g. trees and brush;

"cleared land"; "cleared streets free of fallen trees

and debris"; "a cleared passage through the

underbrush"; "played poker on the cleared dining room

table" [ant: {uncleared}]

2: freed from any question of guilt; "is absolved from all

blame"; "was now clear of the charge of cowardice"; "his

official honor is vindicated" [syn: {absolved}, {clear}, {exculpated},

{exonerated}, {vindicated}]

CLEAR

A {specification language} based on {initial algebra}s.

["An Informal Introduction to Specification Using CLEAR",

R.M. Burstall in The Correctness Problem in Computer Science,

R.S. Boyer et al eds, Academic Press 1981, pp. 185-213].

(1994-11-03)