|
H ?
«
‹
←
→
›
»
Language peer sets for Adl: Australia↑ Australia/1992↑ Designed 1992 ↑ 1990s languages ↑ Fifth generation↑ Post-Cold War↑ Experimental and other ↑ Experimental and other/1992↑ Experimental and other/au ↑ Adl(ID:3655/adl005)Polymorphic non-recursive data-parallel functional languagealternate simple viewCountry: Australia Designed 1992 Published: 1992 Sammet category: Experimental and other for Adelaide Roe, Alexander, Engelhardt and Wendelborn, University of Adelaide, 1992- Small functional polymorphic non-recursive data parallel language based on the Bird-Meertens formalism Adl is a small strict functional language designed to support data parallelism. The purely functional nature of Adl ensures that BMF code produced from Adl source can be manipulated as a mathematical expression. A small number of built-in higher-order combinators are provided. These include map, reduce, and scan and variants on these to cater for reductions and scans with no base value. The scan operators have been provided as primitive, in spite of it being possible to define these in terms of list-homomorphisms. The reason for this decision is that a more efficient parallel implementation of scan exists than that furnished by the list homomorphism. In addition to the list processing primitives Adl provides the two standard constructs of if and while. if caters for conditional evaluation of an expression. while is supplied as an iterator to be used in cases where computation is not bounded by the length of an input list. The current version of Adl is non-recursive. The lack of recursion is convenient from the point of view of the language implementors since it allows all function calls to be in-lined and translated into composed sequences of functions in BMF. In the small number of Adl applications tested so far the lack of recursion has not caused us great difficulty, but further experiments on language expressiveness are underway. Influenced by Blelloch, TAM, Skeletons, others in paper Structures: References: in [Proceedings] (1995) Proceedings Conference on High Performance Functional Computing, Denver, Colorado, April 1995 in [Proceedings] (1995) Proceedings IFIP International Conference on Parallel Architectures and Compilation Techniques (PACT95), Cyprus, June 1995 in [Proceedings] (1995) Proceedings IFIP International Conference on Parallel Architectures and Compilation Techniques (PACT95), Cyprus, June 1995 in [Proceedings] (1995) Proceedings IFIP International Conference on Parallel Architectures and Compilation Techniques (PACT95), Cyprus, June 1995 in [Proceedings] (1995) Proceedings IFIP International Conference on Parallel Architectures and Compilation Techniques (PACT95), Cyprus, June 1995 in [Proceedings] (1995) Proceedings IFIP International Conference on Parallel Architectures and Compilation Techniques (PACT95), Cyprus, June 1995 Resources Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE ACM portal CiteSeer CSB ncstrl jstor Bookfinder |