quest

n 1: a search for an alternative that meets cognitive criteria

[syn: {hunt}, {pursuit}]

2: the act of searching for something; "a quest for diamonds"

[syn: {seeking}]

v 1: make a search (for); "Things that die with their eyes open

and questing"; "The animal came questing through the

forest"

2: search the trail of, as of game: "The dog went of and

quested"

3: bark with prolonged noises, of dogs [syn: {bay}]

4: seek alms, as for religious purposes

5: express the need or desire for; ask for; "She requested an

extra bed in her room" [syn: {request}, {bespeak}, {call

for}]

Quest

1. A language designed for its simple denotational semantics.

"The Denotational Semantics of Programming Languages",

R. Tennent, CACM 19(8):437-453 (Aug 1976).

2. QUantifiers and SubTypes. Language with a sophisticated

type system. Just as types classify values, "kinds" classify

types and type operators. Explicit universal and existential

quantification over types, type operators, and subtypes.

Subtyping is defined inductively on all type constructions,

including higher-order functions and abstract types.

User-definable higher-order type operators.

"Typeful Programming", Luca Cardelli , RR

45, DEC SRC 1989.

Implemented in Modula-3.

{(ftp://gatekeeper.dec.com/pub/DEC/Quest/quest12A.tar.Z)}

3. A {multimedia} {authoring} system. Quest has

been available for {MS-DOS} for some time. Version 3.5 for

{Microsoft Windows} was released around March 1995. It

features an {Authorware}-style {flowchart} system with an

{ANSI-C} {script language}.

(1995-04-02)