Noah Torp-Smith

From MaRDI portal
Person:607402

Available identifiers

zbMath Open torp-smith.noahMaRDI QIDQ607402

List of research outcomes





PublicationDate of PublicationType
Local reasoning about a copying garbage collector2015-11-11Paper
Blaming the client: on data refinement in the presence of pointers2010-11-22Paper
Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages2007-10-11Paper
Programming Languages and Systems2005-09-13Paper
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science2005-08-12Paper

Research outcomes over time

This page was built for person: Noah Torp-Smith

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