5 research outputs found

    Specialization of applications using shared libraries

    Get PDF
    Ph.DDOCTOR OF PHILOSOPH

    Partial Evaluation for Concurrent Software Finite State Verification

    Get PDF

    Using Types to Avoid Redundant Specialization\Lambda

    No full text
    corecore