Annual Review in Automatic Programming. Volume 9

Content: 
Pergamon Books of Related Interest, Page ii
Front Matter, Page iii
Copyright, Page iv
An Introduction to the Formal Definition of ALGOL 68, Pages 1-63,65-84, ANDREW D. McGETTRICK
INTRODUCTION TO IFAC/IFIP WORKSHOP ON REAL TIME PROGRAMMING, Page 84a
INTERFACING REAL-TIME OPERATING SYSTEMS TO PROCESS CONTROL LANGUAGES, Pages 1-16, G. Kratzer, G. Schrott
DATA FLOW ANALYSIS FOR THE DESCRIPTION AND THE MANAGEMENT OF MUTUAL EXCLUSION AND SYNCHRONIZATION IN REAL TIME APPLICATIONS, Pages 17-20, J.P. Thomesse, A. Cochet-Muchy, P. Nonn
THE INFLUENCE OF MICROPROCESSORS ON FUTURE REAL-TIME SYSTEMS, Pages 21-29, G. Musstopf
PROGRAMMING TOOLS AND STANDARDS FOR FUTURE DEDICATED COMPUTERS AND DISTRIBUTED SYSTEMS, Pages 31-33, G. Musstopf
DESIGN AND USE OF A SIMPLE MONITOR FOR SMALL COMPUTERS, Pages 35-40, S. Haridi, L.-E. Thorelli
NATURALLY DESCRIBING SYNCHRONIZATION ON A REAL TIME CONTROL, Pages 41-49, F. Prunet, J.M. Dumas, A. Reboul
AN INTERACTIVE FRAMEWORK FOR DESIGN AUTOMATION, Pages 51-59, B. Pehrson
REAL-TIME BASIC: A SUITABLE TOOL FOR PROCESS CONTROL, Pages 61-66, W. Koblitz
STRUCTURED HIERARCHICAL REAL-TIME OPERATING SYSTEM FOR A SEQUENTIAL PROCESS CONTROL, Pages 67-72, J. Górski, R. Łoś, J. Sołtysik
REAL-TIME SYSTEM SPECIFICATIONS AND THEIR AUTOMATIC ANALYSIS, Pages 73-77, W.J. Quirk
APPLICATION OF MICROPROCESSOR FOR MONITORING HEART SCINTIGRAPHY: A COMPARISON OF CLASSICAL PROGRAMMING AND GLOBAL DESCRIPTION, Pages 79-86, P. Zanettacci, F. Madaule, S. El Gamal, J.Y. Devaux, P. Jutier
AN APL SHARED VARIABLE PROCESSOR IN A DISTRIBUTED REAL-TIME ENVIRONMENT, Pages 87-94, J. Gertler, A.J. Mann, R.V. Edwards
STANDARDS AND PROPOSALS OF INDUSTRIAL REAL-TIME FORTRAN, Pages 95-107, G. Heller, W. Kneis, U. Rembold, G. Wiesner
HOW TO AVOID COMPLICATED IF-CLAUSE STRUCTURE IN FORTRAN REAL-TIME PROGRAMMING, Pages 109-116, H. Sobiesiak, W. Kneis
CITY GAS PLANT INSTRUMENTATION SYSTEM, Pages 117-127, T. Yamazaki, K. Nukui, K. Hasegawa, H. Yotsumoto, S. Komiyama, T. Ohzeki, Y. Mitsui
AUTHOR INDEX, Page 129