Period of time： 2003年2期
Publisher： Elsevier
Founded in： 1981
Total resources： 4
ISSN： 0167-6423
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.
Science of Computer Programming,volume 47,issue 2
Menu
By Cortesi A., File G. in (2003)
Science of Computer Programming,volume 47,issue 2 , Vol. 47, Iss. 2, 2003-05 , pp.
Access to resources
Recommend
Comprehensive synchronization elimination for Java
By Aldrich J., Gun Sirer E., Chambers C., Eggers S.J. in (2003)
Science of Computer Programming,volume 47,issue 2 , Vol. 47, Iss. 2, 2003-05 , pp.Infinitary relations and their representation
Science of Computer Programming,volume 47,issue 2 , Vol. 47, Iss. 2, 2003-05 , pp.Abstract interpretation of mobile ambients
By Nielson F., Hansen R.R., Nielson H.R. in (2003)
Science of Computer Programming,volume 47,issue 2 , Vol. 47, Iss. 2, 2003-05 , pp.Abstracting cryptographic protocols with tree automata
Science of Computer Programming,volume 47,issue 2 , Vol. 47, Iss. 2, 2003-05 , pp.State space reduction based on live variables analysis
By Fernandez J.-C., Bozga M., Ghirvu L. in (2003)
Science of Computer Programming,volume 47,issue 2 , Vol. 47, Iss. 2, 2003-05 , pp.Eliminating dead code on recursive data
By Liu Y.A., Stoller S.D. in (2003)
Science of Computer Programming,volume 47,issue 2 , Vol. 47, Iss. 2, 2003-05 , pp.