海量图书期刊资源,随时随地畅享阅读乐趣
Efficient sessionsSivaramakrishnan, K.C.; Qudeisat, Mohammad; Ziarek, Lukasz; Nagaraj, Karthik; Eugster, Patrick · Science of Computer Programming · 2013
GLL parse-tree generationScott, Elizabeth; Johnstone, Adrian · Science of Computer Programming · 2013
Refactoring pattern matchingWang, Meng; Gibbons, Jeremy; Matsuda, Kazutaka; Hu, Zhenjiang · Science of Computer Programming · 2013
Modeling the Java Bytecode VerifierReynolds, Mark C. · Science of Computer Programming · 2013
Semantic mutation testingClark, John A.; Dan, Haitao; Hierons, Robert M. · Science of Computer Programming · 2013
Computational contractsScholliers, Christophe; Tanter, Éric; De Meuter, Wolfgang · Science of Computer Programming · 2015
EditorialBergstra, Jan · Science of Computer Programming · 2013
ForewordAleksy, Markus; Gitzel, Ralf; Krall, Andreas; Mössenböck, Hanspeter; Probst, Christian W.; Stephenson, Ben · Science of Computer Programming · 2013