nuclear

adj 1: (of power and warfare and weaponry) using atomic energy;

"nuclear (or atomic) submarines"; "nuclear war";

"nuclear weapons"; "atomic bombs" [syn: {atomic}]

[ant: {conventional}]

2: (physics) "nuclear physics"; "nuclear fission"; "nuclear

forces"

3: (biology) "nuclear membrane"

4: constituting or like a nucleus; "annexation of the suburban

fringe by the nuclear metropolis"; "the nuclear core of

the congregation"

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)