English Dictionary
◊ STEEL
steel
n 1: an alloy of iron with small amounts of carbon and manganese;
widely used in construction; mechanical properties can
be varied over a wide range
2: a cutting or thrusting weapon with a long blade [syn: {sword},
{blade}, {brand}]
3: a ridged steel rod used to sharpen knives
v : get ready for something difficult or unpleasant [syn: {nerve}]
English Computing Dictionary
◊ ESTEREL
Esterel
A distributed language for synchronous interaction of
{real-time} systems with their environment. Uses explicit
timing requests. Esterel programs are compiled into finite
{automata}.
["The ESTEREL Programming Language and its Mathematical
Semantics", G. Berry & L. Cosserat, TR 327, INRIA, 1984].