Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

15

CASC
2010
Springer

favoriteEmaildiscussreport

155views Mathematics» more CASC 2010»

Type Specialization in Aldor

13 years 3 months ago

Type Specialization in Aldor

Download www.csd.uwo.ca

Computer algebra in scientiﬁc computation squarely faces the dilemma of natural mathematical expression versus eﬃciency. While higher-order programming constructs and parametric polymorphism proatural and expressive language for mathematical abstractions, they can come at a considerable cost. We investigate how deeply nested type constructions may be optimized to achieve performance similar to that of hand-tuned code written in lower-level languages.

Laurentiu Dragan, Stephen M. Watt

Real-time Traffic

CASC 2010 | Computer Algebra | Mathematics | Natural Mathematical Expression | Parametric Polymorphism |

claim paper

Related Content

» Lightweight Formal Methods for Computer Algebra Systems

» Domains and expressions an interface between two approaches to computer algebra

» Programming with ASN1 Using Polymorphic Types and Type Specialization

» Parametric polymorphism for software component architectures

» Parsing Speech Repair without Specialized Grammar Symbols

» MicroSpecialization in DBMSes

» Type System for Specializing Polymorphism

» On JonesOptimal Specialization for Strongly Typed Languages

» Tracebased justintime type specialization for dynamic languages

Post Info
More Details (n/a)

Added	13 Jan 2011
Updated	13 Jan 2011
Type	Journal
Year	2010
Where	CASC
Authors	Laurentiu Dragan, Stephen M. Watt

Comments (0)