The Computer Journal

Articles

G. S. Blair, J. A. Mariani, J. R. Nicol, and D. Shepherd

A Knowledge-based Operating System
The Computer Journal 1987 30: 193-200; doi:10.1093/comjnl/30.3.193 [Abstract] [PDF] [Request Permissions]  

C. M. Reeves

Chainmail: A Model of First-fit Memory Allocation
The Computer Journal 1987 30: 201-213; doi:10.1093/comjnl/30.3.201 [Abstract] [PDF] [Request Permissions]  

P. C. Birkimsher

Combinator Reduction in a Shared-memory Multiprocessor
The Computer Journal 1987 30: 214-222; doi:10.1093/comjnl/30.3.214 [Abstract] [PDF] [Request Permissions]  

N. S. Coulter, R. B. Cooper, and M. K. Solomon

Information-theoretic Complexity of Program Specifications
The Computer Journal 1987 30: 223-227; doi:10.1093/comjnl/30.3.223 [Abstract] [PDF] [Request Permissions]  

K. A. Redish and W. F. Smyth

Evaluating Measure of Program Quality
The Computer Journal 1987 30: 228-232; doi:10.1093/comjnl/30.3.228 [Abstract] [PDF] [Request Permissions]  

J. K. Navlakha

A Survey of System Complexity Metrics
The Computer Journal 1987 30: 233-238; doi:10.1093/comjnl/30.3.233 [Abstract] [PDF] [Request Permissions]  

D. Gray

A Pedagogical Verification Condition Generator
The Computer Journal 1987 30: 239-248; doi:10.1093/comjnl/30.3.239 [Abstract] [PDF] [Request Permissions]  

Announcement
The Computer Journal 1987 30: 248; doi:10.1093/comjnl/30.3.248 [PDF] [Request Permissions]  

C. C. Chang

An Information Protection Scheme Based upon Number Theory
The Computer Journal 1987 30: 249-253; doi:10.1093/comjnl/30.3.249 [Abstract] [PDF] [Request Permissions]  

Announcement
The Computer Journal 1987 30: 253; doi:10.1093/comjnl/30.3.253 [PDF] [Request Permissions]  

B. Teufel

System Design for the Remote Execution of Library Routines
The Computer Journal 1987 30: 254-257; doi:10.1093/comjnl/30.3.254 [Abstract] [PDF] [Request Permissions]  

C.-L. Wey and F. Lombardi

On a Novel Self-test Approach to Digital Testing
The Computer Journal 1987 30: 258-267; doi:10.1093/comjnl/30.3.258 [Abstract] [PDF] [Request Permissions]  

Announcement
The Computer Journal 1987 30: 267; doi:10.1093/comjnl/30.3.267 [PDF] [Request Permissions]  

J. C. Nash and S. Shlien

Simple Algorithms for the Partial Singular Value Decomposition
The Computer Journal 1987 30: 268-275; doi:10.1093/comjnl/30.3.268 [Abstract] [PDF] [Request Permissions]  

Announcement
The Computer Journal 1987 30: 275; doi:10.1093/comjnl/30.3.275 [PDF] [Request Permissions]  

Algorithm Supplement
The Computer Journal 1987 30: 276; doi:10.1093/comjnl/30.3.276 [PDF] [Request Permissions]  

I. D. Hill, B. A. Wichmann, and D. R. Woodall

Algorithm Supplement: Single Transferable Vote by Meek's Method
The Computer Journal 1987 30: 277-281; doi:10.1093/comjnl/30.3.277 [PDF] [Request Permissions]  

M. C. Er

Short Note: An Efficient Implementation of Permutation Backtracking in Lexicographic Order
The Computer Journal 1987 30: 282; doi:10.1093/comjnl/30.3.282 [Abstract] [PDF] [Request Permissions]  

D. Salomon

Short Note: A Design for an Efficient NOR-gate only, Binary-ripple Adder with Carry-completion-detection Logic
The Computer Journal 1987 30: 283-285; doi:10.1093/comjnl/30.3.283 [Abstract] [PDF] [Request Permissions]  

R. Kowalski and M. Sergot

Correspondence
The Computer Journal 1987 30: 285; doi:10.1093/comjnl/30.3.285 [PDF] [Request Permissions]  

T. J. Froggatt

Correspondence
The Computer Journal 1987 30: 285-286; doi:10.1093/comjnl/30.3.285-a [PDF] [Request Permissions]  

Announcements
The Computer Journal 1987 30: 286; doi:10.1093/comjnl/30.3.286 [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.