After-sale handholding; something many software vendors
	promise but few deliver.  To hackers, most support people are
	useless - because by the time a hacker calls support he or she
	will usually know the software and the relevant manuals better
	than the support people (sadly, this is *not* a joke or
	exaggeration).  A hacker's idea of "support" is a tte--tte
	or exchange of {electronic mail} with the software's designer.

	[{Jargon File}]

	(1995-02-15)

1. <language, programming> {programming language}.

	2. <human language> {natural language}.

	(1998-09-07)

1. <programming> The prototype for an {object} in an
	{object-oriented language}; analogous to a {derived type} in a
	{procedural language}.  A class may also be considered to be a
	set of objects which share a common structure and behaviour.
	The structure of a class is determined by the {class
	variables} which represent the {state} of an object of that
	class and the behaviour is given by a set of {methods}
	associated with the class.

	Classes are related in a {class hierarchy}.  One class may be
	a specialisation (a "{subclass}") of another (one of its
	"{superclasses}") or it may be composed of other classes or it
	may use other classes in a {client-server} relationship.  A
	class may be an {abstract class} or a {concrete class}.

	See also {signature}.

	2. <programming> See {type class}.

	3. <networking> One of three types of {Internet addresses}
	distinguished by their most significant bits.

	3. <language> A language developed by the {Andrew Project}.
	It was one of the first attempts to add {object-oriented}
	features to {C}.

	(1995-05-01)

<programming> An individual {object} of a certain {class}.
	While a class is just the type definition, an actual usage of
	a class is called "instance".  Each instance of a class can
	have different values for its {instance variables}, i.e. its
	{state}.

	(1998-03-06)

<programming> Redefining in a {child class} a {method} or
	function member defined in a {parent class}.

	Not to be confused with "{overloading}".

	(1996-12-21)

<programming> (Or "subclass") In {object-oriented}
	programming, a {class} that is derived from a {base class} by
	{inheritance}.  The derived class contains all the features of
	the base class, but may have new features added or redefine
	existing features.

	The synonym "subclass" is possibly confusing since the derived
	class has a superset of the base class's features.

	Compare {derived type}.

	(2001-09-14)

<object-oriented> In {object-oriented programming}, an
	instance of the data structure and behaviour defined by the
	object's {class}.  Each object has its own values for the
	{instance variables} of its class and can respond to the
	{methods} defined by its class.

	For example, an object of the "Point" class might have
	instance variables "x" and "y" and might respond to the "plot"
	method by drawing a dot on the screen at those coordinates.

	(2004-01-26)

