Features of software development using arrays in an object-oriented environment

The features of software development using static and dynamic arrays in the C ++ Builder object-oriented environment are considered. The syntax of various options for creating static and dynamic arrays in the C ++ Builder language is considered in detail. Examples of working with static and dynamic arrays in C ++ Builder developed by the authors and the corresponding algorithms are presented in the form of block diagrams, program codes and program interfaces. Examples of program development are given using one-dimensional and multidimensional arrays. Examples of memory allocation are given for dynamic arrays. The choice of the required method for solving the problem is substantiated, taking into account the available input data and taking into account the expected results, as well as the peculiarities of their obtaining and processing. The external specification and the main features of the solution of the assigned tasks are considered. The development of algorithms and programs for solving problems using arrays in the C ++ Builder environment is the basis for solving engineering and technical problems using software on a computer. The proposed approaches can be used in practice, since the algorithms outlined in the work will serve as a complex example in solving the set engineering and technical problems.

On being a PhD student of Robert Harper

The Robert Harper Festschrift includes articles by three of Bob’s students and colleagues—Karl Crary, Andrzej Filinski, and Jonathan Sterling. Each of these articles touches on themes that are central to Bob’s research: module system design, proof-directed program development, and (to use Bob’s term) “computational trinitarianism”. In this foreword to the Festschrift, we have additionally compiled reminiscences of Bob Harper from his PhD students. We invited them to reflect on their experiences working with and learning from Bob. We believe these reminiscences, presented in chronological order of dissertation date, deliver a most fitting tribute to Bob in honor of his 64th birthday.

A Case Study in Micro-Learning and Alternate Credentials Before Their Time

In this chapter, the journey of how the Cardiac Care on the Web online program came to be will be described, along with how the guiding principles framing the program development and delivery, as applied more than 20 years ago, still hold relevance today. Furthermore, how the program's micro-credential status has been sustained and has paved the way for micro-certifications at Laurentian University today will be discussed. Finally, this case study offers the authors the chance to review past and present literature and to reflect on next steps for Cardiac Care on the Web given the present emergence of micro-credentials in digital format.