Skip to main content
SpringerLink
Log in

Functional and Logic Programming

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

  • Conference proceedings
  • © 1999

Overview

Editors:
  1. Aart Middeldorp

    1. Institute of Computer Science, University of Innsbruck, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Taisuke Sato

    1. Tokyo Institute of Technology, Graduate School of Information Sciences and Engineering Ookayama, Tokyo, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: FLOPS 1999.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (23 papers)

  1. Front Matter

    Download chapter PDF

  2. Semantics and Types in Functional Logic Programming

    • J. C. González-Moreno, M. T. Hortalá-González, M. Rodríguez-Artalejo
    Pages 1-20

  3. Polytypic Programming With Ease

    • Ralf Hinze
    Pages 21-36

  4. Type Inference for Overloading without Restrictions, Declarations or Annotations

    • Carlos Camarão, Lucília Figueiredo
    Pages 37-52

  5. Partial Evaluation and Non-interference for Object Calculi

    • Gilles Barthe, Bernard P. Serpette
    Pages 53-67

  6. Lazy Lexing is Fast

    • Manuel M. T. Chakravarty
    Pages 68-84

  7. A Functional-Logic Perspective of Parsing

    • Rafael Caballero, Francisco J. López-Fraguas
    Pages 85-99

  8. Implementing Encapsulated Search for a Lazy Functional Logic Language

    • Wolfgang Lux
    Pages 100-113

  9. Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers

    • Armin Kühnemann
    Pages 114-130

  10. Automatic Verification Based on Abstract Interpretation

    • Mizuhito Ogawa
    Pages 131-146

  11. A Transformation System for Lazy Functional Logic Programs

    • María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
    Pages 147-162

  12. Termination Analysis of Tabled Logic Programs Using Mode and Type Information

    • Sofie Verbaeten, Danny De Schreye
    Pages 163-178

  13. On Quasi-Reductive and Quasi-Simplifying Deterministic Conditional Rewrite Systems

    • Enno Ohlebusch
    Pages 179-193

  14. An Interval Lattice-Based Constraint Solving Framework for Lattices

    • Antonio J. Fernández, Patricia M. Hill
    Pages 194-208

  15. Higher Order Matching for Program Transformation

    • Oege de Moor, Ganesh Sittampalam
    Pages 209-224

  16. Automated Generalisation of Function Definitions

    • Adam Bakewell, Colin Runciman
    Pages 225-240

  17. An Extensional Characterization of Lambda-Lifting and Lambda-Dropping

    • Olivier Danvy
    Pages 241-250

  18. Using Types as Approximations for Type Checking Prolog Programs

    • Christoph Beierle, Gregor Meyer
    Pages 251-266

  19. Typed Static Analysis: Application to Groundness Analysis of Prolog and λ Prolog

    • Olivier Ridoux, Patrice Boizumault, Frédéric Malésieux
    Pages 267-283

  20. A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs

    • Ernie Johnson, C. R. Ramakrishnan, I. V. Ramakrishnan, Prasad Rao
    Pages 284-299
Back to top

Other volumes

  1. Functional and Logic Programming

Keywords

About this book

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.

Editors and Affiliations

  • Institute of Computer Science, University of Innsbruck, Austria

    Aart Middeldorp

  • Tokyo Institute of Technology, Graduate School of Information Sciences and Engineering Ookayama, Tokyo, Japan

    Taisuke Sato

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation