THE RELATIONSHIP  BETWEEN
		NUMERICAL COMPUTATION AND
		  PROGRAMMING LANGUAGES

Proceedings of the IFIP TC 2 Working Conference on
The Relationship between Numerical Computation
and Programming Languages
Boulder, Colorado, U.S.A., 3-7 August, 1981

edited by

John K. REID

Computer Science and Systems Division
Atomic Energy Research Establishment, Harwell
Didcot, Oxfordshire
U.K

1982

NORTH-HOLLAND PUBLISHING COMPANY
AMSTERDAM * NEW YORK * OXFORD

			CONTENTS

PREFACE								  v

LIST OF CONTENTS						vii

SESSION 1: INTRODUCTION
   Chair: C.L. Lawson.  Discussant: B. Ford			  1

Programming Languages: Power, Trends and Facilities for
Numerical Computation
   J.R. RICE							  3

Programming Languages for Numerical Subroutine Libraries
   J.J. DU CROZ							 17

Experience with the Olympus System
   K.V. ROBERTS							 33

SESSION 2: ARITHMETIC						 49
   Chair: H.J. Stetter, Discussant: R.P. Brent

Floating-point Parameters, Models and Standards
   W.J. CODY							 51

The Use of Controlled Precision
   T.E. HULL							 71

A Synopsis of Interval Arithmetic for the Designer of
Programming Languages
   C. REINSCH							 85
  
SESSION 3: ARITHMETIC AND SYMBOLIC MATHEMATICS			101
   Chair: W. Cowell, Discussant: W.S. Brown

The Near Orthogonality of Syntax, Semantics and Diagnostics in
Numerical Programming Environments
   W. KAHAN and J.T. COONEN					103

Symbolic Manipulation Languages and Numerical Computation:
Trends
   R.J. FATEMAN							117

Programming Languages for Symbolic Algebra and
Numerical Analysis
   W.M. GENTLEMAN						131

SESSION 4: DATA STRUCTURES					143
   Chair: M. Paul, Discussant: P. Kemp

Data Structures for Numerical Quadrature
   L.M. DELVES							145

Data Structures for Sparse Matrices
   J.K. REID							153

Array Processing Features in the Next Fortran
   B.T. SMITH							163

Examples of Array Processing in the Next Fortran
   A. WILSON							179

SESSION 5: PARALLELISM; LANGUAGE EVOLUTION			185
   Chair: J.A. Nelder, Discussant: G. Paul

Exception Handling in Array Languages
   T.W. LAKE							187

A Framework for Language Evolution
   J.L. WAGENER							197

Languages and High-performance Computations
   D. KUCK, D. PADUA, A. SAMEH and M. WOLFE			205

SESSION 6: PROGRAM STRUCTURE					223
   Chair: J.C. Adams, Discussant: E.L. Battiste

Numerical Packages in Ada
   S.J. HAMMARLING and B.A. WICHMANN				225

Tasking Features in Programming Languages
   O. ROUBINE							245

Language Support for Floating Point
   S. FELDMAN							263

OVERALL SESSION DISCUSSION					275

SESSION 7: OPEN SESSION						277
   Chair: B. Einarsson, Discussant: F.N. Fritsch

A Combined Lexical, Syntactic, and Semantic Approach for
Improving Notation
   M.B. WELLS							279

Program Transformation and Language Design
   J.M. BOYLE							285

Programming Parallel Numerical Algorithms in Ada
   E.K. BLUM							297

Programming in Algol 68 (as a host) and the usage of
Fortran (program libraries)
   C.G. VAN DER LAAN						305

The Fortran of the Future					317
   F.N. FRITSCH (ed.)                                              
 - Exception handling in Fortran (J.A.M. Snoek)    		317
 - Conformity - towards a less permissive standard for
   Fortran (D.T. Muxworthy)                           		318
 - An alternative approach to the evolution of Fortran
   (W.S. Brown, S.1. Feldman, N.L. Schryer, L.D. Fosdick) 	320
 - Notes on Fortran evolution (E.L. Battiste)                   322
 - Discussion                                                   324

SESSION 8: SOURCE TO SOURCE TRANSFORMATIONS 
AND LANGUAGE COMPLEXITY						329
   Chair: J.M. Boyle, Discussant: Th.J.  Dekker

Specification Languages and Program Transformation
   P. PEPPER							331

Tools for Numerical Programming
   W. MILLER							347

Languageless Programming
   A. VAN WIJNGAARDEN						361

LIST OF PARTICIPANTS						373