Telescoping Languages: A Strategy for Automatic Generation of Scientific Problem-Solving Systems from Annotated Libraries

This publication has 9 references indexed in Scilit:

• Menhir: An Environment for High Performance Matlab
  Scientific Programming, 1999
• Netsolve: a Network-Enabled Server for Solving Computational Science Problems
  The International Journal of Supercomputer Applications and High Performance Computing, 1997
• A methodology for procedure cloning
  Computer Languages, 1993
• Software support for irregular and loosely synchronous problems
  Computing Systems in Engineering, 1992
• Efficiently computing static single assignment form and the control dependence graph
  ACM Transactions on Programming Languages and Systems, 1991
• Compiling scientific code using partial evaluation
  Computer, 1990
• Formal methods applied to a floating-point number system
  IEEE Transactions on Software Engineering, 1989
• A Practical Environment for Scientific Programming
  Computer, 1987
• Linear unification
  Journal of Computer and System Sciences, 1978