511 Author Index Blazy, Sandrine, 1 Bulyonkov, Mikhail A., 17 Chin, Wei-Ngan, 33 Consel, Charles, 54 Danvy, Olivier, 73 Draves, Scott, 95 Facon, Philippe, 1 Sherman, David J., 284 Sperber, Michael, 465 Scrensen, Morten Heine, 137 Thiemann, Peter, 33 Turchin, Valentin F., 322, 481 Turnidge, Todd, 409 Volanschi, Nicolae, 54 Gallagher, John P., 115 Glfick, Robert, 137, 161 Hatcliff, John, 161 Hornof, Luke, 54 Hughes, John, 183 Jones, Neil D., 216 Jorgensen, Jesper, 238 Khoo, Siau-Cheng, 33 Kochetov, Dmitriy V., 17 Lafave, Laura, 115 Leuschel, Michael, 238, 263 Martens, Bern, 263 Miniussi, Alain, 284 Mogensen, Torben/E, 303 Nemytykh, Andrei P., 322 Nielson, Flemming, 338 Nielson, Hanne Riis, 338 No~l, Francois, 54 Noy@, Jacques, 54 Pettorossi, Alberto, 355,386 Pinchuk, Victoria A., 322 Proietti, Maurizio, 355, 386 Reps, Thomas, 409 Sakharov, Alexander, 430 Sestoft, Peter, 446
513 Subject Index abstract interpretation, 115, 355 adaptive systems, 54 analysis action, 54 binding-time, 54, 238, 355,465 closure, 183 configuration, 17 context, 409 data flow, 430 interprocedural, 1 neededness, 409 annotated types, 338 big-step semantics, 216 binding times, 338 C, 54 characteristic trees, 115,263 closed specialization forest, 386 code explosion, 216 coercions, 73 cogen approach, 238 compiler, 216 compiler generation, 465 compiling control, 355 composition strategy, 355 compositionality, 216 computation history, 115 continuations, 73 control flow graphs, 430 control operators, 73 CPS transformation, 73 decision tree, 446 deforestation, 355 driving, 115, 137, 355 dynamic goal, 386 efficiency of residual program, 216 equational programming, 284 evolution of partial evaluators, 303 executable specifications, 284 filter promotion, 355 finite differencing, 355 folding, 355 formal specification, 1 Fortran, 1 functional programming, 73,115, 183, 446 fusion, 355 generalization, 115, 137, 355 generating extensions, 238 global control, 263 goal replacement, 355, 386 graphics, 95 Haskell, 446 homeomorphic embedding, 263 imperative languages, 17, 430 inexhaustive match, 446 inference rules, 1 inherited limits, 303 instrumentation, 446 intermediate code, 284 intermediate language, 95 interpreter, 216 mterpretive overhead, 216 mverse computation, 137 Knuth-Morris-Pratt matcher, 446 lambda-calculus, 338 typed, 183 lemma application, 355 logic programming, 115, 238 many-sorted algebras, 338 match compilation, 446 memoization, 17, 33,446 meta-interpreters, 355 metacode, 322,481 metacomputation, 137,161,322,481 metasystem hierarchy, 161 metasystem transition, 137, 161,322, 481 minimal descent graph, 355
514 models of symbolic execution, 355 MST scheme, 322, 481 multi-level language, 161 multiple recursion parameters, 33 natural semantics, 1 negative information, 446 neighborhoods, 115 online control, 263 optimality of partial evaluators, 303 partial deduction, 115, 238, 263 partial evaluation, 17, 54, 115, 238, 263, 322, 355, 481 control of, 115 offline, 465 online, 465 partially needed structures, 409 pattern matching, 446 pattern-matching graphs, 322, 481 polyvariance, 115 positive information, 446 process tree, 355 program derivation, 446 program extraction, 355 program generalization, 386 program projection, 409 program slicing, 409 program transformation, 33, 137, 263, 284, 322, 355, 481 rules + strategies, 355 program understanding, 1 programming languages, 303 projection function, 409 redundant match, 446 Refal, 322, 481 regular approximation, 115 regularities in models of symbolic execution, 355 relational expressions, 430 resultant, 386 generalized, 386 rule-based inference, 430 run-time code generation, 95 Scheme, 73, 95, 465 self-application, 161, 238, 322, 465, 481 semicompositionality, 216 small-step semantics, 216 software maintenance of legacy code, 1 specialization compile-time, 54 constructor, 183 internal, 355 offiine, 238 online, 161 optimal, 183 polyvariant, 17, 355, 430 program, 1, 115, 263, 355, 386, 409 run-time, 54 type,!83 speedup linear, 216 superlinear, 216 Standard ML, 446 static goal, 386 static property, 386 static variables dead, 216 independently varying, 216 subtypes, 73 supercompilation, 115,137, 263,322, 355, 481 positive, 355 symbolic trace graph, 355 synchronization analyses, 33 Tempo, 54 termination, 33, 216, 263 trace-terms, 115 tupling, 33 tupling strategy, 355 type inference, 183 typed languages, 183 types, 73 unfold/fold proof method, 355 unfolding, 355, 386
Lecture Notes in Computer Science For information about Vols. 1-1053 please contact your bookseller or Springer-Verlag Vol. 1054: A. Ferreira, P. Pardalos (Eds.), Solving Combinatorial Optimization Problems in Parallel. VII, 274 Vol. 1055: T. Margaria, B. Steffen (Eds.), Tools and Algorithms for the Construction and Analysis of Systems. Proceedings, XI, 435 Vol. 1056: A. Haddadi, Communication and Cooperation in Agent Systems. XIII, 148 (Subseries Vol. 1057: P. Apers, M. Bouzeghoub, G. Gardarin (Eds.), Advances in Database Technology -- EDBT '96. Proceedings, XII, 636 Vol. 1058: H. R. Nielson (Ed.), Programming Languages and Systems - ESOP '96. Proceedings, X, 405 Vol. 1059: H. Kirchner (Ed.), Trees in Algebra and Programming - CAAP '96. Proceedings, VIII, 331 Vol. 1060: T. Gyim6thy (Ed.), Compiler Construction. Proceedings, X, 355 Vol. 1061: P. Ciancarini, C. Hankin (Eds.), Coordination Languages and Models. Proceedings, XI, 443 pages. Vol. 1062: E. Sanchez, M. Tomassini (Eds.), Towards Evolvable Hardware. IX, 265 Vol. 1063: J.-M. Alliot, E. Lutton, E. Ronald, M. Schoenauer, D. Snyers (Eds.), Artificial Evolution. Proceedings, 1995. XIII, 396 Vol. 1064: B. Buxton, R. Cipolla (Eds.), Computer Vision - ECCV '96. Volume I. Proceedings, XXI, 725 Vol. 1065: B. Buxton, R. Cipolla (Eds.), Computer Vision - ECCV '96. Volume II. Proceedings, XXI, 723 Vol. 1066: R. Alur, T.A. Henzinger, E.D. Sontag (Eds.), Hybrid Systems III. IX, 618 Vol. 1067: H. Liddell, A. Colbrook, B. Hertzberger, P. Sloot (Eds.), High-Performance Computing and Networking. Proceedings, XXV, 1040 Vol. 1068: T. Ito, R.H. Halstead, Jr., C. Queinnee (Eds.), Parallel Symbolic Languages and Systems. Proceedings, 1995. X, 363 Vol. 1069: J.W. Perram, J.-P. Mfiller (Eds.), Distributed Software Agents and Applications. Proceedings, 1994. VIII, 219 (Subseries Vol. 1070: U. Maurer (Ed.), Advances in Cryptology - EUROCRYPT '96. Proceedings, XII, 417 pages. Vol. 1071: P. Miglioli, U. Moscato, D. Mundici, M. Ornaghi (Eds.), Theorem Proving with Analytic Tableaux and Related Methods. Proceedings, X, 330 pages. (Subseries Vol. 1072: R. Kasturi, K. Tombre (Eds.), Graphics Recognition. Proceedings, 1995. X, 308 Vol. 1073: J. Cuny, H. Ehrig, G. Engels, G. Rozenberg (Eds.), Graph Grammars and Their Application to Computer Science. Proceedings, 1994. X, 565 pages. Vol. 1074: G. Dowek, J. Heering, K. Meinke, B. M~ller (Eds.), Higher-Order Algebra, Logic, and Term Rewriting. Proceedings, 1995. VII, 287 Vol. 1075: D. Hirschberg, G. Myers (Eds.), Combinatorial Pattern Matching. Proceedings, VIII, 392 pages. Vol. 1076: N. Shadbolt, K. O'Hara, G. Schreiber (Eds.), Advances in Knowledge Acquisition. Proceedings, XII, 371 (Subseries Vol. 1077: P. Brusilovsky, P. Kommers, N. Streitz (Eds.), Mulimedia, Hypermedia, and Virtual Reality. Proceedings, 1994. IX, 311 Vol. 1078: D.A. Lamb (Ed.), Studies of Software Design. Proceedings, 1993. VI, 188 Vol. 1079: Z.W. Ra~, M. Michalewicz (Eds.), Foundations of Intelligent Systems. Proceedings, XI, 664 pages. (Subseries Vol. 1080: P. Constantopoulos, J. Mylopoulos, Y. Vassiliou (Eds.), Advanced Information Systems Engineering. Proceedings, XI, 582 Vol. 1081: G. McCalla (Ed.), Advances in Artificial Intelligence. Proceedings, XII, 459 (Subseries Vol. 1082: N.R. Adam, B.K. Bhargava, M. Haleru, Y. Yesha (Eds.), Digital Libraries. Proceedings, 1995. Approx. 310 Vol. 1083: K. Sparck Jones, J.R. Galliers, Evaluating Natural Language Processing Systems. XV, 228 pages. (Subseries Vol. 1084: W.H. Cnnningham, S.T. McCormick, M. Queyranne (Eds.), Integer Programming and Combinatorial Optimization. Proceedings, X, 505 Vol. 1085: D.M. Gabbay, H.J. Ohlbach (Eds.), Practical Reasoning. Proceedings, XV, 721 (Subseries Vol. 1086: C. Frasson, G. Gauthier, A. Lesgold (Eds.), Intelligent Tutoring Systems. Proceedings, XVII, 688
Vol. 1087: C. Zhang, D. Lukose (Eds.), Distributed Artificial Intelliegence. Proceedings, 1995. VIII, 232 (Subseries Vol. 1088: A. Strohmeier (Ed.), Reliable Software Technologies - Ada-Europe '96. Proceedings, XI, 513 Vol. 1089: G. Ramalingam, Bounded Incremental Computation. XI, 190 pages. 199~5. Vol. 1090: J.-Y. Cai, C.K. Wong (Eds.), Computing and Combinatorics. Proceedings, X, 421 Vol. 1091: J. Billington, W. Reisig (Eds.), Application and Theory of Petri Nets Proceedings, VIII, 549 Vol. 1092: H. Kleine Biining (Ed.), Computer Science Logic. Proceedings, 1995. VIII, 487 Vol. 1093: L. Dorst, M. van Lambalgen, F. Voorbraak (Eds.), Reasoning with Uncertainty in Robotics. Proceedings, 1995. VIII, 387 (Subseries Vol. 1094: R. Morrison, J. Kennedy (Eds.), Advances in Databases. Proceedings, XI, 234 Vol. 1095: W. MeCune, R. Padmanabhan, Automated Deduction in Equational Logic and Cubic Curves. X, 231 (Subseries Vol. 1096: T. Schal, Workflow Management Systems for Process Organisations. XII, 200 Vol. 1097: R. Karlsson, A. Lingas (Eds.), Algorithm Theory - SWAT "96. Proceedings, IX, 453 pages. Vol. 1098: P. Cointe (Ed.), ECOOP '96 - Object-Oriented Programming. Proceedings, XI, 502 Vol. 1099: F. Meyer auf der Heide, B. Monien (Eds.), Automata, Languages and Programming. Proceedings, XII, 681 Vol. 1100: B. Pfitzmann, Digital Signature Schemes. XVI, 396 Vol. 1101: M. Wirsing, M. Nivat (Eds.), Algebraic Methodology and Software Technology. Proceedings, XII, 641 Vol. 1102: R. Alur, T.A. Henzinger (Eds.), Computer Aided Verification. Proceedings, XII, 472 pages. Vol. 1103: H. Ganzinger (Ed.), Rewriting Techniques and Applications. Proceedings, XI, 437 Vol. 1104: M.A. McRobbie, J.K. Slaney (Eds.), Automated Deduction - CADE-13. Proceedings, XV, 764 (Subseries Vol. 1105: T.I. Oren, (3.J. Klir (Eds.), Computer Aided Systems Theory - CAST '94. Proceedings, 1994. IX, 439 Vol. 1106: M. Jampel, E. Freuder, M. Maher (Eds.), Over- Constrained Systems. X, 309 Vol. 1107: J.-P. Briot, J.-M. Geib, A. Yonezawa (Eds.), Object-Based Parallel and Distributed Computation. Proceedings, 1995. X, 349 Vol. 1108: A. Dlaz de Ilarraza S~inchez, I. Fern~indez de Castro (Eds.), Computer Aided Learning and Instruction in Science and Engineering. Proceedings, XIV, 480 Vol. 1109: N. Koblitz (Ed.), Advances in Cryptology - Crypto '96. Proceedings, XII, 417 Vol. 1110: O. Danvy, R. (31iick, P. Thiemann (Eds.), Partial Evaluation. Proceedings, XII, 514 pages. Vol. 1111: LJ. Alferes, L. Moniz Pereira, Reasoning with Logic Programming. XXI, 326 (Subseries Vol. 1112: C. yon der Malsburg, W. yon Seelen, LC. VorbrUggen, B. Sendhoff (Eds.), Artificial Neural Networks - ICANN 96. Proceedings, XXV, 922 Vol. 1113: W. Penczek, A. Szalas (Eds.), Mathematical Foundations of Computer Science Proceedings, X, 592 Vol. 1114: N. Foo, R. Goebel (Eds.), PRICAI'96: Topics in Artificial Intelligence. Proceedings, XXI, 658 (Subseries Vol. 1115: P.W. Eklund, (3. Ellis, G. Mann (Eds.), Conceptual Structures: Knowledge Representation as Interlingua. Proceedings, XIII, 321 (Subseries Vol. 1116: J. Hall (Ed.), Management of Telecommunication Systems and Services. XXI, 229 Vol. 1117: A. Ferreira, J. Rolim, Y. Saad, T. Yang (Eds.), Parallel Algorithms for Irregularly Structured Problems. Proceedings, IX, 358 Vol. 1118: E.C. Freuder (Ed.), Principles and Practice of Constraint Programming -- CP 96. Proceedings, XIX, 574 Vol. 1119: U. Montanari, V. Sassone (Eds.), CONCUR '96: Concurrency Theory. Proceedings, XII, 751 Vol. 1120: M. Deza. R. Euler, I. Manoussakis (Eds.), Combinatorics and Computer Science. Proceedings, 1995. IX, 415 Vol. 1121: P. Perner, P. Wang, A. Rosenfeld (Eds.), Advances in Structural and Syntactical Pattern Recognition. Proceedings, X, 393 Vol. 1122: H. Cohen (Ed.), Algorithmic Number Theory. Proceedings, IX, 405 Vol. 1123: L. Boug6, P. Fraigniand, A. Mignotte, Y. Robert (Eds.), Euro-Par'96. Parallel Processing. Proceedings, 1996, Vol. I. XXXIII, 842 Vol. 1124: L. Boug6, P. Fraigniaud, A. Mignotte, Y. Robert (Eds.), Euro-Par'96. Parallel Processing. Proceedings, 1996, Vol. II. XXXIII, 926 Vol. 1125: J. yon Wright, J. Grundy, J. Harrison (Eds.), Theorem Proving in Higher Order Logics. Proceedings, VIII, 447 Vol. 1126: J.J. Alferes, L. Moniz Pereira, E. Orlowska (Eds.), Logics in Artificial Intelligence. Proceedings, IX, 417 (Subseries Vol. 1129: J. Launchbury, E. Meijer, T. Sheard (Eds.), Advanced Functional Programming. Proceedings, VII, 238