English Dictionary
◊ ESTEEM
esteem
n 1: the condition of being honored (esteemed or respected or
well regarded); "it is held in esteem"; "a man who has
earned high regard" [syn: {regard}, {respect}] [ant: {disesteem}]
2: a feeling of delighted approval and liking [syn: {admiration}]
3: an attitude of admiration or esteem; "she lost all respect
for him" [syn: {respect}, {regard}] [ant: {disrespect}]
v 1: regard highly; think much of [syn: {respect}, {value}, {prize},
{prise}] [ant: {disrespect}, {disrespect}]
2: look on as or consider: "she looked on this affair as a
joke"; "He thinks of himself as a brilliant musician"
[syn: {think of}, {repute}, {regard as}, {look upon}, {look
on}, {take to be}]
English Computing Dictionary
◊ DID YOU MEAN 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].