## Programming of Future Generation Computers II: Proceedings of the Second Franco-Japanese Symposium on Programming of Future Generation Computers, Cannes, France, 9-12, November, 1987, Volume 2 |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

New Answer to | 25 |

On Using ContextFree Graph Grammars for Analyzing Recursive Definitions | 83 |

Building Electronic Dictionaries for Natural Language Processing | 123 |

Copyright | |

15 other sections not shown

### Common terms and phrases

abstract abstract interpretation algebra algorithm analysis application argument roles assignment atom axioms called CDGs cells communication overhead communication rate complex indeterminate computation graph concurrent consider constraints construction context-free corresponding critical pair database deductive databases defined definition denoted domain dup(Mid,Oy efficiency eval(n evaluation event structures example execution exp2 expj expression Figure finite formula from-space function Functional Programming ICOT implementation input inter-PE interpretation labelled lambda calculus logic programming machine memory method mode natural language object operation operational semantics OPSILA optimization parallel parameters parsing partial predicate primitive problem program transformation programming language Prolog proof query recursive redex reduction relative communication represented result Saint-Dizier second-order logic semantics sequence sequential SIMD situation SLD-AL SPMD symbols synchronization syntactic system performance term rewriting systems Theorem transition transition relation tree true tuple unification unified variable vector