FGCS'88 PROCEEDINGS


COVER 

Table of Contents
Volume 2


FOUNDATION


INVITED PAPER 

Interpreting One Concurrent Calculus in Another 
321 
R. Milner 



SUBMITTED PAPERS 

Functional Logic Programming 

The Semantics of a Functional Logic Language with Input Mode 
327 
D. W. Shin, J. H. Nang, S. R. Maeng and J. W. Cho 

Conditional Equational Programming and the Theory of Conditional Term Rewriting 
337 
N. Dershowitz and M. Okada 



Theory of Parallel Computation 

Uniform Abstraction, Atomicity and Contractions in the Comparative Semantics
of Concurrent Prolog 
347 
J. W. de Bakker and J. N. Kok 

Parallel Computational Complexity of Logic Programs and Alternating Turing
Machines 
356 
Y. Okabe and S. Yajima 

Finite Failures and Partial Computations in Concurrent Logic Languages 
364 
M. Falaschi and G. Levi 

A Declarative Semantics of Parallel Logic Programs with Perpetual Processes 
374 
M. Murakami 



Formal Semantics 

Semantics of Logic Programs over Sequence Domains 
382 
S. Yamasaki 

Local Definitions with Static Scope Rules in Logic Programming 
389 
L. Giordano, A. Martelli and G. F. Rossi 

WEIGHTED GRAPHS, A Tool for Expressing the Behaviour of Recursive Rules
in Logic Programming 
397 
P. Devienne 



Program Analysis and Transformation (2) 

Horn Equality Theories and Complete Sets of Transformations 
405 
S. Holldobler 

Preservation of Stronger Equivalence in Unfold/Fold Logic Program Transformation 
413 
T. Kawamura and T. Kanamori 

An Abstract Interpretation Scheme for Logic Programs Based on Type Expression 
422 
A. K. Bansal and L. Sterling 

Transformation of StrictnessRelated Analyses Based on Abstract Interpretation 
430 
M. Ogawa and S. Ono 



Reasoning and Learning 

Rules and Justifications: A Uniform Approach to Reason Maintenance and
NonMonotonic Inference 
439 
M. Reinfrank and H. Freitag 

An Efficient Learning of ContextFree Grammars for BottomUp Parsers 
447 
Y. Sakakibara 

Nonmonotonic Reasoning by Minimal Belief Revision 
455 
K. Satoh 

Generating Rules with Exceptions 
463 
J. Arima 



Situation Semantics 

Situation Semantics and Semantic Interpretation in ConstraintBased Grammars 
471 
PK. Halvorsen 

Partially Specified Term in Logic Programming for Linguistic Analysis 
479 
K. Mukai 

Towards a Computational Interpretation of Situation Theory 
489 
H. Nakashima, H. Suzuki, P. K. Halvorsen and S. Peters 



Logic and Theorem Proving 

Knowledge Representation and Inference Based on FirstOrder Modal Logic 
499 
K. Iwanuma and M. Harao 

Declarative Semantics for Modal Logic Programs 
507 
Ph. Balbiani, L. Farinas Del Cerro and A. Herzig 

Epistemic Logic Programming 
515 
Y. J. Jiang 

TheoremProving with Resolution and Superposition: An Extension of the
Knuth and Bendix Procedure to a Complete Set of Inference Rules 
524 
M. Rusinowitch 



SPECIAL SESSION 

Messages form Parallel Complexity Theory: Does Parallelism Help ? 

Parallel Complexity and PComplete Problems 
532 
S. Miyano 

Parallel Approximation Algorithms 
542 
E. W. Mayr 



SOFTWARE




SUBMITTED PAPERS 

Program Analysis and Transformation (1) 

Algebraic MetaLevel Programming in Prolog 
555 
G. Louis and M. Vauclair 

Program Transformation Applied to the Derivation of Systolic Arrays 
565 
N. Yoshida 

The Use of Assertions in Algorithmic Debugging 
573 
W. Drabent, S. NadjmTehrani and J. Maluszynski 

Transformation Rules for GHC Programs 
582 
K. Ueda and K. Furukawa 



SPECIAL SESSION 

MetaComputation and Reflection 

A Tutorial Introduction to Metaclass Architecture as Provided by Class
Oriented Languages 
592 
P. Cointe 

Directions for MetaProgramming 
609 
J. W. Lloyd 

Reasoning about Knowledge and Ignorance 
618 
L. C. Aiello, D. Nardi and M. Schaerf 



SUBMITTED PAPERS 

Computation Models 

Software for the Rewrite Rule Machine 
628 
J. A. Goguen and Meseguer 

A'UM  A StreamBased Concurrent ObjectOriented Language  
638 
K. Yoshida and T. Chikayama 

Guarded Horn Clause Languages: Are They Deductive and Logical ? 
650 
C. Hewitt and G. Agha 



Functional Programming 

Lazy Evaluation of FP Programs: A DataFlow Approach 
658 
YH. Wei and JL. Gaudiot 

Committed Choice Functional Programming 
666 
G. Bage and G. Lindstrom 

A Progress Report on the LML Project 
675 
B. Bertolino, P. Mancarells, L. Meo, L. Nini, D. Pedreschi and F.
Turini 



INVITED PAPER 

Program Evaluation and Generalized Partial Computation 
685 
Y. Futamura 



SUBMITTED PAPERS 

Constraint Logic Programming 

The Constraint Logic Programming Language CHIP 
693 
M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf and
F. Berthier 

Applications of a Canonical Form for Generalized Linear Constraints 
703 
J. L. Lassez and K. McAloon 



Deductive Data Bases 

A Query Independent Method for Magic Set Computation on Stratified Databases 
711 
I. Balbin, K. Meenakshi and K. Ramamohanarao 

Efficient Query Answering on Stratified Databases 
719 
JM. Kerisit and JM. Pugin 

Answering Linear Recursive Queries in Cyclic Databases 
727 
CS. Wu and L. J. Henschen 

CAP  A ThreePhase Query Processing Technique for Indefinite Databases 
735 
S. Chi and L. J. Henschen 



Parallel Programming Languages 

ANDORRA Prolog  An Integration of Prolog and Committed Choice Languages 
745 
S. Haridi and P. Brand 

Design of a Concurrent Language for Distributed Artificial Intelligence 
755 
J. Ferber and JP. Briot 

The Language FCP (:,?) 
763 
S. Kliger, E. Yardeni, K. Kahn and E. Shapiro 

MetaInterpreters and Reflective Operations in GHC 
774 
J. Tanaka 



Logic Programming Languages 

Tables as a User Interface for Logic Programs 
784 
M. H. M. Cheng, M. H. van Emden and J. H. M. Lee 

Modular and Communicating Objects in SICStus Prolog 
792 
N. A. Elshiewy 

Benchmarking of Prolog Procedures for Indexing Purposes 
800 
M. Meier 

Foundations of DISLOG, Programming in Logic with Discontinuities 
808 
P. SaintDizier 



AUTHORS INDEX 
i 