The Computer Journal

Articles

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.