Automatic Parallelization with Separation Logic (Q3617713)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Automatic Parallelization with Separation Logic
scientific article

    Statements

    Automatic Parallelization with Separation Logic (English)
    0 references
    0 references
    0 references
    0 references
    31 March 2009
    0 references

    Identifiers