Functional And Logic Programming: Proceedings Of The Third Fuji International Symposium

ISBN: 9789810233846 出版年：1998 页码：323 Masahiko Sato Yoshihito Toyama World Scientific Publishing Company

This book discusses issues concerning functional programming, logic programming, and integration of the two. The topics include language design, formal semantics, type theory, compilation techniques, program transformation, programming methods, integration of programming paradigms, constraint solving, and distributed computation.