Titlebook: International Symposium on Theoretical Programming; Andrei Ershov,Valery A. Nepomniaschy Conference proceedings 1974 Springer-Verlag Berli

有判断力

书目名称International Symposium on Theoretical Programming影响因子(影响力)




书目名称International Symposium on Theoretical Programming影响因子(影响力)学科排名




书目名称International Symposium on Theoretical Programming网络公开度




书目名称International Symposium on Theoretical Programming网络公开度学科排名




书目名称International Symposium on Theoretical Programming被引频次




书目名称International Symposium on Theoretical Programming被引频次学科排名




书目名称International Symposium on Theoretical Programming年度引用




书目名称International Symposium on Theoretical Programming年度引用学科排名




书目名称International Symposium on Theoretical Programming读者反馈




书目名称International Symposium on Theoretical Programming读者反馈学科排名

保存

Logical-termal equivalence of program schemata,is equivalence is proved. To the LT -equivalence belongs, for example, the operator and recognizer decomposition, the translation and permutation of operators, the memory redistribution, "untwisting of cycles", economy due to coinciding parts of computations.

流眼泪

RAG

978-3-540-06720-7Springer-Verlag Berlin Heidelberg 1974

救护车

relieve

铁塔等

Employee

Looking for an approach to a theory of models for parallel computation,ng subjects of mathematical research. Up to now corresponding researches have dealt with every model individually, the main attention, as a rule, being paid to structures realizing the control functions. Thus, in a sense, the model itself has not been investigated rather the syntactical means of its

确定

使纠缠

C. A. R. Hoarefor a father leads her to connect with a stranger, Muhidin, whom she claims and adopts as her own father. The geographical setting of her home exposes her to outgoings of waves, of ships and of strangers. Ayaana lives within the sight of the sea, and within the constant hearing of the sound and ebb