Craig Chambers

From MaRDI portal
Person:1398669

Available identifiers

zbMath Open chambers.craigMaRDI QIDQ1398669

List of research outcomes





PublicationDate of PublicationType
Automated soundness proofs for dataflow analyses and transformations via local rules2017-07-14Paper
Modular typechecking for hierarchically extensible datatypes and functions2015-10-07Paper
Composing dataflow analyses and transformations2015-03-17Paper
A theory of platform-dependent low-level software2014-09-12Paper
https://portal.mardi4nfdi.de/entity/Q30467502004-08-12Paper
Comprehensive synchronization elimination for Java.2003-08-07Paper
Modular statically typed multimethods2003-01-14Paper
DyC: An expressive annotation-directed dynamic compiler for C2000-10-26Paper

Research outcomes over time

This page was built for person: Craig Chambers

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1398669&oldid=11090608"
Powered by MediaWiki