APL CONGRESS 73

APL CONGRESS 73
Proceedings of the APL Congress 73, Copenhagen,
Denmark, August 22-24,1973
Technische University Darmstadt
FACHBEREICH INFORMATIK
B I B L I O T H E K
Inventar-Nr.:
P<\Qi- 00 2 93
Sachgsbiete:
edited by
Standoff:
•
/?$
P. Gjerlov, H. J. Helms and Johs Nielsen
S*
TechniscihUlochschule
FACHBEfe£iCH INFORA/
B I BL
Inventar-Nr.:
Sachgebj.
Sterf^orts
1973
NORTH-HOLLAND PUBLISHING COMPANY - AMSTERDAM • LONDON
AMERICAN ELSEVIER PUBLISHING CO., INC. - NEW YORK
LIST OF CONTENTS
Editors' preface
Opening address
H. J. Helms
XI
Opening speech,
C.-E. Frohberg
XIII
Program writing, rewriting, and style,
P. S . Abrams
•.
"
An APL implementation of an interpreter writing system,
G. Aguzzi, F. Cesarini, R. Pinzani, G. Soda, R. Sprugnoli
1
9
An APL-written APL-subset to system/7-MSP translator,
M. Alfonseca
17
CBC plan, an APL application,
H. Andersen, O. Bjarkild, E. Hols^e
25
An APL interpreter for mini-computers. A microprogrammed APL machine,
Y. Amram, B. de Cosnac, J. L. Granger, A. Smoucovit
33
APL functions in teaching science: tools of analysis and simulation,
G. Bartoli, L. Bartolo, P. Berry, V. Spadavecchia
41
Optimized interpretation of APL statements,
G. Battarel, M. Delbreil, D. Tusera
49
Interactive interpolation and display of surfaces,
V. Casarosa, S. Trumpy
59
APL programs for direct computation of a finite semigroup,
F.G. Cousineau,J-F. Perrot, J.M. Rifflet
67
A syntactic approach to automatic theorem proving,
P. Dell'Oreo
75
APL in a two-step programming technique for developing complex programs,
G. Demars, E. Girard, J-C Rault
83
Simulation of automatic equalizers to be used in data transmission systems,
A. Desblache, V. Riso
91
Generalized arrays (lists) in APL,
E.M. Edwards
99
Design of a format function with a pictorial argument,
A.D. Falkoff
107
A new approach in system design by utilizing APL,
P. Falster
109
An interactive APL system (ISVAP) for the verification of APL programs using
floyd's method,
F.H. J. Feldbrugge
119
CONTENTS
An APL polyalgorithm for function approximation by some interpolating
functions,
F. Fontanella
127
APL as a descriptive language for associative processing and systems design,
G.H. Foster
133
Verification of APL programs,
S . Gerhart
141
A military enlisted manpower projection and simulation model,
B.C. Gray
149
Temperature-level in airconditioned room,
O.V. Gregersen
157
The solution of rational equations using text processing,
W.E. Gull
165
Euler files - simulation of a file system with APL,
H.R. Haegi
171
APL/solid. A life insurance management game,
D.G. Halmstad
179
Algebra and the properties of scans,
M.M. Halpern
187
A magnetic tape format for communication of APL functions,
M.D. Harbinson
195
A logical control structure for APL,
L.R. Harris
203
Pert project scheduling in APL plus,
R.G. Henselyn
211
A conversational APL program for decision analysis,
D. Hirschberg
215
Using APL for network reliability calculations,
E. Hansler
223
APL/4004 implementation,
E.B. Iverson
231
Numerical analysis and APL, can they coexist?,
M.A. Jenkins
237
On a bottom-up method for evaluation of APL expressions,
P. Kalf on
245
On the design of a function to solve large linear systems of equations using
the APL*plus file subsystem,
R.J. Korsan
251
APL, the FFT and ordinary differential equations (odes),
R.J. Korsan
259
An APL based syntax form for dialog languages,
I. Kupka, N. Wilsing
269
A multi-network pert program,
J-P. Barasz , F. Lapadu-Hargues
275
File processing in terms of concurrent processors with shared variable
interfaces,
R.H. Lathwell
279
APL simulation of musical staff notation,
W.R. LePage
281
An interactive long range planning model written in APL,
S.A. L(5ken
289
APL based on-line manpower and budget planning,
C. McAllister
293
Complex floor,
E.E. McDonnell
299
Interactive data processing. Application implementation using APL,
B.K. Mahanti, M.E. Sandfelder
•.
307
The design of a structured APL interpreter,
A. Marchal, R.A. Keir
313
APL/360 used for sewer design in Danish cities,
K.G. Meldal
319
APLAMBDA: A lambda-calculus machine for APL-operators,
J.Y. Michel
:.325
On tree structure extensions to the APL language,
R.C. Murray
333
APL in the teaching of computational complexity,
R.J. Orgass
339
Individualized documentation application,
J-C. Pages
347
The application of APL in graphics computation,
J.L. Posdamer, R. Riesenfeld
353
APL processing of traffic data within a PBX (IBM 3750 system),
R. Price
361
APL for synthesis in corporate dynamics,
J.A. Richter
369
Simulation of a class of computers and their assembly languages,
D. Bartel, H.W. Homrighausen, L. Richter
377
Dynamic job tracking using APL,
J.E. Riedy
385
Adaptive data-classifying systems,
G. Rogers
395
CONTENTS
Description of APL operators,
G. Ruggiu, Ph. Aigrain
401
Secure applications within an APL environment,
J.L. Ryan
407
From the free optimum to the true optimum: A direct search method for the
transportation problem,
C. Sandi
415
Patterns in the development of insight: An experimental text on electrical
circuit theory,
R. Spence
421
APL in management education,
R.C. Sprowis
431
The use of APL in constructing school time-tables,
N.D. Thomson
•
"439
APL in local government economical and physical planning,
S. Thygesen, N.Chr . Mortensen
447
Extension of APL operators to tree-like data structures,
J.P. Vasseur
457
Correctness proofs of APL programs using the assertion method of FLOYD,
W. Vervoort
465
An information retrieval system using one file,
K.R. Weaver
473
Speeding up dyadic JOTA and dyadic EPSILON,
B. Bernecky
479
Interactive data analysis and non-parametric statistics,
M. Snyder
483
Discussions
489
Final Program, Lectures presented at the Congress
491
Author index
497
Subject index
503

Download Report