Skip Navigation

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

Contents: Volume 38, Number 2, 1995   [Index by Author] 
Other Issues: Previous Next  

Down Articles


[Search ALL Issues]

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.

Articles Back

T. F. Melham
Special issue editorial. Higher order logic theorem proving and its application
The Computer Journal 1995 38: 89-90; doi:10.1093/comjnl/38.2.89 [PDF] [Request Permissions]  

P. Curzon
Tracking design changes with formal machine-checked proof
The Computer Journal 1995 38: 91-100; doi:10.1093/comjnl/38.2.91 [Abstract] [PDF] [Request Permissions]  

M. Larsson
An engineering approach to formal digital system design
The Computer Journal 1995 38: 101-110; doi:10.1093/comjnl/38.2.101 [Abstract] [PDF] [Request Permissions]  

S. Tahar and R. Kumar
Formal specification and verification techniques for RISC pipeline conflicts
The Computer Journal 1995 38: 111-120; doi:10.1093/comjnl/38.2.111 [Abstract] [PDF] [Request Permissions]  

S. Agerholm
LCF examples in HOL
The Computer Journal 1995 38: 121-130; doi:10.1093/comjnl/38.2.121 [Abstract] [PDF] [Request Permissions]  

P. V. Homeier and D. F. Martin
A mechanically verified verification condition generator
The Computer Journal 1995 38: 131-141; doi:10.1093/comjnl/38.2.131 [Abstract] [PDF] [Request Permissions]  

E. Gunter and S. Maharj
Studying the ML module system in HOL
The Computer Journal 1995 38: 142-151; doi:10.1093/comjnl/38.2.142 [Abstract] [PDF] [Request Permissions]  

C.-T. Chou
Mechanical verification of distributed algorithms in higher-order logic
The Computer Journal 1995 38: 152-161; doi:10.1093/comjnl/38.2.152 [Abstract] [PDF] [Request Permissions]  

J. Harrison
Binary Decision Diagrams as a HOL derived rule
The Computer Journal 1995 38: 162-170; doi:10.1093/comjnl/38.2.162 [Abstract] [PDF] [Request Permissions]  

J. von Wright
Representing higher-order logic proofs in HOL
The Computer Journal 1995 38: 171-179; doi:10.1093/comjnl/38.2.171 [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.