Institute of Computer Science and Applied Mathematics
in the Technical Faculty of Christian-Albrechts-University of Kiel

---

Publications

• Kluge, W.E.: Abstract Lambda-Calculus Machines
  LNCS 5161, (2008), pp. 112--157
  
• Kluge, W.: Abstract Computing Machines - A Lambda Calculus Perspective
  Springer-Verlag Berlin Heidelberg, 2005, ISBN 3-540-21146-2
  
• Schroeder, R., Kluge, W.: Organizing Speculative Computations in Functional Systems
  in: Mohnen, M., Koopman, P. (Eds.): Implementation of Functional Languages,
  Selected papers of the 12th Int Workshop (IFL'2000), Aachen, Germany, 2000,
  LNCS Vol. 2011, (2001), pp. 214-230
  
• Kluge, W.: A Reversible SE(M)CD Machine
  in: Koopman, P., Clack, C. (Eds.): Implementation of Functional Languages,
  Selected papers of the 11th Int Workshop (IFL'99), Lochem, The Netherlands, 1999,
  LNCS Vol. 1868, (2000), pp. 95-113
  
• Schroeder, R., Kluge, W.: Organizing Speculative Computations in Rule-Based Systems
  Proc. PDPTA'2000, Las Vegas, Nevada, 2000, Vol. III, pp. 1407-1414
  
• Kluge, W.: Realisations for Strict Languages
  in: Hammond, K., Michaelson, G. (Eds.): Research Directions in Parallel Functional Programming
  Springer, 1999, pp. 121-148
  
• Kluge, W. (Ed.): Inplementation of Functional Languages,
  Selected papers of the 8th Int Workshop (IFL'96), Bad Godesberg, Germany, 1997
  LNCS 1268, (1997), 284 pp.
• Gaertner, D., Kluge, W. E.: PI-RED+ An interactive compiling graph reducer for an applied lambda-calculus
  Journal of Functional Programming Vol. 6, No. 5, (1996), pp. 723-756
  
• Kluge, W., Rathsack, C., Scholz, S.-B.: Using PI-RED as a teaching tool for functional programming and program execution
  in: Hartel, P.H., Plasmeijer, R. (Eds.): Proc. Int. Symp. on Functional Programming Languages in Education, Nijmegen, The Netherlands, 1996,
  LNCS 1022, (1996), pp. 231-250
  
• Buelck, T., Held, A., Kluge, W., Pantke, S., Rathsack, C., Scholz, S-B., Schroeder, R.:
  Experience with the Implementation of a Concurrent Graph Reduction System on an nCUBE/2 Platform
  in: Buchberger, B., Volkert, J. (Eds.): Proc. Third Joint Int. Conf. on Vector and Parallel Processing, Linz, Austria, 1994,
  LNCS 854, (1994), pp. 497-508
  
• Kluge, W.: A User's Guide for the Reduction System PI-RED
  Internal Report 9409, Dept. of Computer Science, University of Kiel, Germany, 1994
• Schmittgen, C., Bloedorn, H., Kluge, W.: PI-RED+ - a graph reducer for a full-fledged lambda-calculus
  New Generation Computing Vol. 10, No. 2, (1992), pp. 173-195
  
• Kluge, W.: The Organization of Reduction, Data Flow and Control Flow Systems
  The MIT Press, 1992, 495 pp.
• Schmittgen, C., Bloedorn, H., Kluge, W.: Structured Data Types in the Reduction System PI-RED
  in: Mullin, L., Jenkins, M., Hains, G., Bernecky, R., Gao, G. (Eds.): Proc. Int. Workshop on Arrays, Functional Languages, and Parallel Systems,
  Montreal, Quebec, 1991, Kluwer Academic Publishers, (1990), pp. 171-183
• Schmittgen, C., KLuge, W.: Reduction Languages and Reduction Systems
  Invited Contribution, Proc. of an Advanced Course on Future Parallel Computers, LNCS 272, (1987), pp.153-184
  
• Schmittgen, C., Gerdts, A., Haumann, J., Woitass, M., Kluge, W.: A System-Supported Workload Balancing Scheme for Cooperating Reduction Machines
  2nd SIAM Conf. on Parallel Processing for Scientific Computations, Nov. 18-21, (1985), Norfolk/Va.\\19th Ann. Hawaii Int. Conf. on System Sciences, Jan. 8-10, (1986), Honolulu/Hawaii
  
• Kluge, W.E.: Cooperating Reduction Machines
  IEEE-Trans. Comp., Vol. C-32, No.11, (1983), pp.1002-1012
  
• Kluge, W.E., Schluetter, H.: Petri-Net Models for the Evaluation of Applicative Programs Based on Lambda-Expressions
  IEEE-Trans. Software-Eng., Vol. SE-9, No.4, (1983), pp.415-427
  
• Schmittgen, C., Kluge, W.E.: A System Architecture for the Concurrent Evaluation of Applicative Program Expressions
  Proc. 10th Ann. Symp. on Computer Architecture, (1983), ACM/IEEE
  
• Kluge, W., Schluetter, H.: An Architecture for Direct Execution of Reduction Languages
  Proc. of the Int. Workshop on High-Level Lang. Comp. Arch., (1980), Fort Lauderdale, Fla., pp.174-18

---

wk@informatik.uni-kiel.de
Last modified: August 17, 2009