External Links

    Journal: Formal Asp. Comput.

    Volume 6, Issue 4

    359 -- 390David M. Russinoff. A Mechanically Verified Incremental Garbage Collector
    391 -- 416Karl J. Lieberherr, Walter L. Hürsch, Cun Xiao. Object-Extending Class Transformations
    417 -- 439J. P. Wray, A. Stewart. Correct Translation of Data Parallel Assignment onto Array Processors
    440 -- 465Peter Dybjer. Inductive Families
    466 -- 470I. S. W. B. Prasetya. Error in the UNITY Rule for Subscripted Operators (Short Communication)
    runs on