Cover Image

Functional and logic programming : 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings /

Show other versions (1)

This book constitutes the refereed proceedings of the 4th Fuji International Symposium on Functional and Logic Programming, FLOPS'99, held in Tsukuba, Japan, in November 1999. The 23 revised full papers presented were carefully reviewed and selected from a total of 51 submissions. The papers ar...

Full description

Bibliographic Details
Corporate Authors: Fuji International Symposium on Functional and Logic Programming Tsukuba Kenkyū Gakuen Toshi, Japan, SpringerLink (Online service)
Other Authors: Middeldorp, Aart, 1963-, Satō, Taisuke
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [1999]
Series:Lecture notes in computer science ; 1722.
Subjects:
Functional programming (Computer science) > Congresses.
Logic programming > Congresses.
Functional programming (Computer science)
Logic programming.
Electronic books.
Conference proceedings.
Online Access:Connect to the full text of this electronic book
Description
Summary:This book constitutes the refereed proceedings of the 4th Fuji International Symposium on Functional and Logic Programming, FLOPS'99, held in Tsukuba, Japan, in November 1999. The 23 revised full papers presented were carefully reviewed and selected from a total of 51 submissions. The papers are devoted to various current aspects of functional and logic programming as well as to the integration of these two paradigms. Among the topics addressed are typing, partial evaluation, program transformations, parsing, formal verification, program analysis, static analysis, narrowing, etc.
Item Description:Electronic resource.
Physical Description:1 online resource (x, 368 pages) : illustrations
Bibliography:Includes bibliographical references and index.
ISBN:9783540479505 (electronic bk.)
3540479503 (electronic bk.)
ISSN:0302-9743 ;