Skip Navigation

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

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

Down Editorial
Down Articles
Down Book Reviews
Down Special Issue on Spatial Data
Down Notice
Down Announcement
Down Short Notes
Down Logic Programming
Down Computer Arithmetic
Down Announcement
Down Sorting
Down Short Notes
Down Additional Papers
Down Errata


[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

John Cooke
Editorial – Formal Methods: What? Why? and When?
The Computer Journal 1992 35: 545-546; doi:10.1093/comjnl/35.6.545 [PDF] [Request Permissions]  

Articles Back

E. A. Boiten, H. A. Partsch, D. Tuijnman, and N. Völker
How to Produce Correct Software – An Introduction to Formal Specification and Program Development by Transformations
The Computer Journal 1992 35: 547-554; doi:10.1093/comjnl/35.6.547 [Abstract] [PDF] [Request Permissions]  

P. G. Harrison
A Higher-Order Approach to Parallel Algorithms
The Computer Journal 1992 35: 555-566; doi:10.1093/comjnl/35.6.555 [Abstract] [PDF] [Request Permissions]  

P. G. Larsen and N. Plat
Standards for Non-Executable Specification Languages
The Computer Journal 1992 35: 567-573; doi:10.1093/comjnl/35.6.567 [Abstract] [PDF] [Request Permissions]  

D. R. Kuhn
A Technique for Analyzing the Effects of Changes in Formal Specifications
The Computer Journal 1992 35: 574-578; doi:10.1093/comjnl/35.6.574 [Abstract] [PDF] [Request Permissions]  

L. M. Barroca and J. A. McDermid
Formal Methods: Use and Relevance for the Development of Safety-Critical Systems
The Computer Journal 1992 35: 579-599; doi:10.1093/comjnl/35.6.579 [Abstract] [PDF] [Request Permissions]  

L. T. Semmens, R. B. France, and T. W. G. Docker
Integrated Structured Analysis and Formal Specification Techniques
The Computer Journal 1992 35: 600-610; doi:10.1093/comjnl/35.6.600 [Abstract] [PDF] [Request Permissions]  

V. Misic, D. Velasevic, and B. Lazarevic
Formal Specification of a Data Dictionary for an Extended ER Data Model
The Computer Journal 1992 35: 611-622; doi:10.1093/comjnl/35.6.611 [Abstract] [PDF] [Request Permissions]  

B-C. Huang and M. A. Langston
Fast Stable Merging and Sorting in Constant Extra Space
The Computer Journal 1992 35: 643-650; doi:10.1093/comjnl/35.6.643 [Abstract] [PDF] [Request Permissions]  

Book Reviews Back

R. Moore
Programming with VDM
The Computer Journal 1992 35: 554; doi:10.1093/comjnl/35.6.554 [PDF] [Request Permissions]  

J. Bishop
A Compiler Writer's Toolbox
The Computer Journal 1992 35: 573; doi:10.1093/comjnl/35.6.573 [PDF] [Request Permissions]  

R. E. Cooley
The Integration of Expert Systems into Mainstream Software
The Computer Journal 1992 35: 610; doi:10.1093/comjnl/35.6.610 [PDF] [Request Permissions]  

Trevor Clarkson
VLSI Design of Neural Networks,
The Computer Journal 1992 35: 624; doi:10.1093/comjnl/35.6.624 [PDF] [Request Permissions]  

J. Mak
CD-ROMS in Print: an International Guide to CD-ROM, CD-I, CDTV & Electronic Book Product
The Computer Journal 1992 35: 629; doi:10.1093/comjnl/35.6.629 [PDF] [Request Permissions]  

R. E. Massara
Book Review
The Computer Journal 1992 35: 650; doi:10.1093/comjnl/35.6.650 [PDF] [Request Permissions]  

M. A. H. MacCallum
Book Review
The Computer Journal 1992 35: 650; doi:10.1093/comjnl/35.6.650-a [PDF] [Request Permissions]  

Peter Wallis
Software Reuse Guidelines and Method
The Computer Journal 1992 35: 668; doi:10.1093/comjnl/35.6.668 [PDF] [Request Permissions]  

Special Issue on Spatial Data Back

Special Issue on Spatial Data – Call for Papers
The Computer Journal 1992 35: 554; doi:10.1093/comjnl/35.6.554-a [PDF] [Request Permissions]  

Notice Back

Notice
The Computer Journal 1992 35: 578; doi:10.1093/comjnl/35.6.578 [PDF] [Request Permissions]  

Announcement Back

Announcement
The Computer Journal 1992 35: 599; doi:10.1093/comjnl/35.6.599 [PDF] [Request Permissions]  

Announcement
The Computer Journal 1992 35: 610; doi:10.1093/comjnl/35.6.610-a [PDF] [Request Permissions]  

Short Notes Back

G. O'Neill
Automatic Translation of VDM Specifications into Standard ML Programs
The Computer Journal 1992 35: 623-624; doi:10.1093/comjnl/35.6.623 [Abstract] [PDF] [Request Permissions]  

Logic Programming Back

I. Bruha
AI Multilanguage System McPOPLOG: The Power of Communication Between its Subsystems
The Computer Journal 1992 35: 625-629; doi:10.1093/comjnl/35.6.625 [Abstract] [PDF] [Request Permissions]  

Computer Arithmetic Back

F. Barsi and M. C. Pinotti
Adding Flexibility to Hybrid Number Systems
The Computer Journal 1992 35: 630-635; doi:10.1093/comjnl/35.6.630 [Abstract] [PDF] [Request Permissions]  

Announcement Back

Announcement
The Computer Journal 1992 35: 635; doi:10.1093/comjnl/35.6.635 [PDF] [Request Permissions]  

Announcement
The Computer Journal 1992 35: 642; doi:10.1093/comjnl/35.6.642 [PDF] [Request Permissions]  

Announcement
The Computer Journal 1992 35: 668; doi:10.1093/comjnl/35.6.668-a [PDF] [Request Permissions]  

Sorting Back

I. J. Davis
A Fast Radix Sort
The Computer Journal 1992 35: 636-642; doi:10.1093/comjnl/35.6.636 [Abstract] [PDF] [Request Permissions]  

Short Notes Back

A. P. Robson and D. J. Kinniment
SIMSTRICT: A Behavioural Simulator for Use with the STRICT Hardware Description Language
The Computer Journal 1992 35: 651-654; doi:10.1093/comjnl/35.6.651 [Abstract] [PDF] [Request Permissions]  

C. M. Eastman and R. P. Trueblood
Occupancy Models for the Estimation of Block Accesses
The Computer Journal 1992 35: 654-658; doi:10.1093/comjnl/35.6.654 [Abstract] [PDF] [Request Permissions]  

C. H. Lin, C. C. Chang, and R. C. T. Lee
A Record-Oriented Cryptosystem for Database Sharing
The Computer Journal 1992 35: 658-660; doi:10.1093/comjnl/35.6.658 [Abstract] [PDF] [Request Permissions]  

A. P. Korah and M. R. Kaimal
A Short Note on Perfectly Balanced Binary Search Trees
The Computer Journal 1992 35: 660-662; doi:10.1093/comjnl/35.6.660 [Abstract] [PDF] [Request Permissions]  

Y-C. Hou and J-C. Tsay
On Equivalent Systolic Designs of LU Decomposition and Its Algebraic Representation
The Computer Journal 1992 35: 662-666; doi:10.1093/comjnl/35.6.662 [Abstract] [PDF] [Request Permissions]  

Y. Manolopoulos
Reverse Chaining for Answering Temporal Logical Queries
The Computer Journal 1992 35: 666-668; doi:10.1093/comjnl/35.6.666 [Abstract] [PDF] [Request Permissions]  

Additional Papers Back

Additional Papers
The Computer Journal 1992 35: 669-670; doi:10.1093/comjnl/35.6.669 [PDF] [Request Permissions]  

Errata Back

Errata
The Computer Journal 1992 35: 670; doi:10.1093/comjnl/35.6.670 [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.