Titlebook: Automata, Languages and Programming; Ninth Colloquium Aar Mogens Nielsen,Erik Meineche Schmidt Conference proceedings 1982 Springer-Verlag

人工合成

书目名称Automata, Languages and Programming影响因子(影响力)




书目名称Automata, Languages and Programming影响因子(影响力)学科排名




书目名称Automata, Languages and Programming网络公开度




书目名称Automata, Languages and Programming网络公开度学科排名




书目名称Automata, Languages and Programming被引频次




书目名称Automata, Languages and Programming被引频次学科排名




书目名称Automata, Languages and Programming年度引用




书目名称Automata, Languages and Programming年度引用学科排名




书目名称Automata, Languages and Programming读者反馈




书目名称Automata, Languages and Programming读者反馈学科排名

Matrimony

On-the-fly garbage collection: New algorithms inspired by program proofs,e DLMSS algorithm. In (2), the color gray is introduced so that what we call BW(i, j, k) will always be false. Later this was found to be untenable and the invariants underwent modifications until correct ones were found. Rather than tinker with the invariants, we took the opportunity to look for ch

过份

Algebraic specifications for parametrized data types with minimal parameter and target algebras, σ-algebras which serve as parameters..We focus attention on one particular method of algebraically specifying parametrized data types: finite specifications with conditional equations using auxiliary sorts and functions provided with initial algebra semantics..We introduce the concept of an effecti

VEST

,A modification of the λ-calculus as a base for functional programming languages, This operator can be used in such a way that renaming of bound variables in any reduction sequence can be avoided, with the effect that efficient interpreters with comparatively simple machine organization can be designed..Any semantic model of the pure λ-calculus also serves as a model for this mo

知识分子

,Extended Chomsky-Schützenberger theorems,sms, incorporating the notion of an equality set. For one-tuples they are a homomorphism and an inverse homomorphism. Homomorphic equality and inverse homomorphic equality operations provide simple and uniform characterizations of the recursively enumerable sets in terms of the regular sets, and of

Retrieval

Machine inductive inference and language identification, more than n+1 mistakes can be (uniformly effectively) inferred in the limit; whereas, in general, a grammar (generation procedure) with no more than n mistakes cannot; for some classes an infinite sequence of perfectly correct decision procedures can be inferred in the limit, but single grammars wi

STANT

SYN

低位的人或事

cacophony

Parameter passing commutes with implementation of parameterized data types, as studied in earlier papers..A typical example is the implementation of binary trees ., by strings with brackets ., where . is the common formal parameter part of both parameterized specificitions. Parameter passing means to replace the formal parameter . by an actual parameter like integers . lea