Advertisement

Functional and Logic Programming

4th Fuji International Symposium, FLOPS’99 Tsukuba, Japan, November 11-13, 1999 Proceedings

  • Aart Middeldorp
  • Taisuke Sato
Conference proceedings FLOPS 1999

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1722)

Table of contents

  1. Front Matter
  2. J. C. González-Moreno, M. T. Hortalá-González, M. Rodríguez-Artalejo
    Pages 1-20
  3. Ralf Hinze
    Pages 21-36
  4. Gilles Barthe, Bernard P. Serpette
    Pages 53-67
  5. Manuel M. T. Chakravarty
    Pages 68-84
  6. Rafael Caballero, Francisco J. López-Fraguas
    Pages 85-99
  7. María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
    Pages 147-162
  8. Antonio J. Fernández, Patricia M. Hill
    Pages 194-208
  9. Oege de Moor, Ganesh Sittampalam
    Pages 209-224
  10. Adam Bakewell, Colin Runciman
    Pages 225-240
  11. Christoph Beierle, Gregor Meyer
    Pages 251-266
  12. Olivier Ridoux, Patrice Boizumault, Frédéric Malésieux
    Pages 267-283
  13. Ernie Johnson, C. R. Ramakrishnan, I. V. Ramakrishnan, Prasad Rao
    Pages 284-299
  14. Mircea Marin, Tetsuo Ida, Taro Suzuki
    Pages 319-334
  15. Sergio Antoy, Andrew Tolmach
    Pages 335-352
  16. Back Matter

About these proceedings

Introduction

This volume contains the papers presented at the 4th Fuji International S- posium on Functional and Logic Programming (FLOPS’99) held in Tsukuba, Japan, November 11–13, 1999, and hosted by the Electrotechnical Laboratory (ETL). FLOPS is a forum for presenting and discussing all issues concerning functional programming, logic programming, and their integration. The sym- sium takes place about every 1.5 years in Japan. Previous FLOPS meetings were held in Fuji Susuno (1995), Shonan Village (1996), and Kyoto (1998). 1 There were 51 submissions from Austria ( ),Belgium (2),Brazil(3),China 3 3 1 7 (1), Denmark (2), France (3 ), Germany (8), Ireland (1), Israel ( ), Italy (1 ), 4 3 12 1 Japan (9 ), Korea (1), Morocco (1), The Netherlands (1), New Zealand (1), 3 1 1 3 5 Portugal ( ), Singapore ( ), Slovakia (1), Spain (4 ), Sweden (1), UK (4 ), 2 3 4 6 1 and USA (2 ), of which the program committee selected 21 for presentation. In 4 addition, this volume contains full papers by the two invited speakers, Atsushi Ohori and Mario Rodr´?guez-Artalejo.

Keywords

Currying Functional Programming Functional-Logic Programming Logic Programming Partial Evaluation Program Analysis Program Transformation Type Checking formal verification logic programming semantics verification

Editors and affiliations

  • Aart Middeldorp
    • 1
  • Taisuke Sato
    • 2
  1. 1.Institute of Computer ScienceUniversity of InnsbruckAustria
  2. 2.Tokyo Institute of TechnologyGraduate School of Information Sciences and Engineering OokayamaTokyoJapan

Bibliographic information

  • DOI https://doi.org/10.1007/10705424
  • Copyright Information Springer-Verlag Berlin Heidelberg 1999
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-66677-6
  • Online ISBN 978-3-540-47950-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Electronics
IT & Software
Telecommunications
Aerospace
Engineering