exec /eg-zek'/ or /eks'ek/ vt., n.
1. [Unix: from `execute'] Synonym for chain, derives from the exec(2)
call. 2. [from `executive'] obs. The command interpreter for an
OS (see shell); term esp. used around mainframes, and
prob. derived from UNIVAC's archaic EXEC 2 and EXEC 8 operating
systems. 3. At IBM and VM/CMS shops, the equivalent of a shell
command file (among VM/CMS users).
The mainstream `exec' as an abbreviation for (human) executive
is not used. To a hacker, an `exec' is a always a
program, never a person.
Node:exercise left as an,
Next:Exon, Previous:exec, Up:= E =
exercise, left as an adj.
[from technical books] Used to complete a proof when one
doesn't mind a handwave, or to
avoid one entirely. The complete phrase is: "The proof [or `the
rest'] is left as an exercise for the reader." This comment
has occasionally been attached to unsolved research
problems by authors possessed of either an evil sense of humor or
a vast faith in the capabilities of their audiences.