Recent years have seen the developemtn of increasingly sophisticated static type systems for ocncurrent programmign languages.Besides early detection of programming errors-the traditional domain of type systems-their applciations in the ocncurrent setting have included strengthening beahvioral equivalences and associated proof thechnique4s,identifying ocnfluent fragments of nonocnfluent languages,and guaranteeing the absence of deadlock in certain situaitons.
展开▼