Period of time： 2003年1期
Publisher： Elsevier
Founded in： 1975
Total resources： 2
ISSN： 1477-8424
Subject： TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Computer Languages, Systems ,volume 29,issue 1
Menu
Data-race and concurrent-write freedom are undecidable
By Campos A.E., Suazo D.A. in (2003)
Computer Languages, Systems ,volume 29,issue 1 , Vol. 29, Iss. 1, 2003-04 , pp.
Access to resources
Recommend
Bidirectional data flow analysis for type inferencing
By Khedker U.P., Dhamdhere D.M., Mycroft A. in (2003)
Computer Languages, Systems ,volume 29,issue 1 , Vol. 29, Iss. 1, 2003-04 , pp.