Journals in DBLP

Comput. J.
1992, volume: 35, number: 6

1. Eerke A. Boiten, Helmuth Partsch, Daniel Tuijnman, Norbert Völker
   How to Produce Correct Software - An Introduction to Formal Specification and Program Development by Transformations. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1992, v:35, n:6, pp:547-554 [Journal]
   
2. Peter G. Harrison
   A Higher-Order Approach to Parallel Algorithms. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1992, v:35, n:6, pp:555-566 [Journal]
   
3. Peter Gorm Larsen, Nico Plat
   Standards for Non- Executable Specification Languages. [Citation Graph (1, 0)][DBLP]
   Comput. J., 1992, v:35, n:6, pp:567-573 [Journal]
   
4. D. R. Kuhn
   A Technique for Analyzing the Effects of Changes in Formal Specifications. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1992, v:35, n:6, pp:574-578 [Journal]
   
5. L. M. Barroca, John A. McDermid
   Formal Methods: Use and Relevance for the Development of Safety-Critical Systems. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1992, v:35, n:6, pp:579-599 [Journal]
   
6. Lesley Semmens, Robert B. France, Thomas W. G. Docker
   Integrated Structured Analysis and Formal Specification Techniques. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1992, v:35, n:6, pp:600-610 [Journal]
   
7. Vojislav B. Misic, L. Dusan Velasevic, Branislav Lazarevic
   Formal Specification of a Data Dictionary for an Extended ER Data Model. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1992, v:35, n:6, pp:611-622 [Journal]
   
8. G. O'Neill
   Automatic Translation of VDM Specifications into Standard ML Programs (Short Note). [Citation Graph (0, 0)][DBLP]
   Comput. J., 1992, v:35, n:6, pp:623-624 [Journal]
   
9. Ivan Bruha
   Al Multilanguage System McPOPLOG: The Power of Communication Between its Subsystems. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1992, v:35, n:6, pp:625-629 [Journal]
   
10. Ferruccio Barsi, Maria Cristina Pinotti
    Adding Flexibility to Hybrid Number Systems. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1992, v:35, n:6, pp:630-635 [Journal]
    
11. Ian J. Davis
    A Fast Radix Sort. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1992, v:35, n:6, pp:636-642 [Journal]
    
12. Bing-Chao Huang, Michael A. Langston
    Fast Stable Merging and Sorting in Constant Extra Space. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1992, v:35, n:6, pp:643-650 [Journal]
    
13. A. P. Robson, D. J. Kinniment
    SIMSTRICT: A Behavioural Simulator for Use with the STRICT Hardware Description Language (Short Note). [Citation Graph (0, 0)][DBLP]
    Comput. J., 1992, v:35, n:6, pp:651-654 [Journal]
    
14. Caroline M. Eastman, Robert P. Trueblood
    Occupancy Models for the Estimation of Block Accesses. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1992, v:35, n:6, pp:654-658 [Journal]
    
15. Chu-Hsing Lin, Chin-Chen Chang, Richard C. T. Lee
    A Record-Oriented Cryptosystem for Database Sharing (Short Note). [Citation Graph (0, 0)][DBLP]
    Comput. J., 1992, v:35, n:6, pp:658-660 [Journal]
    
16. A. P. Korah, M. R. Kaimal
    A Short Note on Perfectly Balanced Binary Search Trees. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1992, v:35, n:6, pp:660-662 [Journal]
    
17. Yodung-Chang Hou, Jong-Chuang Tsay
    On Equivalent Systolic Designs of LU Decomposition and Its Algebraic Representation (Short Note). [Citation Graph (0, 0)][DBLP]
    Comput. J., 1992, v:35, n:6, pp:662-666 [Journal]
    
18. Yannis Manolopoulos
    Reverse Chaining for Answering Temporal Logical Queries (Short Note). [Citation Graph (1, 0)][DBLP]
    Comput. J., 1992, v:35, n:6, pp:666-668 [Journal]