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

休耕地

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




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




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




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




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




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




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




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




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




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

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

进步

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

点燃

运气

说明

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)