James Rose et al.: Dynamic inference of polymorphic lock types. (2005)journals/scp/RoseSH0510.1016/J.SCICO.2005.03.003Dynamic inference of polymorphic lock types.3James Rose1Nikhil Swamy2Michael Hicks 00013366-383Sci. Comput. Program.Sci. Comput. Program.5832005provenance information for RDF data of dblp record 'journals/scp/RoseSH05'2021-02-17T21:55:47+0100