Portal de Periódicos da CAPES

Programming Languages and Systems — ESOP '94

1994; Springer Science+Business Media; Linguagem: Inglês

10.1007/3-540-57880-3

1611-3349

Gerhard Goos, Juris Hartmanis, Donald Sannella, Luca Cardelli, George D. W. Berry, Guy Cousineau, Paris De Nicola, Rome Dybjer, Gothenburg Klint, Amsterdam Krieg-Briickner, Bremen Myeroft, Cambridge Nielson, Aarhus Sannell, Amı́lcar Sernadas, Lisbon Tarlecki, Warsaw Warren, B Wilhelm, Saarbrficken Wirsing, G. Cleland, Margaret Gilmore, D Lekuse, Luca Aceto, Pierpaolo Degano, Hutton Montanari, Shi Haibin, Sten Agerholm, Uttaran De, Liguoro Inverardi, L. Mounier, Kurt Sieber, M Alt, Robert de Simone, Caroline Jay, A Miick, Andrew J. Sinclair, Thorsten Altenkirch, R Dicosmo, Martin Jones, David Murphy, Grzegorz Smołka, Torben Amtoft, Stephan Diehl, F Nickl, Stefan Sokotowski, Lennart Augustsson, T. B. Dinesh, Stefan Kahrs, Xavier Nicollin, Kirsten Lackner Solberg, Franco Barbanera, D Dranidis, Klas-Göran Karlsson, Joachim Niehren, S. Soloviev, Henk Barendregt, Hans-Dieter Ehrich, Amanda J. Kennedy, Hanne Riis Nielson, Marian Srebrny, David Basin, Patrice Enjalbert, Nils Klarlund, A. NORMAN, Robert Stabl, Marek A. Bednarczyk, Jürgen Exner, Klop, Ernst Olderog, J Steensgaard-, F Bengelloune, B Fages, C Konikowska, Madsen Palamidessi, Christoph Benke, H.-J Fecht, F Kreowski, Steffen Benton, Christian Ferdinand, R Kubiak, Christine Paulin, John G. Stell, Rudolf Berghammer, Gian-Luigi Ferrari, Cosimo Laneve, W Pawtowski, Bo Stig, Hansen Berstel, Gudmund Skovbjerg Frandsen, M Lara De Souza, Penezek Stoughton, M Biatasik, T Franz n, Giang Truong Le, Peterreins Streicher, A Bockmayr, Laurent Fribourg, Lesske Pierce, A Szatas, C Bshm, Harald Ganzinger, J Leszczytowski, Adolfo Piperno, D Szczepafiska, Michele Boreale, Philippa Gardner, Zhilin Li, Kriti Prasad, Tanel Tammet, Andrzej M. Borzyszkowski, Stefan Gastinger, Luigi Liquori, Corrado Priami, Álvaro Tasistro, Gérard Boudol, B Gersdorf, Janet Lloyd, Rosario Pugliese, Mads Tofte, Pierrette Bouillon, John M. Gibbons, Gianfranco Longo, Qian Zhang, T.H. Tse, Frédéric Boussinot, Robert Giegerich, Mackenzie Qiwen, Turner Bradfield, Stephen Gilmore, Eric Madelaine, Martin Raber, Paweł Urzyczyn, Kat Bruce, Stefania Gnesi, Christian Maeder, Christophe Raffalli, Frits Vaandrager, Michael Butler, M Gogolla, A Maggiolo- W, Susanne Reif, M Van Bakel, Peter Carlsson, Schettini Gouveia, A R my, P Van Deursen, M Caspi, Hans Grabowski, P Mairson, José Humberto Cardoso Resende, G Van Wamel, S Castagna, Peter Gregory, B Malacaria, E Reus, Astrid E. Visser, G Cau, K Grudzirlski, M Malmkj er, B Rittri, Marcin Sydow, J Cengarle, L Hannan, Kaisey S. Mandel, J Rose, Wright Von, M Charron-Bost, D Hanus, B Mandrioli, Tyng–Ruey Chuang, T Hardin, Luc Maranget, François Rouaix, L Walukiewicz, William F. Clocksin, J Hiarland, Florence Maraninchi, Jan Rutten, Pierre Weis, Michael Cole, Ronald G. Harley, Elena Marchiori, Michael J. Ryan, Józef Winkowski, Stefan Conrad, Pieter Hartel, Renaud Marlet, Américo Sampaio, Burkhart Wolff, Flavio Corradini, Jan Heering, M. Mauny, David Sands, Dietmar Wolz, V.A.F. Costa, Fritz Henglein, Brian H. Mayoh, Davide Sangiorgi, J Wuertz, Patrick Cousot, R Hennicker, Michael Mehlich, O Schoett, R Yang, R Cousot, Andreas V. Hense, Andrea Mifsud, M Schwartzbach, Yi Wu, Pierre Crégut, Claudio Hermida, F. Mignard, Helmut Seidl, Marek Zawadowski, Roy L. Crole, Dieter Hofbauer, Kyle Mitchell, Kaisa Sere, Wenhui Zhang, Marco Danelutto, B Hoffmann, Torben Ægidius Mogensen, Cristina Sernadas, Shan Zhou, Olivier Danvy, Jens J. Holst, Bruno Monsuez, K. M. Shen,

Distributed and Parallel Computing Systems

This volume contains the papers selected for presentation at the 5th European Symposium on Programming (ESOP'94), which was held jointly with the 19th Colloquium on Trees in Algebra and Programming (CAAP'94) during 11-13 April in Edinburgh.ESOP is a biennial symposium which has been held previously in Saarbrficken, Nancy, Copenhagen and Rennes.ESOP is devoted to fundamental issues in the specification, design and implementation of programming languages and systems.The emphasis is on research that bridges the gap between theory and practice, for example an implemented system that embodies an important concept or method, or a formal framework for design that usefully addresses issues arising in practical system development.The scope of the symposium includes work on: software analysis, specification, transformation, development and verification/certification; programming paradigms (functional, logic, object-oriented, concurrent, etc.) and their combinations; programming language concepts, implementation techniques and semantics; software design methodologies; typing disciplines and typechecking algorithms; and programming support tools.