Skip Navigation

Receive this page by email each issue: [Sign up for eTOCs]

Contents: Volume 32, Number 5, 1989   [Index by Author] 
Other Issues: Previous Next  

Down Articles


[Search ALL Issues]

To see an article, click its [Full Text] or [PDF] link. To review many abstracts, check the boxes to the left of the titles you want, and click the 'Get All Checked Abstract(s)' button. To see one abstract at a time, click its [Abstract] link.

Articles Back

B. Wichmann
Editorial – Formal Methods in Computing
The Computer Journal 1989 32: 385; doi:10.1093/comjnl/32.5.385 [PDF] [Request Permissions]  

I. Sommerville and R. Thomson
An Approach to the Support of Software Evolution
The Computer Journal 1989 32: 386-398; doi:10.1093/comjnl/32.5.386 [Abstract] [PDF] [Request Permissions]  

Announcement
The Computer Journal 1989 32: 398; doi:10.1093/comjnl/32.5.398 [PDF] [Request Permissions]  

M. W. Shields
Implicit System Specification and the Interface Equation
The Computer Journal 1989 32: 399-412; doi:10.1093/comjnl/32.5.399 [Abstract] [PDF] [Request Permissions]  

Announcements
The Computer Journal 1989 32: 412; doi:10.1093/comjnl/32.5.412 [PDF] [Request Permissions]  

R. M. Gallimore, D. Coleman, and V. Stavridou
UMIST OBJ: a Language for Executable Program Specifications
The Computer Journal 1989 32: 413-421; doi:10.1093/comjnl/32.5.413 [Abstract] [PDF] [Request Permissions]  

C. McDonald and L. Allison
Denotational Semantics of a Command Interpreter and their Implementation in Standard ML
The Computer Journal 1989 32: 422-431; doi:10.1093/comjnl/32.5.422 [Abstract] [PDF] [Request Permissions]  

B. A. Wichmann
Towards a Formal Specification of Floating Point
The Computer Journal 1989 32: 432-436; doi:10.1093/comjnl/32.5.432 [Abstract] [PDF] [Request Permissions]  

Announcement
The Computer Journal 1989 32: 436; doi:10.1093/comjnl/32.5.436 [PDF] [Request Permissions]  

L. V. Mancini and G. Pappalardo
Proving Correctness Properties of a Replicated Synchronous Program
The Computer Journal 1989 32: 437-444; doi:10.1093/comjnl/32.5.437 [Abstract] [PDF] [Request Permissions]  

Announcement
The Computer Journal 1989 32: 444; doi:10.1093/comjnl/32.5.444 [PDF] [Request Permissions]  

V. P. Heuring, U. Kastens, R. G. Plummer, and W. M. Waite
COMAR: a Data Format for Integration of CFG Tools
The Computer Journal 1989 32: 445-452; doi:10.1093/comjnl/32.5.445 [Abstract] [PDF] [Request Permissions]  

P. Tsanakas, N. Alexandridis, and G. Papakonstantinou
An FP-based Design Methodology for Problem-oriented Architectures
The Computer Journal 1989 32: 453-460; doi:10.1093/comjnl/32.5.453 [Abstract] [PDF] [Request Permissions]  

D. I. Bevan, G. L. Burn, R. J. Karia, and J. D. Robson
Principles For the Design of a Distributed Memory Architecture for Parallel Graph Reduction
The Computer Journal 1989 32: 461-469; doi:10.1093/comjnl/32.5.461 [Abstract] [PDF] [Request Permissions]  

M. C. Er
A New Algorithm for Generating Binary Trees using Rotations
The Computer Journal 1989 32: 470-473; doi:10.1093/comjnl/32.5.470 [Abstract] [PDF] [Request Permissions]  

Announcement
The Computer Journal 1989 32: 473; doi:10.1093/comjnl/32.5.473 [PDF] [Request Permissions]  

J. A. Ellis and P. M. Lepolesa
Short Note: A Las Vegas graph Colouring Algorithm
The Computer Journal 1989 32: 474-476; doi:10.1093/comjnl/32.5.474 [Abstract] [PDF] [Request Permissions]  

To see an article, click its [Full Text] or [PDF] link. To review many abstracts, check the boxes to the left of the titles you want, and click the 'Get All Checked Abstract(s)' button. To see one abstract at a time, click its [Abstract] link.