4 research outputs found

    Some properties of implementations of abstract data types

    Get PDF

    Implementations of abstract data types and their correctness proofs

    Get PDF

    Data abstraction and the correctness of modular programming

    Get PDF
    corecore