378 search results - page 3 / 76 » Automating Mathematical Program Transformations |
APSEC
2002
IEEE
13 years 11 months ago
2002
IEEE
Software often needs to be modified for accommodating requirements changes through the software life cycle. To deal with several accidental requirements changes related to softwa...
ICSE
2001
IEEE-ACM
13 years 10 months ago
2001
IEEE-ACM
Software maintenance costs dominate software engineering costs, partly because most such engineering is done manually. Program Transformation tools leverage an engineer-provided b...
DIS
2007
Springer
14 years 5 days ago
2007
Springer
Abstract. We discuss what constitutes knowledge in pure mathematics and how new advances are made and communicated. We describe the impact of computer algebra systems, automated th...
ICLP
2007
Springer
14 years 4 days ago
2007
Springer
AMAST
2008
Springer
13 years 8 months ago
2008
Springer
We demonstrate Spiral, a domain-specific library generation system. Spiral generates high performance source code for linear transforms (such as the discrete Fourier transform and ...