Type inference against races

DOI10.1016/J.SCICO.2006.03.006MaRDI QIDQ859964zbMATH OpenOpenAlexFDO

Authors Cormac Flanagan, Stephen N. Freund

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)

Recommendations

• Static Analysis
• Dynamic inference of polymorphic lock types
• scientific article; zbMATH DE number 1728236
• scientific article; zbMATH DE number 2104620
• scientific article; zbMATH DE number 1617324

Cited in

(6)

• Type inference and strong static type checking for Promela
• scientific article; zbMATH DE number 1728236 (Why is no real title available?)
• Securing interaction between threads and the scheduler in the presence of synchronization
• Annotation inference for modular checkers
• Dynamic inference of polymorphic lock types
• Static Analysis

This page was built for publication: Type inference against races

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q859964)