This work considers type systems that are defined by type-graphs (tgraphs), which are rooted directed graphs with order among the edges leaving each node. Tgraphs are uniquely mapped into polynomials which, in turn, are each evaluated at a special point to yield an irrational number named the tgraph's <italic>magic number</italic>. This special point is… (More)
The authors discuss the development of intelligent techniques appropriate for the automatic preparation, execution, and control of numerical experiments.
This thesis demonstrates a compiler that uses partial evaluation to achieve outstandingly eecient parallel object code from very high-level source programs. The source programs are ordinary Scheme numerical programs, written abstractly, with no attempt to structure them for parallel execution. The compiler identiies and extracts parallelism completely… (More)