Volume 23, Number 1, January 2001

• 
  Stefano Bistarelli, Ugo Montanari, Francesca Rossi: Semiring-based contstraint logic programming: syntax and semantics. 1-29
• 
  Amer Diwan, Kathryn S. McKinley, J. Eliot B. Moss: Using types to analyze and optimize object-oriented programs. 30-72
• 
  Allen Leung, Krishna V. Palem, Amir Pnueli: Scheduling time-constrained instructions on pipelined processors. 73-103

Volume 23, Number 2, March 2001

• 
  Barbara G. Ryder, William Landi, Phil Stocks, Sean Zhang, Rita Altucher: A schema for interprocedural modification side-effect analysis with pointer aliasing. 105-186
• 
  Paul C. Attie, E. Allen Emerson: Synthesis of concurrent programs for an atomic read/write model of computation. 187-242
• 
  Todd B. Knoblock, Jakob Rehof: Type elaboration and subtype completion for Java bytecode. 243-272

Volume 23, Number 3, May 2001

• 
  Rajeev Alur, Mihalis Yannakakis: Model checking of hierarchical state machines. 273-303
• 
  Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo: Transformations of CCP programs. 304-395
• 
  Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler: Featherweight Java: a minimal core calculus for Java and GJ. 396-450

Volume 23, Number 4, July 2001

• 
  Ik-Soon Kim, Kwang-Moo Choe: Error repair with validation in LR-based parsing. 451-471
• 
  Gopal Gupta, Enrico Pontelli, Khayri A. M. Ali, Mats Carlsson, Manuel V. Hermenegildo: Parallel execution of prolog programs: a survey. 472-602

Volume 23, Number 5, September 2001

• 
  Keith D. Cooper, L. Taylor Simpson, Christopher A. Vick: Operator strength reduction. 603-625
• 
  Lawrence C. Paulson: Mechanizing a theory of program composition for UNITY. 626-656
• 
  Andrew W. Appel, David A. McAllester: An indexed model of recursive types for foundational proof-carrying code. 657-683

Volume 23, Number 6, November 2001

• 
  David Grove, Craig Chambers: A framework for call graph construction algorithms. 685-746
• 
  Jason Maassen, Rob van Nieuwpoort, Ronald Veldema, Henri E. Bal, Thilo Kielmann, Ceriel J. H. Jacobs, Rutger F. H. Hofman: Efficient Java RMI for parallel programming. 747-775
• 
  Bradley T. Vander Zanden, Richard L. Halterman, Brad A. Myers, Richard G. McDaniel, Robert C. Miller, Pedro A. Szekely, Dario A. Giuse, David S. Kosbie: Lessons learned about one-way, dataflow constraints in the Garnet and Amulet graphical toolkits. 776-796

last updated on Wed May 22 06:17:14 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page