CORS from FOLDOC

CORAL

 <language>

1. Class Oriented Ring Associated Language.

2. A deductive database and logic programming system based on Horn-clause rules with extensions like SQL's group-by and aggregation operators. CORAL was developed at the University of Wisconsin-Madison. It is implemented in C++ and has a Prolog-like syntax.

CORAL supports many evaluation techniques, including bottom-up fixpoint evaluation and top-down backtracking. Modules are separately compiled; different modules in a program can use different evaluation methods. Disk-resident data is supported via an interface to the Exodus storage manager. There is an on-line help facility. It requires AT&T C++ 2.0 or G++ and runs on Decstation and Sun-4.

Home.

Last updated: 2001-09-18

CORAL 66

<language>

A real-time system programming language derived from JOVIAL and ALGOL 60. It was adopted as the British military standard from 1970 until the arrival of Ada.

["Official Definition of CORAL 66", P.M. Woodward et al, HMSO, London, 1970].

Last updated: 2023-03-05

CORBA

Common Object Request Broker Architecture

CORBIE

<language>

An early system on the IBM 704.

[Listed in CACM 2(5):16, May 1959].

Last updated: 1996-05-10

CORC

CORnell Compiler

core

<storage, hardware>

1. Main memory or RAM. This term dates from the days of ferrite core memory and, like the technology, is now archaic.

Some derived idioms outlived the hardware: for example, "in core" (meaning paged in), core dump, "core image", "core file". Some varieties of Commonwealth hackish prefer store.

[Jargon File]

Last updated: 2009-11-06

<processor>

2. An integrated circuit design, usually for a microprocessor, which includes only the CPU. A microprocessor chip includes one or more cores with other circuits such as cache, memory management unit, I/O ports and timers. The ARM6 and Intel Core i9 were early examples.

<language>

3. A varient on kernel, as used to describe features built into a language as opposed to those provided by libraries.

Last updated: 2009-11-06

core cancer

<jargon>

A process that exhibits a resource leak that kills by crowding out productive work.

[Jargon File]

Last updated: 1997-11-10

core dump

<programming, operating system, jargon>

Common Iron Age jargon, preserved by Unix for a memory dump.

By analogy, the human equivalent, brain dump, is a complete account of someone's knowledge on a subject.

[Jargon File]

Last updated: 2007-05-09

core gateway

<networking, history>

One of the gateways (routers) operated by the Internet Network Operations Center at Bolt, Beranek and Newman (BBN). The core gateway system formed a central part of Internet routing in that all groups must advertise paths to their networks from a core gateway.

Last updated: 2023-03-05

Corel Corporation

<company>

A software publisher best known for the CorelDraw application. Founded in June 1985 by Dr. Michael Cowpland, Corel Corporation was originally a systems integration company. In January 1989, they entered the software publishing market with the introduction of CorelDraw. Corel became the second largest maker of personal productivity software in January 1996 when they purchased the WordPerfect family of software from Novell, Inc..

http://corel.com/.

Last updated: 1997-03-12

core leak

memory leak

Corel VENTURA

<text, graphics>

(Previously "Ventura Publisher") The first full-featured desktop publishing program available for the IBM personal computer and compatibles. Ventura Publisher was originally distributed by Ventura, a wholy owned subsiduary of Xerox Corporation but was acquired by Corel Corporation in September 1993.

Home.

Last updated: 1999-04-05

Core Protocol Stack

<architecture>

1. A portion of the Web Services architecture for defining and describing various Web Services.

2. The architectural protocol layers of a Bluetooth wireless communication system, comprising the Host Control Interface (HCI), Logical Link Control and Adaptation Protocol (L2CAP), RS232 Serial Cable Emulation Profile (RFCOMM), Service Discovery Protocol (SDP), and Object Exchange (OBEX).

Last updated: 2002-06-28

Core War

<games>

(Or more recently, "Core Wars") A game played between assembly code programs running in the core of a simulated machine (and vicariously by their authors). The objective is to kill your opponents' programs by overwriting them.

The programs are written using an instruction set called "Redcode" and run on a virtual machine called "MARS" (Memory Array Redcode Simulator).

