Craig Chambers

Available identifiers

zbMath Open chambers.craigMaRDI QIDQ1398669

List of research outcomes

Publication	Date of Publication	Type
Automated soundness proofs for dataflow analyses and transformations via local rules	2017-07-14	Paper
Modular typechecking for hierarchically extensible datatypes and functions	2015-10-07	Paper
Composing dataflow analyses and transformations	2015-03-17	Paper
A theory of platform-dependent low-level software	2014-09-12	Paper
https://portal.mardi4nfdi.de/entity/Q3046750	2004-08-12	Paper
Comprehensive synchronization elimination for Java.	2003-08-07	Paper
Modular statically typed multimethods	2003-01-14	Paper
DyC: An expressive annotation-directed dynamic compiler for C	2000-10-26	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Craig Chambers