The Computer Journal

Articles

M. W. Shields

Concurrent Machines
The Computer Journal 1985 28: 449-465; doi:10.1093/comjnl/28.5.449 [Abstract] [PDF] [Request Permissions]  

K. Kant and A. Silberschatz

Error Propagation and Recovery in Concurrent Environments
The Computer Journal 1985 28: 466-473; doi:10.1093/comjnl/28.5.466 [Abstract] [PDF] [Request Permissions]  

Conference
The Computer Journal 1985 28: 473; doi:10.1093/comjnl/28.5.473 [PDF] [Request Permissions]  

Announcements
The Computer Journal 1985 28: 473; doi:10.1093/comjnl/28.5.473-a [PDF] [Request Permissions]  

L. C. Paulson

Lessons learned from LCF: A Survey of Natural Deduction Proofs
The Computer Journal 1985 28: 474-479; doi:10.1093/comjnl/28.5.474 [Abstract] [PDF] [Request Permissions]  

L. Allison

Programming Denotational Semantics II
The Computer Journal 1985 28: 480-486; doi:10.1093/comjnl/28.5.480 [Abstract] [PDF] [Request Permissions]  

Z. Markusz and A. A. Kaposi

Complexity Control in Logic-based Programming
The Computer Journal 1985 28: 487-495; doi:10.1093/comjnl/28.5.487 [Abstract] [PDF] [Request Permissions]  

R. M. O'Keefe

Comment on ‘Complexity Analyses of Event Set Algorithms’
The Computer Journal 1985 28: 496-497; doi:10.1093/comjnl/28.5.496 [Abstract] [PDF] [Request Permissions]  

N. Shebini

FEDOS: A Finite Element Database for Offshore Structures
The Computer Journal 1985 28: 498-500; doi:10.1093/comjnl/28.5.498 [Abstract] [PDF] [Request Permissions]  

P. M. D. Gray and P. Esslemont

The Performance of a Relational Interface to a Codasyl Database
The Computer Journal 1985 28: 501-507; doi:10.1093/comjnl/28.5.501 [Abstract] [PDF] [Request Permissions]  

The Wilkes Award 1984
The Computer Journal 1985 28: 507; doi:10.1093/comjnl/28.5.507 [PDF] [Request Permissions]  

D. J. Flynn and A. H. F. Laender

Mapping from a Conceptual Schema to a Target Internal Schema
The Computer Journal 1985 28: 508-517; doi:10.1093/comjnl/28.5.508 [Abstract] [PDF] [Request Permissions]  

Conference
The Computer Journal 1985 28: 517; doi:10.1093/comjnl/28.5.517 [Abstract] [PDF] [Request Permissions]  

C. H. C. Leung and K. Wolfenden

Analysis and Optimisation of Data Currency and Consistency in Replicated Distributed Databases
The Computer Journal 1985 28: 518-523; doi:10.1093/comjnl/28.5.518 [Abstract] [PDF] [Request Permissions]  

M. Hatzopoulos and J. G. Kollias

Towards the Optimal Secondary Index Organisation and Secondary Index Selection
The Computer Journal 1985 28: 524-529; doi:10.1093/comjnl/28.5.524 [Abstract] [PDF] [Request Permissions]  

Announcements
The Computer Journal 1985 28: 529; doi:10.1093/comjnl/28.5.529 [PDF] [Request Permissions]  

A. J. Compton

An Algorithm for the Even Distribution of Entities in One Dimension
The Computer Journal 1985 28: 530-537; doi:10.1093/comjnl/28.5.530 [Abstract] [PDF] [Request Permissions]  

M. C. ER

Enumerating Ordered Trees Lexicographically
The Computer Journal 1985 28: 538-542; doi:10.1093/comjnl/28.5.538 [Abstract] [PDF] [Request Permissions]  

R. J. Heard

Correspondence
The Computer Journal 1985 28: 543; doi:10.1093/comjnl/28.5.543 [PDF] [Request Permissions]  

M. C. ER

Correspondence
The Computer Journal 1985 28: 543-544; doi:10.1093/comjnl/28.5.543-a [PDF] [Request Permissions]  

Announcement
The Computer Journal 1985 28: 544; doi:10.1093/comjnl/28.5.544 [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.