Factual knowledge for developing concurrent programs
作者： Alberto Pettorossi , Andrzej Skowron
DOI:
关键词: Algorithm 、 Factual knowledge 、 Software engineering 、 Computer science 、 Development (topology)
摘要: We propose a system for the derivation of algorithms which allows us to use "factual knowledge" development concurrent programs. From preliminary program versions can derive new have higher performances and be evaluated by communicating agents in parallel architecture. The knowledge about facts or properties programs is also used improvement itself.
参考文章(6)
Alberto Pettorossi, Andrzej Skowron, A methodology for improving parallel programs by adding communications Symposium on Computation Theory. pp. 228- 250 ,(1984) , 10.1007/3-540-16066-3_20
Alberto Pettorossi, Andrzej Skowron, Using Facts for Improving the Parallel Execution of Functional Programs. international conference on parallel processing. pp. 616- 623 ,(1986)
William L. Scherlis, Dana S. Scott, First Steps Towards Inferential Programming ifip congress. pp. 99- 133 ,(1993) , 10.1007/978-94-011-1793-7_6
Kenneth E. Iverson, A Programming Language ,(1962)
David R. Barstow, An experiment in knowledge-based automatic programming Artificial Intelligence. ,vol. 12, pp. 133- 156 ,(1986) , 10.1016/0004-3702(79)90013-4
R. M. Burstall, John Darlington, A Transformation System for Developing Recursive Programs Journal of the ACM. ,vol. 24, pp. 44- 67 ,(1977) , 10.1145/321992.321996