The facilities of the PS-algol programming language are described in this paper to show how they may be used to provide an integrated graphics programming environment. The persistent store mechanism and the secure transaction facilities of the language provide the basic environment in which an integrated system may be implemented. This is augmented by data types and operations to support line d...

We present here new astrometric measurements of Algol's position made with Very Long Baseline Interferometry. Using these measurements, along with a new estimate of the node of the inner binary and other orbital elements from the literature, we compute a new proper motion, with uncertainties six times less than those of Hipparcos. We compute the trajectories of Algol (using the new proper motio...

This expository article discusses recent progress on the problem of giving suuciently abstract semantics to local-variable declarations in Algol-like languages, especially work using categorical methods.

In earlier papers, we presented a binary evolutionary code for the purpose of reproducing orbital parameters, masses, radii, and location in Hertzsprung Russell diagram (abbreviated as HRD) well-observed Algol systems. subsequent versions, effects mass angular momentum losses tidal coupling were included order to produce observed distributions periods ratios Algol-type binaries. The loss includ...

In f 1 l] the importance of the formal termination problem for a high level programming language has been pointed out. If this problem is algorithmically solvable, then the translator is at least principally able to check whether certain properties closely related to termination like macro property of programs or nonrecursivity or block behaviour of procedures are fulfilled and then to produce ...