Current topics in informatics systems research
Siberian 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.
fully abstract model and complete axiomatization
Sabelfeld V K Equivalent transformations for recursion schemes
11 other sections not shown
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