Search for Author All Reviews
	Botinčan, Matko     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 1 of 1 reviews       Proof-directed parallelization synthesis by separation logic Botinčan M., Dodds M., Jagannathan S. ACM Transactions on Programming Languages and Systems 35(2): 1-60, 2013.  Type: Article The parallelization of sequential programs is a tedious and error-prone task; the incorrect use of synchronization primitives may yield a program that produces different results than the original code, or even different results in diff...... Sep 27 2013
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy