Publisher： Elsevier
Founded in： 1981
Total resources： 4
E-ISSN： 1872-7964
ISSN： 0167-6423
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.
Science of Computer Programming
Menu
Abstract interpretation based verification of logic programs
By Comini M., Gori R., Levi G., Volpe P. in (2003)
Science of Computer Programming , Vol. 49, Iss. 1, 2003-12 , pp.
Access to resources
Recommend
The classification of greedy algorithms
Science of Computer Programming , Vol. 49, Iss. 1, 2003-12 , pp.On the theory of system administration
Science of Computer Programming , Vol. 49, Iss. 1, 2003-12 , pp.The algebraic structure of interfaces
By Rees D.L.L., Stephenson K., Tucker J.V. in (2003)
Science of Computer Programming , Vol. 49, Iss. 1, 2003-12 , pp.A new algorithm for the construction of minimal acyclic DFAs
Science of Computer Programming , Vol. 48, Iss. 2, 2003-08 , pp.On logic programs that always succeed
By Pedreschi D., Ruggieri S. in (2003)
Science of Computer Programming , Vol. 48, Iss. 2, 2003-08 , pp.A Boyer-Moore-style algorithm for regular expression pattern matching
By Watson B.W., Watson R.E. in (2003)
Science of Computer Programming , Vol. 48, Iss. 2, 2003-08 , pp.An analysis of the coupling effect I: single test data
Science of Computer Programming , Vol. 48, Iss. 2, 2003-08 , pp.A linear approximation algorithm for bin packing with absolute approximation factor 32
By Berghammer R., Reuter F. in (2003)
Science of Computer Programming , Vol. 48, Iss. 1, 2003-07 , pp.Partial redundancy elimination: a simple, pragmatic, and provably correct algorithm
By Paleri V.K., Srikant Y.N., Shankar P. in (2003)
Science of Computer Programming , Vol. 48, Iss. 1, 2003-07 , pp.
Previous
Next