![Software engineering / Application programming interfaces / Fortran / OpenMP / Model theory / Task parallelism / Stack / Stable model semantics / Term algebra / Computing / Computer programming / Parallel computing Software engineering / Application programming interfaces / Fortran / OpenMP / Model theory / Task parallelism / Stack / Stable model semantics / Term algebra / Computing / Computer programming / Parallel computing](https://www.pdfsearch.io/img/0713c978aa1a5630d694f47c9ce8aa4e.jpg) Date: 2013-04-17 08:32:31Software engineering Application programming interfaces Fortran OpenMP Model theory Task parallelism Stack Stable model semantics Term algebra Computing Computer programming Parallel computing | | Concise analysis using implication algebras for task-local memory optimisation Leo White and Alan Mycroft Computer Laboratory, University of Cambridge William Gates Building, 15 JJ Thomson Avenue, Cambridge CB3 0FD, UKAdd to Reading ListSource URL: www.cl.cam.ac.ukDownload Document from Source Website File Size: 361,61 KBShare Document on Facebook
|