Functional and Logic Programming : Proceedings of the Second Fuji International Workshop: Shonan Village Center, Japan, November 1-4, 1996

by Ida, Tetsuo; Ohori, Atsushi; Takeichi, Masato

• ISBN13: 9789810229238
• ISBN10: 9810229232
• Format: Hardcover
• Copyright: 1997-03-01
• Publisher: World Scientific Pub Co Inc

Summary

Modern Historiographyis the essential introduction to the history of historical writing. It explains the broad philosophical background to the different historians and historical schools of the modern era. In a unique overview of modern historiography, the book includes surveys on the Enlightenment and Counter Enlightenment; Romanticism; the voice of Science and the process of secularization within Western intellectual thought; the influence of, and broadening contact with, the New World; theAnnalesschool in France; and the effects of the repression and exile of the inter-war years and the Post-War 'moods.'Modern Historiographyprovides a clear and concise account of this modern period of historical writing.

Table of Contents

Foreword	vii
Invited talk (1)	1	(13)
Mathematica as a Rewrite Language	1	(13)
Bruno Buchberger (Univ. Linz)
Rewriting and Constraint Solving	14	(55)
Strong Completeness of a Lazy Conditional Narrowing Calculus	14	(19)
Mohamed Hamada
Aart Middeldorp (Univ. Tsukuba)
Extension of WAM for a Linear Logic Programming Language	33	(18)
Naoyuki Tamura
Yukio Kaneda (Kobe Univ.)
A Computational Study of Two Cumulative Scheduling Problems	51	(18)
Hendrik C. R. Lock (Univ. Karlsruhe)
Invited Talk (2)	69	(2)
The Design and Implementation of Mondrian	69	(2)
Erik Meijer (Oregon Graduate Inst. & Utrecht Univ.)
Joost van Dijk (Utrecht Univ.)
Koen Claessen (Oregon Graduate Inst. & Utrecht Univ.)
Arjan van Yzendoorn (Utrecht Univ.)
Functional Programming	71	(52)
A Functional Perspective of Array Primitives	71	(20)
Tyng-Ruey Chuang (Academia Sinica, Taiwan)
An Extension of the Acid Rain Theorem	91	(15)
Zhenjiang Hu
Hideya Iwasaki
Masato Takeichi (Univ. Tokyo)
A New Formulation of the Catch/Throw Mechanism	106	(17)
Yukiyoshi Kameyama (Kyoto Univ.)
Tutorial Lecture
Curry -- A Truly Functional Logic Language
Michael Hanus (RWTH Aachen)
Program Analysis	123	(40)
On the Inference of Structured Recursive Effects with Subtyping	123	(20)
Mourad Debbabi
Zahia Aidoud
Ali Faour (Laval Univ.)
Slicing Concurrent Logic Programs	143	(20)
Jianjun Zhao
Jingde Cheng
Kazuo Ushijima (Kyushu Univ.)
Concurrency	163	(29)
Temporal Semantics of a Concurrency Monad with Choice and Services	163	(13)
Thomas Frauenstein
Wolfgang Grieskamp
Mario Suedholt (Technical Univ. Berlin)
Concurrent Programming Using Traces in HASKELL	176	(16)
Victor M. Gulias
Juan J. Quintela
Jose L. Freire (Univ. La Coruna)
Invited Talk (3)	192	(2)
Interactive Functional Programming	192	(2)
Henk Barendregt (Univ. Nijmegen)
Semantics and Logic	194	(52)
Algebraic Semantics for Higher-Order Functional-Logic Programming	194	(16)
Makoto Hamana (Univ. Tsukuba)
Subtype Relations Yielding Filter Lambda-Models	210	(20)
Toshihiko Kurata (Tokyo Institute of Technology)
Bohm Trees, Bisimulations and Observations in Lambda Calculus	230	(16)
Fer-Jan de Vries (ETL)
Invited Talk (4)	246	(20)
Higher-Order Functional-Logic Programming: A Systematic Development	246	(20)
Christian Prehofer (Technical Univ. Munchen)
Type Systems	266
Currying Multi Methods in a Merge Calculus	266	(20)
Hideki Tsuiki (Kyoto Sangyo Univ.)
Type Inference for the Mixture of Matching and Implicit Subtyping	286	(15)
Koji Kagawa (Kagawa Univ.)
Compilation Based on a Calculus for Explicit Type Passing	301
Yasuhiko Minamide (Kyoto Univ.)