Publication

×

Error message

  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Deprecated function: implode(): Passing glue string after array is deprecated. Swap the parameters in drupal_get_feeds() (line 394 of /var/www/html/site-publications/includes/common.inc).
SharC: checking data sharing strategies for multithreaded C.
Zachary R. Anderson, David Gay, Robert Ennals, and Eric A. Brewer
Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, January 2008
@inproceedings{abc,
	author = {Zachary R. Anderson and David Gay and Robert Ennals and Eric A. Brewer},
	booktitle = {Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA},
	title = {SharC: checking data sharing strategies for multithreaded C.},
	url = {http://doi.acm.org/10.1145/1375581.1375600},
	year = {2008}
}