Type inference against races

DOI10.1016/J.SCICO.2006.03.006zbMATH Open1171.68399OpenAlexW1999539882MaRDI QIDQ859964FDOQ859964

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

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

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)

Cited In (6)

• Annotation inference for modular checkers
• Dynamic inference of polymorphic lock types
• Static Analysis
• Securing interaction between threads and the scheduler in the presence of synchronization
• Type inference and strong static type checking for Promela
• Title not available (Why is that?)

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)