Geometry of Synthesis III: Resource Management Through Type Inference

Dan Ghica, Alexander Smith

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Publication status	Published - 1 Jan 2011
Event	Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - Duration: 1 Jan 2011 → …

Conference	Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Period	1/01/11 → …

Keywords

@conference{d6e9238b9dee454095639d3434a300f5,

title = "Geometry of Synthesis III: Resource Management Through Type Inference",

keywords = "Event Logic, Syntactic Control of Interference, Game Semantics, Automatic Synthesis",

author = "Dan Ghica and Alexander Smith",

year = "2011",

month = jan,

day = "1",

language = "English",

note = "Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ; Conference date: 01-01-2011",

}

TY - CONF

T1 - Geometry of Synthesis III: Resource Management Through Type Inference

AU - Ghica, Dan

AU - Smith, Alexander

PY - 2011/1/1

Y1 - 2011/1/1

KW - Event Logic

KW - Syntactic Control of Interference

KW - Game Semantics

KW - Automatic Synthesis

M3 - Paper

T2 - Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Y2 - 1 January 2011

ER -