<Book>
Functional and logic programming : 4th Fuji International Symposium, FLOPS '99, Tsukuba, Japan, November 11-13, 1999 : proceedings
Responsibility | Aart Middeldorp, Taisuke Sato (eds.) |
---|---|
Series | Lecture notes in computer science ; 1722 |
Material Type | Book |
Publisher | Berlin : Springer |
Year | c1999 |
Language | English |
Size | x, 368 p. : ill. ; 24 cm |
Abstract | This book constitutes the refereed proceedings of the 4th Fuji International Symposium on Functional & Logic Programming, FLOPS'99, held in Tsukuba, Japan, in November 1999. The 23 revised full papers...presented were carefully reviewed & selected from a total of 51 submissions. The papers are devoted to various current aspects of functional & 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. show more |
Electronic Version | https://hdl.handle.net/2324/7005234 |
Holdings
Status | Volume | Location | Call No. | Printed | Collection Name | Barcode No. | Comments | Reserve | Copy | Automatic archive |
---|---|---|---|---|---|---|---|---|---|---|
|
【Out of order】SciTech Library ASRS | 408/L 49 | 1999 |
|
061232004021475 |
|
Bibliographic details
Notes | Includes bibliographical references and index |
---|---|
Authors | *Fuji International Symposium on Functional and Logic Programming (4th : 1999 : Tsukuba, Japan) Middeldorp, Aart, 1963- 佐藤, 泰介 <サトウ, タイスケ> |
Subjects | LCSH:Functional programming (Computer science) -- Congresses
All Subject Search
LCSH:Logic programming -- Congresses All Subject Search |
Classification | LCC:QA76.62 |
ID | 1000988848 |
ISBN | 354066677X |
NCID | BA4396036X |
Vol | ISBN:354066677X |
Created Date | 2009.09.16 |
Modified Date | 2017.02.18 |