Search for Author All Reviews
	Dreyer, Derek     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 3 of 3 reviews       Repairing sequential consistency in C/C++11 Lahav O., Vafeiadis V., Kang J., Hur C., Dreyer D.  PLDI 2017 (Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, Barcelona, Spain, Jun 18-23, 2017) 618-632, 2017.  Type: Proceedings The standards committee of the C++ programming language defined the C11 memory model. This model provides several notions of consistency for memory reads and writes, with sequentially consistent (SC) being the strongest and most expens...... Apr 26 2018     Non-parametric parametricity Neis G., Dreyer D., Rossberg A. ACM SIGPLAN Notices 44(9): 135-148, 2009.  Type: Article Programming languages with language constructs for analyzing types or casting from some abstract type to its concrete implementation type seem to violate abstraction principles (especially the parametricity principle that the current c...... May 17 2010     A type system for well-founded recursion Dreyer D. ACM SIGPLAN Notices 39(1): 293-305, 2004.  Type: Article ML’s module system--consisting of structures, signatures, and functors--is strictly hierarchical, forcing mutually recursive types and functions to be defined in the same module. The author uses a type-theor...... Sep 29 2004
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy