Skip Navigation

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

Contents: Volume 35, Number 2, April 1992   [Index by Author] 
Other Issues: Previous Next  

Down Editorial
Down Special Issue on Databases
Down Announcements
Down Erratum
Down Book Reviews
Down Special Issue on Programming Paradigms
Down Standard Issue
Down Short Notes
Down Additional Papers


[Search ALL Issues]

Front Matter (PDF) | Back Matter (PDF)

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.

Editorial Back

Editorial
The Computer Journal 1992 35: 97; doi:10.1093/comjnl/35.2.97 [PDF] [Request Permissions]  

Special Issue on Databases Back

W. Sun, W. Meng, and C. Yu
Query Optimisation in Distributed Object-Oriented Database Systems
The Computer Journal 1992 35: 98-107; doi:10.1093/comjnl/35.2.98 [Abstract] [PDF] [Request Permissions]  

J. A. Mariani
Oggetto: An Object Oriented Database Layered on a Triple Store
The Computer Journal 1992 35: 108-118; doi:10.1093/comjnl/35.2.108 [Abstract] [PDF] [Request Permissions]  

A. Poulovassilis
The Implementation of FDL, a Functional Database Language
The Computer Journal 1992 35: 119-128; doi:10.1093/comjnl/35.2.119 [Abstract] [PDF] [Request Permissions]  

J. S. H. Yang, Y. H. Chin, and C. G. Chung
Many-Sorted First-Order Logic Database Language
The Computer Journal 1992 35: 129-137; doi:10.1093/comjnl/35.2.129 [Abstract] [PDF] [Request Permissions]  

Announcements Back

Announcements
The Computer Journal 1992 35: 107; doi:10.1093/comjnl/35.2.107 [PDF] [Request Permissions]  

Announcements
The Computer Journal 1992 35: 137; doi:10.1093/comjnl/35.2.137 [PDF] [Request Permissions]  

Erratum Back

Erratum
The Computer Journal 1992 35: 107; doi:10.1093/comjnl/35.2.107-a [Abstract] [PDF] [Request Permissions]  

Book Reviews Back

G. Scarrott
Logic and Information
The Computer Journal 1992 35: 118; doi:10.1093/comjnl/35.2.118 [PDF] [Request Permissions]  

I. D. Hill
Collins Gem Basic Facts: Computers, 3rd edn
The Computer Journal 1992 35: 128; doi:10.1093/comjnl/35.2.128 [PDF] [Request Permissions]  

N. Obeid
Nonmonotonic Reasoning: Logical Foundation of Commonsense
The Computer Journal 1992 35: 147; doi:10.1093/comjnl/35.2.147 [PDF] [Request Permissions]  

D. Ince
Formal Specification using Z
The Computer Journal 1992 35: 147; doi:10.1093/comjnl/35.2.147-a [PDF] [Request Permissions]  

L. Paulson
Logical Frameworks
The Computer Journal 1992 35: 156; doi:10.1093/comjnl/35.2.156 [PDF] [Request Permissions]  

Ken Moody
An Introduction to Formal Languages and Automata
The Computer Journal 1992 35: 176; doi:10.1093/comjnl/35.2.176 [PDF] [Request Permissions]  

Special Issue on Programming Paradigms Back

P. G. Harrison and H. Khoshnevisan
The Mechanical Transformation of Data Types
The Computer Journal 1992 35: 138-147; doi:10.1093/comjnl/35.2.138 [Abstract] [PDF] [Request Permissions]  

Th. P. Van Der Weide, A. H. M. Ter Hofstede, and P. Van Bommel
Uniquest: Determining the Semantics of Complex Uniqueness Constraints
The Computer Journal 1992 35: 148-156; doi:10.1093/comjnl/35.2.148 [Abstract] [PDF] [Request Permissions]  

T. Conlon and S. Gregory
Debugging Tools for Concurrent Logic Programming
The Computer Journal 1992 35: 157-169; doi:10.1093/comjnl/35.2.157 [Abstract] [PDF] [Request Permissions]  

S. Thompson and R. Lins
The Categorical Multi-Combinator Machine: CMCM
The Computer Journal 1992 35: 170-176; doi:10.1093/comjnl/35.2.170 [Abstract] [PDF] [Request Permissions]  

Standard Issue Back

O. Nevalainen and T. Raita
An Internal Hybrid Sort Algorithm Revisited
The Computer Journal 1992 35: 177-183; doi:10.1093/comjnl/35.2.177 [Abstract] [PDF] [Request Permissions]  

Short Notes Back

I. Shearer
Retrospective Update: Data as it was Believed to be
The Computer Journal 1992 35: 184; doi:10.1093/comjnl/35.2.184 [PDF] [Request Permissions]  

T. D. Gedeon
The Reve's Puzzle: An Iterative Solution Produced by Transformation
The Computer Journal 1992 35: 186; doi:10.1093/comjnl/35.2.186 [Abstract] [PDF] [Request Permissions]  

Additional Papers Back

Additional Papers
The Computer Journal 1992 35: 188; doi:10.1093/comjnl/35.2.188 [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.