Search Results for 'Psyco'

Psyco published presentations and documents on DocSlides.

Weakest Precondition Synthesis for Compiler Optimizations

Weakest Precondition Synthesis for Compiler Optimizations

cheryl-pisano
31 Slides

Nuno Lopes . and. José Monteiro. Deriving preco...

Weakest Precondition Synthesis for Compiler Optimizations

Weakest Precondition Synthesis for Compiler Optimizations

jewelupper
31 Slides

Nuno Lopes . and. José Monteiro. Deriving precon...

Copyright © 2024 DocSlides. All Rights Reserved