<company> The biggest supplier of {operating systems} and
	other software for {IBM PC} compatibles.  Software products
	include {MS-DOS}, {Microsoft Windows}, {Windows NT},
	{Microsoft Access}, {LAN Manager}, {MS Client}, {SQL Server},
	{Open Data Base Connectivity} (ODBC), {MS Mail}, and {SNA
	Server} for Windows NT.

	Microsoft was founded as "Micro-soft" in 1975 by {Bill Gates}
	(now CEO) and his high school pal Paul Allen.  Their first
	product was a version of {BASIC} for the new {Altair} computer
	[which one?].  In 1980, {IBM} chose Microsoft to supply the
	{operating system} for the {IBM PC}.

	On the UK television program "The Net" in May 1994, {Bill
	Gates} said he was betting his company on the {information
	highway}".

	Quarterly sales $1293M, profits $362M (Aug 1994).

	{Home (http://www.microsoft.com/)}.
	{(ftp://ftp.microsoft.com/)}.

	{Interesting Info and Other Microsoft WWW Servers
	(http://www-drg.microsoft.com/devinfo.htm)}.

	{Microsoft Windows Developer Information
	(http://www-drg.microsoft.com/devinfo.htm)}.

	{Microsoft Research Group Information
	(http://www.research.microsoft.com)}.

	{Win_News
	(http://www.microsoft.com/chicago/ms-www/ms-intro.htm)}.
	maintained by the Personal Operating Systems Division to
	distribute information on {Microsoft Windows}, {MS-DOS} and
	{Windows 95}.

	(1998-11-06)

<theory, programming> (Or "data type") A set of values from
	which a {variable}, {constant}, {function}, or other
	{expression} may take its value.  A type is a classification
	of data that tells the {compiler} or {interpreter} how the
	programmer intends to use it.  For example, the process and
	result of adding two variables differs greatly according to
	whether they are integers, floating point numbers, or strings.

	Types supported by most programming languages include
	{integers} (usually limited to some range so they will fit in
	one {word} of storage), {Booleans}, {floating point numbers},
	and characters.  {Strings} are also common, and are
	represented as {lists} of characters in some languages.

	If s and t are types, then so is s -> t, the type of
	{functions} from s to t; that is, give them a term of type s,
	functions of type s -> t will return a term of type t.

	Some types are {primitive} - built-in to the language, with no
	visible internal structure - e.g. Boolean; others are
	composite - constructed from one or more other types (of
	either kind) - e.g. {lists}, {arrays}, {structures}, {unions}.
	{Object-oriented programming} extends this with {classes}
	which encapsulate both the structure of a type and the
	operations that can be performed on it.

	Some languages provide {strong typing}, others allow {implicit
	type conversion} and/or {explicit type conversion}.

	(2003-12-22)

See {safe}, {safety-critical system}.

In {object-oriented programming} sending a message to an
	{object} (to invoke a {method}) is equivalent to calling a
	{procedure} in traditional programming languages, except that
	the actual code executed may only be selected at run time
	depending on the {class} of the object.  Thus, in response to
	the message "drawSelf", the method code invoked would be
	different if the target object were a circle or a square.

	(1995-02-16)

<programming> One of a sequence of copies of a program, each
	incorporating new modifications.  Each version is usually
	identified by a number, commonly of the form X.Y where X is
	the major version number and Y is the release number.
	Typically an increment in X (with Y reset to zero) signifies a
	substantial increase in the function of the program or a
	partial or total re-implementation, whereas Y increases each
	time the progam is changed in any way and re-released.

	Version numbers are useful so that the user can know if the
	program has changed ({bugs} have been fixed or new functions
	added) since he obtained his copy and the programmer can tell
	if a bug report relates to the current version.  It is thus
	always important to state the version when reporting bugs.
	Statements about compatibility between different software
	components should always say which versions they apply to.

	See {change management}.

	(1997-12-07)

<language, architecture> (JVM) A specification for software
	which interprets {Java} programs that have been compiled into
	{byte-codes}, and usually stored in a ".class" file.  The JVM
	{instruction set} is {stack}-oriented, with variable
	instruction length.  Unlike some other instruction sets, the
	JVM's supports {object-oriented} programming directly by
	including instructions for object {method} invocation (similar
	to {subroutine} call in other instruction sets).

	The JVM itself is written in {C} and so can be {ported} to run
	on most {platforms}.  It needs {thread} support and {I/O} (for
	{dynamic class loading}).  The Java byte-code is independent
	of the platform.

	There are also some hardware implementations of the JVM.

	{Specification
	(http://www.javasoft.com/docs/books/vmspec/html/VMSpecTOC.doc.html)}.

	{Sun's Java chip
	(http://news.com/News/Item/0,4,9328,00.html)}.

	[Documentation?  Versions?]

	(2000-01-03)

1. <networking> {e-mail address}.

	2. <networking> {Internet address}.

	3. <networking> {MAC address}.

	4. <storage, programming> An unsigned integer used to select
	one fundamental element of storage, usually known as a {word}
	from a computer's {main memory} or other storage device.  The
	{CPU} outputs addresses on its {address bus} which may be
	connected to an {address decoder}, {cache controller}, {memory
	management unit}, and other devices.

	While from a hardware point of view an address is indeed an
	integer most {strongly typed} programming languages disallow
	mixing integers and addresses, and indeed addresses of
	different data types.  This is a fine example for {syntactic
	salt}: the compiler could work without it but makes writing
	bad programs more difficult.

	(1997-07-01)

1. <programming> In a {reduction system}, a closure is a data
	structure that holds an expression and an environment of
	variable bindings in which that expression is to be evaluated.
	The variables may be local or global.  Closures are used to
	represent unevaluated expressions when implementing
	{functional programming languages} with {lazy evaluation}.  In
	a real implementation, both expression and environment are
	represented by pointers.

	A {suspension} is a closure which includes a flag to say
	whether or not it has been evaluated.  The term "{thunk}" has
	come to be synonymous with "closure" but originated outside
	{functional programming}.

	2. <theory> In {domain theory}, given a {partially ordered
	set}, D and a subset, X of D, the upward closure of X in D is
	the union over all x in X of the sets of all d in D such that
	x <= d.  Thus the upward closure of X in D contains the
	elements of X and any greater element of D.  A set is "upward
	closed" if it is the same as its upward closure, i.e. any d
	greater than an element is also an element.  The downward
	closure (or "left closure") is similar but with d <= x.  A
	downward closed set is one for which any d less than an
	element is also an element.

	("<=" is written in {LaTeX} as {\subseteq} and the upward
	closure of X in D is written \uparrow_\{D} X).

	(1994-12-16)

1. <software> An occurrence or happening of significance to a
	task or program, such as the completion of an asynchronous
	input/output operation.  A task may wait for an event or any
	of a set of events or it may (request to) receive asynchronous
	notification (a {signal} or {interrupt}) that the event has
	occurred.

	See also {event-driven}.

	2. <data> A transaction or other activity that affects the
	records in a file.

	(2000-02-09)

Not working properly (of programs).

To produce something according to an {algorithm} or program or
	set of rules, or as a (possibly unintended) {side effect} of
	the execution of an algorithm or program.

	The opposite of {parse}.

	[{Jargon File}]

	(1995-06-15)

1. <unit, text> (Sometimes abbreviated "pt") The unit of
	length used in {typography} to specify text character height,
	{rule} width, and other small measurements.

	There are six slightly different definitions: {Truchet point},
	{Didot point}, {ATA point}, {TeX point}, {Postscript point},
	and {IN point}.

	In Europe, the most commonly used is Didot and in the US, the
	formerly standard ATA point has essentially been replaced by
	the PostScript point due to the demise of traditional
	typesetting systems and rise of desktop computer based systems
	running software such as {QuarkXPress}, {Adobe InDesign} and
	{Adobe Pagemaker}.

	There are 20 {twips} in a point and 12 points in a {pica}
	(known as a "Cicero" in the Didot system).

	{Different point systems
	(http://www.vakcer.com/oberon/dtp/fonts/point.htm)}.

	(2004-12-23)

	2. <hardware> To move a {pointing device} so that the
	on-screen pointer is positioned over a certain object on the
	screen such as a {button} in a {graphical user interface}.  In
	most {window systems} it is then necessary to {click} a
	(physical) button on the pointing device to activate or select
	the object.  In some systems, just pointing to an object is
	known as "mouse-over" {event} which may cause some help text
	(called a "tool tip" in {Windows}) to be displayed.

	(2001-05-21)

<data> A data structure holding many values, possibly of
	different types, which is usually accessed sequentially,
	working from the head to the end of the tail - an "ordered
	list".  This contrasts with a (one-dimensional) {array}, any
	element of which can be accessed equally quickly.

	Lists are often stored using a cell and pointer arrangement
	where each value is stored in a cell along with an associated
	pointer to the next cell.  A special pointer, e.g. zero, marks
	the end of the list.  This is known as a (singly) "linked
	list".  A doubly linked list has pointers from each cell to
	both next and previous cells.

	An unordered list is a {set}.

	(1998-11-12)

1. <data, programming> One of the items of data in an {array}.

	2. <language, text> One kind of node in an {SGML}, {HTML}, or
	{XML} {document} {tree}.  An SGML element is typically
	represented by a start {tag} ("<p>") and an end tag ("</p>").
	In some SGML implementations, some tags are omissible, as with
	"</p>" in {HTML}.

	The start tag can contain {attributes} ("<p lang="en-UK"
	class='stuff'>"), which are an unordered set of key-value
	bindings for that element.  Both the start tag and end tag for
	an element typically contain the "tag name" (also called the
	"{GI}" or generic identifier) for that element.

	In {XML}, an element is always represented either by an
	explicit start tag and end tag, or by an empty element tag
	("<img src='thing.{png}' alt='a dodad' />").

	Other kinds of SGML node are: a section of character data
	("foo"), a comment ("<!-- bar -->"), a markup declaration
	("<!ENTITY reg CDATA '&#174'>"), or a processing instruction
	("<?xml-stylesheet href="shop-english.xsl" type="text/xsl"
	?>").

	(2001-01-30)

<theory> The meaning of a string in some language, as opposed
	to {syntax} which describes how symbols may be combined
	independent of their meaning.

	The semantics of a programming language is a function from
	programs to answers.  A program is a {closed term} and, in
	practical languages, an answer is a member of the syntactic
	category of values.  The two main kinds are {denotational
	semantics} and {operational semantics}.

	(1995-06-21)

1. <philosophy, mathematics> A branch of philosophy and
	mathematics that deals with the formal principles, methods and
	criteria of validity of {inference}, reasoning and
	{knowledge}.

	Logic is concerned with what is true and how we can know
	whether something is true.  This involves the formalisation of
	logical arguments and {proofs} in terms of symbols
	representing {propositions} and {logical connectives}.  The
	meanings of these logical connectives are expressed by a set
	of rules which are assumed to be self-evident.

	{Boolean algebra} deals with the basic operations of truth
	values: AND, OR, NOT and combinations thereof.  {Predicate
	logic} extends this with existential and universal
	{quantifiers} and symbols standing for {predicates} which may
	depend on variables.  The rules of {natural deduction}
	describe how we may proceed from valid premises to valid
	conclusions, where the premises and conclusions are
	expressions in {predicate logic}.

	Symbolic logic uses a {meta-language} concerned with truth,
	which may or may not have a corresponding expression in the
	world of objects called existance.  In symbolic logic,
	arguments and {proofs} are made in terms of symbols
	representing {propositions} and {logical connectives}.  The
	meanings of these begin with a set of rules or {primitives}
	which are assumed to be self-evident.  Fortunately, even from
	vague primitives, functions can be defined with precise
	meaning.

	{Boolean logic} deals with the basic operations of {truth
	values}: AND, OR, NOT and combinations thereof.  {Predicate
	logic} extends this with {existential quantifiers} and
	{universal quantifiers} which introduce {bound variables}
	ranging over {finite} sets; the {predicate} itself takes on
	only the values true and false.  Deduction describes how we
	may proceed from valid {premises} to valid conclusions, where
	these are expressions in {predicate logic}.

	Carnap used the phrase "rational reconstruction" to describe
	the logical analysis of thought.  Thus logic is less concerned
	with how thought does proceed, which is considered the realm
	of psychology, and more with how it should proceed to discover
	truth.  It is the touchstone of the results of thinking, but
	neither its regulator nor a motive for its practice.

	See also fuzzy logic, logic programming, arithmetic and logic unit,
	first-order logic,

	See also {Boolean logic}, {fuzzy logic}, {logic programming},
	{first-order logic}, {logic bomb}, {combinatory logic},
	{higher-order logic}, {intuitionistic logic}, {equational
	logic}, {modal logic}, {linear logic}, {paradox}.

	2. <electronics> {Boolean} logic circuits.

	See also {arithmetic and logic unit}, {asynchronous logic},
	{TTL}.

	(1995-03-17)