Type inference against races

DOI10.1016/j.scico.2006.03.006zbMath1171.68399OpenAlexW1999539882MaRDI QIDQ859964

Stephen N. Freund, Cormac Flanagan

Publication date: 22 January 2007

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2006.03.006

zbMATH Keywords

type systemstype inferencerace conditions

Mathematics Subject Classification ID

Theory of programming languages (68N15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Securing interaction between threads and the scheduler in the presence of synchronization

This page was built for publication: Type inference against races