Evan Tick

Implementations of Logic Programming Systems Evan Tick

Marc Notes: Papers from two workshops held at the 1993 International Conference on Logic Programming, held in Budapest, Hungary.; Includes bibliographical references and index. Table of Contents: SelfLog: Language and Implementation; M. Bugliesi, G. Nardiello. I. C. Prolog II: a Multi-Threaded Prolog System; D. Chu. Memory Management in Quintus Prolog; J. Crammond, T. Lindholm. How Concurrent Logic Programming could Benefit from Using Linda-like Operations; G. Czajkowski, K. Zielinski. Implementing Logic Programming Systems: the Quiche-Eating Approach; S. K. Debray. Call Forwarding: a Simple Low-Level Code Optimization Technique; S. K. Debray, K. De Bosschere, D. Gudeman. Moving Prolog Toward Objects; E. Denti, A. Natali, A. Omicini. MProlog: an Implementation Overview; Z. Farkas, P. Koves, P. Szeredi. Turbo Erlang: Approaching the Speed of C; B. Hausman. A Framework for Sharing Analysis; A. King. Better Late than Never; M. Meier. To Trim or not to Trim? J. Noye. Divided we Stand: Parallel Distributed Stack Memory Management; K. Shen, M. Hermenegildo. Or-Parallel Prolog on Distributed Shared Memory Architectures; F. M. A. Silva. Implementing Sets with Hash Tables in Declarative Languages; G. Succi, G. Marino, C. Dondina, A. Bergamini. Concurrent Logic Programs a la mode; E. Tick, B. Massey, F. Radkoczi, P. Tulayathun. Index."Publisher Marketing: This volume features a collection of research papers in the area of the implementation of logic programming systems. It should be of interest to practitioners who seek an understanding of how to efficiently manage memory, generate fast code, perform sophisticated static analyses, and design high-performance runtime features.

Contributor Bio:  Tick, Evan Evan Tick is Assistant Professor in the Department of Computer Science at the University of Oregon. Contributor Bio:  Succi, Giancarlo Giancarlo Succi is Professor of the Faculty of Computer Science and Director at the Center for Applied Software Engineering at the Free University of Bozen-Bolzano.