+612 9045 4394
 
CHECKOUT
Functional and Logic Programming : 7th International Symposium, Flops 2004, Nara, Japan, April 7-9, 2004, Proceedings - Yukiyoshi Kameyama

Functional and Logic Programming

7th International Symposium, Flops 2004, Nara, Japan, April 7-9, 2004, Proceedings

By: Yukiyoshi Kameyama (Editor), Peter J. Stuckey (Editor)

Paperback

Published: 24th March 2004
Ships: 5 to 9 business days
5 to 9 business days
$125.05
or 4 easy payments of $31.26 with Learn more

This volume contains the proceedings of the 7th International Symposium on Functional and Logic Programming (FLOPS 2004), held in Nara, Japan, April 7-9, 2004 at the New Public Hall, Nara. FLOPS is a forum for research on all issues concerning functional progr- mingandlogicprogramming. Inparticularitaimstostimulatethecross-fertili- tion as well as the integration of the two paradigms. The previous FLOPS me- ings took place in Fuji-Susono (1995), Shonan (1996), Kyoto (1998), Tsukuba (1999), Tokyo(2001)and Aizu (2002). The proceedingsofFLOPS 1999, FLOPS 2001 and FLOPS 2002 were published by Springer-Verlag in the Lecture Notes in Computer Science series, as volumes 1722, 2024 and 2441, respectively. In response to the call for papers, 55 papers were submitted by authors from 1 Australia (1), Austria (1), Canada (1), China (4), Denmark (2), Estonia ( ), 2 1 1 France (3 ), Germany (4 ), Italy (1), Japan (15), the Netherlands (1), Oman 2 4 1 1 (1), Portugal ( ), Singapore (2), Spain (8), UK (3), and USA (6 ). Each paper 2 4 was reviewed by at least three program committee members with the help of expert external reviewers. The program committee meeting was conducted el- tronically for a period of 2 weeks in December 2003. After careful and thorough discussion, the program committee selected 18 papers (33%) for presentation at theconference. Inadditiontothe18contributedpapers, thesymposiumincluded talks by three invited speakers: Masami Hagiya (University of Tokyo), Carsten Schur ] mann (Yale University), and Peter Selinger (University of Ottawa).

A brief survey of quantum programming languagesp. 1
Analysis of synchronous and asynchronous cellular automata using abstraction by temporal logicp. 7
Twelf and Delphin : logic and functional programming in a meta-logical frameworkp. 22
Online justification for tabled logic programsp. 24
Constructive intensional negationp. 39
Analysing definitional trees : looking for determinismp. 55
DDT : a declarative debugging tool for functional-logic languagesp. 70
LIX : an effective self-applicable partial evaluator for prologp. 85
Multivariant non-failure analysis via standard abstract interpretationp. 100
Set-sharing is not always redundant for pair-sharingp. 117
Backward pair sharing analysisp. 132
Implementing natural rewriting and narrowing efficientlyp. 147
Complete axiomatization of an algebraic construction of graphsp. 163
Sub-Birkhoffp. 180
Relaxing the value restrictionp. 196
Rigid Mixin modulesp. 214
Semantics of linear continuation-passing in call-by-namep. 229
A direct proof of strong normalization for an extended Herbelin's calculusp. 244
Normalization by evaluation for [actual symbol not reproducible]p. 260
Basic pattern matching calculi : a fresh view on matching failurep. 276
Derivation of deterministic inverse programs based on LR parsingp. 291
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540214021
ISBN-10: 354021402X
Series: Lecture Notes
Audience: General
Format: Paperback
Language: English
Number Of Pages: 307
Published: 24th March 2004
Publisher: SPRINGER VERLAG GMBH
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 1.73
Weight (kg): 0.45