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
2015
Review
2015
Modeling and forecasting call center arrivals: A literature survey and a case study
2010
2010
Type Specialization in Aldor
Computer algebra in scientific computation squarely faces the dilemma of natural mathematical expression versus efficiency. While… 
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… 
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… 
2000
2000
Integrating Computer Algebra and Reasoning through the Type System of Aldor
A number of combinations of reasoning and computer algebra systems have been proposed; in this paper we describe another, namely… 
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… 
1998
1998
Adding the axioms to Axiom: Towards a system of automated reasoning in Aldor
A number of combinations of theorem proving and computer algebra systems have been proposed; in this paper we describe another… 
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)