Factual Knowledge for Developing Concurrent Programs
Abstract
We propose a system for the derivation of algorithms which allows us to use factual for the development of concurrent programs. From preliminary program versions the system can derive new versions which have higher performances and can be evaluated by communicating agents in a parallel architecture. The knowledge about the facts or properties of the programs is also used for the improvement of the system itself.
Cite
Text
Skowron and Pettorossi. "Factual Knowledge for Developing Concurrent Programs." AAAI Conference on Artificial Intelligence, 1986.Markdown
[Skowron and Pettorossi. "Factual Knowledge for Developing Concurrent Programs." AAAI Conference on Artificial Intelligence, 1986.](https://mlanthology.org/aaai/1986/skowron1986aaai-factual/)BibTeX
@inproceedings{skowron1986aaai-factual,
title = {{Factual Knowledge for Developing Concurrent Programs}},
author = {Skowron, Andrzej and Pettorossi, Alberto},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {1986},
pages = {26-31},
url = {https://mlanthology.org/aaai/1986/skowron1986aaai-factual/}
}