1
Published 2006
Table of Contents: ... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...
View full text
Electronic eBook