

Publisher: Elsevier
Founded in: 1975
Total resources: 2
E-ISSN: 1873-6866
ISSN: 1477-8424
Subject: TP3 Computers
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 & Structures
Menu

By Maris J.T., Roper M.D., Olsson R.A. in (2003)
Computer Languages, Systems & Structures , Vol. 29, Iss. 4, 2003-12 , pp.
Data-race and concurrent-write freedom are undecidable
By Campos A.E., Suazo D.A. in (2003)
Computer Languages, Systems & Structures , Vol. 29, Iss. 1, 2003-04 , pp.
Bidirectional data flow analysis for type inferencing
By Khedker U.P., Dhamdhere D.M., Mycroft A. in (2003)
Computer Languages, Systems & Structures , Vol. 29, Iss. 1, 2003-04 , pp.