Titlebook: International Symposium on Programming; 5th Colloquium, Turi Mariangiola Dezani-Ciancaglini,Ugo Montanari Conference proceedings 1982 Sprin

休耕地

書(shū)目名稱(chēng)International Symposium on Programming影響因子(影響力)




書(shū)目名稱(chēng)International Symposium on Programming影響因子(影響力)學(xué)科排名




書(shū)目名稱(chēng)International Symposium on Programming網(wǎng)絡(luò)公開(kāi)度




書(shū)目名稱(chēng)International Symposium on Programming網(wǎng)絡(luò)公開(kāi)度學(xué)科排名




書(shū)目名稱(chēng)International Symposium on Programming被引頻次




書(shū)目名稱(chēng)International Symposium on Programming被引頻次學(xué)科排名




書(shū)目名稱(chēng)International Symposium on Programming年度引用




書(shū)目名稱(chēng)International Symposium on Programming年度引用學(xué)科排名




書(shū)目名稱(chēng)International Symposium on Programming讀者反饋




書(shū)目名稱(chēng)International Symposium on Programming讀者反饋學(xué)科排名

objection

Hamper

Tuning algebraic specifications by type merging,ave the disadvantage of being too much decomposed and hence not directly suited for finding efficient implementations. The paper presents a formal method for overcoming this drawback by combining suitable hierarchical types while simultaneously specifying new (combined) operations.

凈禮

978-3-540-11494-9Springer-Verlag Berlin Heidelberg 1982

disciplined

International Symposium on Programming978-3-540-39184-5Series ISSN 0302-9743 Series E-ISSN 1611-3349

appall

進(jìn)步

https://doi.org/10.1007/3-540-11494-7algorithm; algorithms; concurrency; logic; parallelism; program synthesis; program transformation; programm

點(diǎn)燃

運(yùn)氣

說(shuō)明

ose systems. This data has the potential to form a major resource in respect of applications ranging from healthcare to energy systems, transport and manufacturing. However, the analysis and interpretation of the data, particularly when associated with the application of Artificial Intelligence (AI)