Towards structured programs in APL

Accellerating APL Programs with SAC

Towards Structured Mechanized Verification of Fine-Grained Concurrent Programs

It has been long recognized that efficient parallelization is of crucial importance for high-performant software. Unfortunately, reasoning about correctness of concurrent programs, in which several computations can be executed in parallel and, thus, overlap in time, is challenging due to the large number of possible interactions between concurrent processes/threads on shared data structures. On...

Manuals as Structured Programs

The importance of manuals certainly extends beyond their use in training and reference. In some sense (whether this is explicit or implicit) a user must ‘know’ what they are doing to use a system, and the manual is a representation of what they could know. Whether a user could in practice verbalise their knowledge as a system manual is unlikely — it may not even be necessary to be able to do so...

Compiling APL: The Yorktown APL Translator

The Yorktown APL Translator (YAT) permits functions written in APL to be compiled using an existing compiler for part of the process. It also creates tables that allow the APL2 Release 2 interpreter to call the compiled code. The code can also be called from a Fortran main routine. This paper outlines the history of APL compilation, the motivation for producing YAT, the design choices that were...

Effect of Structured Nursing Education Programs in Prevention of Admitted Patients’ Phlebitis

Background: In the hospitalization wards where phlebitis has an incidence and accounts for the most serious complications of environmental fluid therapy. Objectives: This study aimed to determine the effect of structured nursing education programs in prevention of admitted patients’ phlebitis. Methods: In this quasi-experimental study in which the post-test design with control and interventio...