The Computer Journal

Articles

C. J. Van Rijsbergen

A non-classical logic for information retrieval
The Computer Journal 1986 29: 481-485; doi:10.1093/comjnl/29.6.481 [Abstract] [PDF] [Request Permissions]  

R. M. Lea

VLSI and WSI Associative String Processors for cost-effective Parallel Processing
The Computer Journal 1986 29: 486-494; doi:10.1093/comjnl/29.6.486 [Abstract] [PDF] [Request Permissions]  

W. F. Clocksin

Automatic Specialisation of Standard Designs
The Computer Journal 1986 29: 495-499; doi:10.1093/comjnl/29.6.495 [Abstract] [PDF] [Request Permissions]  

M. E. C. Hull

Implementations of the CSP Notation for Concurrent Systems
The Computer Journal 1986 29: 500-505; doi:10.1093/comjnl/29.6.500 [Abstract] [PDF] [Request Permissions]  

L. M. Patnaik and J. Basu

Two Tools for Interprocess Communication in Distributed Data-Flow Systems
The Computer Journal 1986 29: 506-521; doi:10.1093/comjnl/29.6.506 [Abstract] [PDF] [Request Permissions]  

R. R. Levary and W. D. Edwards

Analysing the Impact of Adding a New Software System on Main Memory Usage
The Computer Journal 1986 29: 522-526; doi:10.1093/comjnl/29.6.522 [Abstract] [PDF] [Request Permissions]  

D. Mackay, G. Ball, M. Crowe, M. Hughes, D. Jenkins, and C. Nicol

A UNIX-based System for Software Configuration Management
The Computer Journal 1986 29: 527-530; doi:10.1093/comjnl/29.6.527 [Abstract] [PDF] [Request Permissions]  

P. Pandya and M. Joseph

A Structure-directed Total Correctness Proof Rule for Recursive Procedure Calls
The Computer Journal 1986 29: 531-537; doi:10.1093/comjnl/29.6.531 [Abstract] [PDF] [Request Permissions]  

A. J. Cowling

Type Checking in Polymorphic Languages
The Computer Journal 1986 29: 538-544; doi:10.1093/comjnl/29.6.538 [Abstract] [PDF] [Request Permissions]  

P. Leith

Fundamental Errors in Legal Logic Programming
The Computer Journal 1986 29: 545-552; doi:10.1093/comjnl/29.6.545 [Abstract] [PDF] [Request Permissions]  

M. Ancona, L. De Floriani, and J. S. Deogun

Path Problems in Structured Graphs
The Computer Journal 1986 29: 553-563; doi:10.1093/comjnl/29.6.553 [Abstract] [PDF] [Request Permissions]  

K. J. MacCallum and J.-M. Zhang

Curve-smoothing Techniques Using B-splines
The Computer Journal 1986 29: 564-571; doi:10.1093/comjnl/29.6.564 [Abstract] [PDF] [Request Permissions]  

R. A. Frost

Short Notes: Improving output from research (in the domain of knowledge base systems)
The Computer Journal 1986 29: 572-573; doi:10.1093/comjnl/29.6.572 [PDF] [Request Permissions]  

V. Akman

Short Notes: Writing Self-replicating Code
The Computer Journal 1986 29: 573-574; doi:10.1093/comjnl/29.6.573 [Abstract] [PDF] [Request Permissions]  

C. M. Castle and M. L. V. Pitteway

Correspondence
The Computer Journal 1986 29: 574; doi:10.1093/comjnl/29.6.574 [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.