Journal: Comput. J.

Volume 57, Issue 5

639 -- 674Joshua Amavi, Béatrice Bouchou, Agata Savary. On Correcting XML Documents with Respect to a Schema
675 -- 692Rekai González-Alberquilla, Fernando Emmanuel Frati, Luis Piñuel, Karin Strauss, Luis Ceze. Data Race Detection with Minimal Hardware Support
693 -- 707Victor Khomenko, Andrey Mokhov. Direct Construction of Complete Merged Processes
708 -- 730Chao Zhu, Qiang Zhu, Calisto Zuzarte. Optimization of Monotonic Linear Progressive Queries Based on Dynamic Materialized Views
731 -- 743Kuei-Hao Chen, Guan-Shieng Huang, Richard Chia-Tung Lee. Bit-Parallel Algorithms for Exact Circular String Matching
744 -- 758Lijun Lun, Xin Chi, Hui Xu. The Relationship between Forward Slicing and Backward Slicing for Software Architecture
759 -- 774Patrick J. Graydon, Iain Bate. Realistic Safety Cases for the Timing of Systems
775 -- 795Rada Chirkova. Combined-Semantics Equivalence and Minimization of Conjunctive Queries