A Sharp (Axiom)

A Sharp (Axiom)

A# (A sharp) is an object-oriented functional programming language distributed as a separable component of Version 2 of the Axiom computer algebra system. A# types and functions are first-class values and can be used freely in conjunction with an extensive library of data structures and other mathematical abstractions. A key design guideline for A# was suitability of compilation to portable and efficient machine code.

Development of A# has now switched to the Aldor programming language.

There is both an A# optimising compiler and an A# intermediate code interpreter. The compiler can produce any of:
* stand-alone executable programs
* object libraries in native operating system formats
* portable bytecode libraries
* C source code, or
* Lisp source code.

Ports have been made to many different architectures (16, 32, and 64 bit):
* RS/6000
* SPARC
* DEC Alpha
* IA-32
* Intel 286
* Motorola 680x0
* System/370

And to several operating systems:
* Linux
* AIX
* SunOS
* HP-UX
* NeXT
* Mach
* plus a variety of other Unix systems
* OS/2
* DOS
* Microsoft Windows
* VMS
* VM/CMS

The following C compilers are supported: gcc, Xlc, Sun Studio Compiler, Borland, Metaware and MIPS C.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Axiom of Maria — is a mystical precept in alchemy where one becomes two, two becomes three, and out of the third comes the one as the fourth. It is attributed to 3rd century alchemist Maria Prophetissa.Psychoanalyst Carl Jung interpreted this concept as a… …   Wikipedia

  • A-sharp — may refer to:* A sharp major * A sharp minor * The musical pitch A♯ *A Sharp (company), a software developer company *A Sharp (.NET), a port of the Ada programming language to the .NET environment *A Sharp (Axiom), a programming language for the… …   Wikipedia

  • A Sharp (programming language) — A Sharp may refer to multiple computer programming languages:*A Sharp (.NET), a port of the Ada programming language to the .NET environment *A Sharp (Axiom), a programming language for the Axiom computer algebra system …   Wikipedia

  • Zero sharp — In the mathematical discipline of set theory, 0# (zero sharp, also 0#) is defined to be a particular real number satisfying certain conditions, namely, to be the real number that codes in the canonical way the Gödel numbers of the true formulas… …   Wikipedia

  • A (disambiguation) — A is the first letter of the Latin alphabet.A may also refer to:cience* annum * A battery * Vitamin A, also called retinol, an essential human nutrient * Haplogroup A (mtDNA), a human mitochondrial DNA (mtDNA) haplogroup * Haplogroup A (Y DNA), a …   Wikipedia

  • metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… …   Universalium

  • Anxiety/Uncertainty Management — (AUM) is a theory developed by Dr. William B. Gudykunst in an attempt to define what makes up effective communication. Gudykunst’s research began in 1985 using existing theories as a starting point. Specifically, the existing research of… …   Wikipedia

  • mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… …   Universalium

  • Paul Cohen (mathematician) — Not to be confused with Paul Cohn. Paul J. Cohen Born April 2, 1934(1934 04 02) Long Branch, New Jersey Died March 23, 2007 …   Wikipedia

  • Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”