The coefficients of the Pascal triangle were generalized in 1756 by de Moivre [5]. Each row of a Pascal triangle contains a sequence of numbers that are the coefficients of the power series expansion for the binary expression (l + x)^. The de Moivre formula [2], [4], [5], [6] derives the coefficients of the power series for the generalized expansion of (1 + x + x + • • • + x^"^). Thus, for inte...

types are design tools, they denote interfaces of objects. They are the primary means of Component Pascal to model component interfaces. Denoting records as abstract allows to indicate more precisely the use of a record: as an interfacing construct rather than an implementation construct. Nevertheless, an abstract type may have all types of methods (see below), i.e., it is not forced to be full...

Vector Pascal is a language designed to support elegant and efficient expression of algorithms using the SIMD model of computation. It imports into Pascal abstraction mechanisms derived from functional languages having their origins in APL. In particular it extends all operators to work on vectors of data. The type system is extended to handle pixels and dimensional analysis. Code generation is...

The work of an electronic computer in solving arithmetical problems consists in many cases of running through a succession of repeated cycles, and of cycles within cycles. This will perhaps have become clear from the foregoing articles in this number. The idea has occurred to many builders of electronie computers to listen in to these cycles by making audible through a loudspeaker the passing o...

Cost estimation is an important aspect of the management of software development projects. Most cost estimation models require an estimate of the size of the program to be developed. Accurate size estimation is thus critically important. This study relates the size of small Pascal programs to information available at successive stages in their development. As might be expected, increasingly acc...

The presence and severity of ischemic left ventricular (LV) systolic dysfunction is an important predictor of prognosis. There are ample data demonstrating that for patients with coronary artery disease and ischemic LV dysfunction, revascularization is associated with a better prognosis compared with medical therapy alone. In addition, varying degrees of recovery of LV dysfunction can be observ...

Type inference is generally thought of as being an exclusive property of the functional programming paradigm. We argue that such a feature may be of significant benefit for also standard imperative languages. We present a working tool (available by WWW) providing these benefits for a full version of Turbo Pascal. It has the form of a preprocessor that analyzes programs in which the type annotat...

T =  1 1 1 1 2 1 1 3 3 1 .. . . .  = exp  0 1 0 0 2 0 0 3 0 . . .  with coefficients ti,j = (i j ) . This shows that det(P (n)) = 1 and that P (n) is positive definite for all n ∈ N. It implies furthermore that the characteristic polynomial det(tI(n)−P (n)) = ∑ k=0 αkt k (where I(n) denotes the identity matrix of order n) of P (n) has only positive real roots. The in...