ACM Transactions on Programming Languages and Systems Volume 14 e 1992 Editor-in-Chief Susan L. Graham Associate Editors Andrew Appel Leslie Lamport Lori Clarke Barbara H. Liskov A. Nico Habermann William A. Wulf Paul Hudak Published by the Association for Computing Machinery it 1992 Association for 7 - Machinery, Inc 151 oadway, New York, NY 100: Volume 14 e 1992 466 Information for Authors. Vol. 14, No. 3 (July 1992), 466-469. 462 Aljlgorithms Policy. Vol. 14, No. 3 (July 1992), 462-465. 617 1992 Author Index. Vol. 14, No. 4 (Oct. 1992), 617-618. Research Contributions 127 Boute,R.T. The Euclidean Definition of the Functions div and mod. (April 1992), 127-144. 54 Cohen, J. See Hickey, T. J. (Jan. 1992), 54-106. 521 Ghezzi,C. See Morzenti, A. (Oct. 1992), 521-573. 147 Gomard,C.K. A Self-Applicable Partial Evaluator for the Lambda Calculus: Correctness and Pragmatics. (April 1992), 147-172. 396 Gries,D. See Widom, J. (July 1992), 396-416. 107 Gudeman, D. A. Denotational Semantics of a Goal-Directed Language. (Jan. 1992), 107-125. 201 Hailpern,B. See Kaiser, G. E. (April 1992), 201-264. 471 Hansen, W. J. Subsequence References: First-Class Values for Substrings. (Oct. 1992), 471-489 490 Heering, J., Klint, P., and Rekers, J. Incremental Generation of Lexical Scanners. (Oct. 1992), 490-520. Hickey, T. J., Cohen, J., Hotta, H., and PetitJean, T. Computer-Assisted Microanalysis of Parallel Programs. (Jan. 1992), 54-106. Hotta, H. See Hickey, T. J. (Jan. 1992), 54-106. Jackson, F. See Ungar, D. (Jan. 1992), 1-27. Jaffar, J., Michaylov, S., Stuckey, P. J., and Yap, R. H. C. The CLP(R) Language and System. (July 1992), 339-395. Kaiser, G. E., and Hailpern, B. An Object-Based Programming Model for Shared Data. (April 1992), 201-264. Katzenelson, J., Pinter, S. S., and Schenfeld, E. Type Matching, Type-Graphs, and the Schanuel Conjecture. (Oct. 1992), 574-588. Klint, P. See Heering, J. (Oct. 1992), 490-520. Koopman, P. J., Jr., Lee, P., and Siewiorek, D. P. Cache Behavior of Combinator Graph Reduction (April 1992), 265-297. Lam, S.S. See Shankar, A. U. (July 1992), 417-461. Lee, P. See Koopman, P. J., Jr. (April 1992), 265-297. Mandrioli,D. See Morzenti, A. (Oct. 1992), 521-573. ACM Transactions on Programming Languages and Systems Volume 14 e 1992 Editor-in-Chief Susan L. Graham Associate Editors Andrew Appel Leslie Lamport Lori Clarke Barbara H. Liskov A. Nico Habermann William A. Wulf Paul Hudak Published by the Association for Computing Machinery it 1992 Association for 7 - Machinery, Inc 151 oadway, New York, NY 100: Volume 14 e 1992 466 Information for Authors. Vol. 14, No. 3 (July 1992), 466-469. 462 Aljlgorithms Policy. Vol. 14, No. 3 (July 1992), 462-465. 617 1992 Author Index. Vol. 14, No. 4 (Oct. 1992), 617-618. Research Contributions 127 Boute,R.T. The Euclidean Definition of the Functions div and mod. (April 1992), 127-144. 54 Cohen, J. See Hickey, T. J. (Jan. 1992), 54-106. 521 Ghezzi,C. See Morzenti, A. (Oct. 1992), 521-573. 147 Gomard,C.K. A Self-Applicable Partial Evaluator for the Lambda Calculus: Correctness and Pragmatics. (April 1992), 147-172. 396 Gries,D. See Widom, J. (July 1992), 396-416. 107 Gudeman, D. A. Denotational Semantics of a Goal-Directed Language. (Jan. 1992), 107-125. 201 Hailpern,B. See Kaiser, G. E. (April 1992), 201-264. 471 Hansen, W. J. Subsequence References: First-Class Values for Substrings. (Oct. 1992), 471-489 490 Heering, J., Klint, P., and Rekers, J. Incremental Generation of Lexical Scanners. (Oct. 1992), 490-520. Hickey, T. J., Cohen, J., Hotta, H., and PetitJean, T. Computer-Assisted Microanalysis of Parallel Programs. (Jan. 1992), 54-106. Hotta, H. See Hickey, T. J. (Jan. 1992), 54-106. Jackson, F. See Ungar, D. (Jan. 1992), 1-27. Jaffar, J., Michaylov, S., Stuckey, P. J., and Yap, R. H. C. The CLP(R) Language and System. (July 1992), 339-395. Kaiser, G. E., and Hailpern, B. An Object-Based Programming Model for Shared Data. (April 1992), 201-264. Katzenelson, J., Pinter, S. S., and Schenfeld, E. Type Matching, Type-Graphs, and the Schanuel Conjecture. (Oct. 1992), 574-588. Klint, P. See Heering, J. (Oct. 1992), 490-520. Koopman, P. J., Jr., Lee, P., and Siewiorek, D. P. Cache Behavior of Combinator Graph Reduction (April 1992), 265-297. Lam, S.S. See Shankar, A. U. (July 1992), 417-461. Lee, P. See Koopman, P. J., Jr. (April 1992), 265-297. Mandrioli,D. See Morzenti, A. (Oct. 1992), 521-573. Michaylov, S. See Jaffar, J. (July 1992), 339-395. Morzenti, A., Mandrioli, D., and Ghezzi,C. A Model Parametric Real-Time Logic (Oct. 1992), 521-573. Muller, R. M-LISP: A Representation-independent Dialect of LISP with Reduction Semantics. (Oct. 1992), 539-616. PetitJean, T. See Hickey, T. J. (Jan. 1992), 54-106. Pinter, S.S. See Katzenelson, J. (Oct. 1992), 574-588. Pollock, L. L., and Soffa, M.L. incremental Global Reoptimization of Programs. (April 1992), 173-200. Rekers, J. See Heering, J. (Oct. 1992), 490-520. Schenfeld, E. See Katzenelson, J. (Oct. 1992), 574-588. Schneider, F.B. See Widom, J. (July 1992), 396-416. Shankar, A. U., and Lam, S.S. A Stepwise Refinement Heuristic for Protocol Construction. (July 1992), 417-461. Siewiorek, D. P. See Koopman, P. J., Jr. (April 1992), 265-297. Soffa,M.L. See Pollock, L. L. (April 1992), 173-200. Solworth, J. A. Epochs. (Jan. 1992), 28-53. Stuckey, P. J. See Jaffar, J. (July 1992), 339-395. Ungar, D., and Jackson, F. An Adaptive Tenuring Policy for Generation Scavengers. (Jan. 1992), 1-27. Wall, D. A. Experience with a Software-Defined Machine Architecture. (July 1992), 299-338. Widom, J., Gries, D., and Schneider, F.B. Trace-Based Network Proof Systems: Expres- siveness and Completeness. (July 1992), 396-416. Wolf, A. L. Guest Editor’s Introduction to the Special Section on the Third International Conference on Computer Languages. (April 1992), 145-146. Yap, R.H.C. See Jaffar, J. (July 1992), 339-395.