海量图书期刊资源,随时随地畅享阅读乐趣
Problem identification using program checkingChristian S. Collberg; Todd A. Proebsting · 2004
Index-based hyperlinksJohn H. Hartman; Todd A. Proebsting; Rajesh Sundaram · 1997
A research C# compilerDavid R. Hanson; Todd A. Proebsting · 2004
BURGFraser, Christopher W.; Henry, Robert R.; Proebsting, Todd A. · ACM SIGPLAN Notices · 1992
BURS automata generationProebsting, Todd A. · ACM Transactions on Programming Languages and Systems · 1995
Repeatability in computer systems researchCollberg, Christian; Proebsting, Todd A. · Communications of the ACM · 2016
DCGEngler, Dawson R.; Proebsting, Todd A. · ACM SIGOPS Operating Systems Review · 1994
Finite-static code generationFraser, Christopher W.; Proebsting, Todd A. · ACM SIGPLAN Notices · 1999