Theoretical Computer Science 1994: Vol 122 Table of Contents

2 Pages·1994·0.23 MB·English

THEORETICAL COMPUTER SCIENCE
Logic, semantics and theory of programming
Selected Papers of the Fifth Generation Computer Systems Conference, Tokyo, Japan, June
1-5, 1992
Guest Editors: S. Goto and K. Satoh
VOLUME 122, NUMBERS 1-2, 3 JANUARY 1994
Abstracted/Indexed in: ACM Computing Reviews, Compuscience, Computer Abstracts,
Current Contents: Engineering, Technology & Applied Science, Engineering Index/Com-
pendex, INSPEC Information Services, Mathematical Reviews, Zentralblatt fur Mathematik
CONTENTS
S. Goto and K. Satoh
Preface to the Special Issue of Selected Papers of the Fifth Generation
Computer Systems Conference, Tokyo, June 1-5, 1992
A. Bossi, M. Gabrielli, G. Levi and M.C. Meo
A compositional semantics for logic programs
L.M. Pereira, J.J. Alferes and J.N. Aparicio
Adding closed world assumptions to well-founded semantics
T. Kawamura
Logic program synthesis from first-order logic specifications
B. Martens, D. De Schreye and T. Horvath
Sound and complete partial deduction with unfolding based on well-founded
measures
M. Tatsuta
Realizability interpretation of coinductive definitions and program synthesis
with streams
Y. Takayama
Defining concurrent processes constructively
A. Corradini, U. Montanari and F. Rossi
An abstract machine for concurrent modular systems: CHARM
V. Poirriez
MLOG: a strongly typed confluent functional language with logical variables
M. Denecker and D. De Schreye
On the duality of abduction and model generation in a framework for model
generation with equality
H. Ait- Kaci, A. Podelski and G. Smolka
A feature constraint system for logic programming with entailment
Contents EATCS Bulletin 51, October 1993
Author Index Volume 122