Printer Friendly

Articles from ACM Transactions on Programming Languages & Systems (March 1, 2001)

1-3 out of 3 article(s)
Title Author Type Words
A schema for interprocedural modification side-effect analysis with pointer aliasing. Ryder, Barbara G.; Landi, William A.; Stocks, Philip A.; Zhang, Sean; Altucher, Rita Statistical Data Included 33549
Synthesis of current programs for an atomic read/write model of computation. Attie, Paul C.; Emerson, E. Allen 30121
Type elaboration and subtype completion for Java bytecode. Knoblock, Todd B.; Rehof, Jakob 14047

Terms of use | Privacy policy | Copyright © 2019 Farlex, Inc. | Feedback | For webmasters