Skip to search formSkip to main contentSkip to account menu

Aldor

Known as: Aldor (programming language), Aldor programming language 
Aldor is a programming language. It is the successor of A# as the extension language of the Axiom computer algebra system. The Aldor language… 
Wikipedia (opens in a new tab)

Related topics

Related topics

9 relations
Comparison of programming languagesDependent typeHaskellImperative programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2011
Review
2011
Philosophy and Definition for a Universal Genetic Sequence Database
Modern sequence databases have many problems because they are not carefully defined. For example, when one searches for homology… 
2007
2007
Multiprocessed parallelism support in ALDOR on SMPs and multicores
We report on a high-level categorical parallel framework, written in the Aldor language, to support high-performance computer… 
2007
2007
Generic Programming Techniques in Aldor
Certain problems in mathematical computing present unusual challenges in structuring software libraries. Although generics, or… 
2006
2006
A technique for generic iteration and its optimization
Software libraries rely increasingly on iterators to provide generic traversal of data structures. These iterators can be… 
2005
2005
Semantics of Categories in Aldor
A generally cylindrical thermoplastic bottle for bottling liquids under pressure such as beer, soda and aerosols, having a… 
2004
2004
A Framework for Using Aldor Libraries with Maple
This paper examines what is required to use Aldor libraries to extend Maple in an effective and natural way. This represents a… 
2002
2002
A STUDY IN THE INTEGRATION OF COMPUTER ALGEBRA SYSTEMS: MEMORY MANAGEMENT IN A MAPLE–ALDOR ENVIRONMENT
We have undertaken to study the problems which arise in the tight coupling of computer algebra systems. By this we mean having… 
2001
2001
Logic and dependent types in the Aldor computer algebra system
We show how the Aldor type system can represent propositions of first-order logic, by means of the 'propositions as types… 
1999
1999
Aldor meets Haskell
As part of a project to include reasoning capabilities in the Aldor computer algebra system it is necessary to modify the type… 
1999
1999
Parallelism in Aldor - The Communication Library Piit for Parallel, Distributed Computation
In this paper, we present the design of ?it, an ALDOR library to express parallel programs. ALDOR is a general purpose… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)