## Current topics in informatics systems researchSiberian Division of the USSR Academy of Sciences, Institute of Informatics System, 1991 - Computers - 179 pages |

### What people are saying - Write a review

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

### Contents

Preface | 2 |

fully abstract model and complete axiomatization | 38 |

Sabelfeld V K Equivalent transformations for recursion schemes | 61 |

11 other sections not shown

### Common terms and phrases

ACCEPT-EMPTY AFP2 algebra algorithm axioms boolean called cells colour compiler concurrency contains context data type dataflow dataflow network deadlocked actions definition denotational semantics denote DI*GEN educational software equal equivalent Ershov A.P. example exists expert system finite set fragment G ground terms ground-reducibility hypertext index sets induction informatics interface knowledge base left-linear Lemma lexical analyzer linear algebra linear instantiation Lisp list(a mixed computation nodes non-actions Notes in Computer notion Novosibirsk object occur operations P-specialization parameter Partial Evaluation partial order polymorphic posets predicate prefix Presburger arithmetic problem process behaviour programming languages proof r-expression recursively regular language regular tree languages representation residual program result rewriting systems Rule scheme Russian segment semantics set-car subset subterm subtype syntactical analyzer term rewriting systems term(G,a theorem tion tokens transformation translation TRSs type completeness type inference type specification V(Var variables verification condition vocabulary