Core War was devised by Victor Vyssotsky, Robert Morris Sr., and Dennis Ritchie in the early 1960s (their original game was called "Darwin" and ran on a PDP-1 at Bell Labs). It was first described in the "Core War Guidelines" of March, 1984 by D. G. Jones and A. K. Dewdney of the Department of Computer Science at The University of Western Ontario (Canada).

Dewdney wrote several "Computer Recreations" articles in "Scientific American" which discussed Core War, starting with the May 1984 article. Those articles are contained in the two anthologies cited below. A.K. Dewdney's articles are still the most readable introduction to Core War, even though the Redcode dialect described in there is no longer current.

The International Core War Society (ICWS) creates and maintains Core War standards and the runs Core War tournaments. There have been six annual tournaments and two standards (ICWS'86 and ICWS'88).

["The Armchair Universe: An Exploration of Computer Worlds", A. K. Dewdney, W. H. Freeman, New York, 1988, ISBN 0-7167-1939-8, LCCN QA76.6 .D517 1988]

["The Magic Machine: A Handbook of Computer Sorcery", A. K. Dewdney, W. H. Freeman, New York, 1990, ISBN 0-7167-2125-2 (Hardcover), 0-7167-2144-9 (Paperback), LCCN QA76.6 .D5173 1990].

Last updated: 1998-10-30

corge

<programming>

/korj/ A metasyntactic variable, named after a cat invented by Mike Gallaher and propagated by the GOSMACS documentation.

[Jargon File]

Last updated: 1994-12-08

CORnell Compiler

<language>

(CORC) A simple programming language for student maths problems.

["The Cornell Computing Language", R.W. Conway et al, CACM 6(6):317-320, Jun 1963, Sammet 1969, p.294-296].

Last updated: 2023-03-05

Cornell List Processor

<language, simulation>

(CLP) A list processing language, an extension of CORC, used for simulation.

[Sammet 1969, p. 461].

Last updated: 1994-11-01

Cornell Theory Center

<body>

(CTC) One of four supercomputing centers funded by the US National Science Foundation. The CTC also receives funding from the Advanced Research Projects Agency, the National Institutes of Health, New York State, IBM Corporation, and other members of the center's Corporate Research Institute.

http://tc.cornell.edu/.

Last updated: 1994-12-08

Cornell University

<body, education>

A US Ivy League University founded in 1868 by businessman Ezra Cornell and respected scholar Andrew Dickson White. Cornell includes thirteen colleges and schools. On the Ithaca campus are the seven undergraduate units and four graduate and professional units. The Medical College and the Graduate School of Medical Sciences are in New York City. Cornell has 13,300 undergraduates and 6,200 graduate and professional students.

http://cornell.edu/.

Last updated: 1996-12-01

Coroutine Pascal

<language>

["Control Separation in Programming languages", Lemon et al, ACM Ann Conf 1977].

Last updated: 1994-12-08

Corporation for National Research Initiatives

<body>

(CNRI) A US not-for-profit organization formed in 1986 to lead and fund network-based research and development in the public interest.

In 2023, CNRI's research expands on the core components of their Digital Object Architecture; Handle.Net Registry for assigning, managing, and resolving persistent identifiers for digital objects and other Internet resources and Cordra.org which provides a mechanism for the creation of, and access to, digital objects as discrete data structures.

Address: 1895 Preston White Drive, Suite 100, Reston, Virginia 20191, USA.

CNRI Home.

Last updated: 2023-05-29

Corporation for Open Systems

<body>

(COS) An international, not-for-profit research organisation, including computer users and vendors, set up to test products' and services' conformance to OSI protocols and to help accelerate the introduction of OSI.

Last updated: 2023-05-29

Corporation for Research and Educational Networking

<body>

(CREN) The non-profit member organisation, consisting of over 220 universities, colleges and research organisations, that was responsible for providing networking service to BITNET and CSNET users. CREN was formed in October 1989, combining BITNET and CSNET under one authority.

CREN continued to run BITNET after CSNET ceased operating, but following the rapid rise of TCP/IP networks in the early 1990s, CREN formally disbanded itself on 2003-01-10.

Last updated: 2023-05-29