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.
Edited by:
Aart Middeldorp, Taisuke Sato Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Country of Publication: Germany Edition: 1999 ed. Volume: 1722 Dimensions:
Height: 235mm,
Width: 155mm,
Spine: 20mm
Weight: 1.200kg ISBN:9783540666776 ISBN 10: 354066677X Series:Lecture Notes in Computer Science Pages: 378 Publication Date:27 October 1999 Audience:
College/higher education
,
Professional and scholarly
,
Professional & Vocational
,
A / AS level
,
Further / Higher Education
Format:Paperback Publisher's Status: Active