Title :
A compositional proof system for dynamic process creation
Author_Institution :
Tech. Univ. of Eindhoven, Netherlands
Abstract :
A compositional proof systems for a parallel language, P, with dynamic process creation is presented. It is shown how a dynamic system of processes can be described in terms of specifications of the local processes which involve a characterization of their interface with the environment. The proof system formalizes reasoning about these interfaces on an abstraction level that is at least as high as that of the programming language. The programming language P is described, and two assertion languages, the local one and the global one, are defined. The proof system is described and its soundness and completeness are discussed
Keywords :
formal logic; inference mechanisms; logic programming; parallel languages; assertion languages; compositional proof system; dynamic process creation; dynamic system; local processes; parallel language; programming language; reasoning; specifications; Computer languages; Concurrent computing; History; Object oriented programming; Testing; Topology;
Conference_Titel :
Logic in Computer Science, 1991. LICS '91., Proceedings of Sixth Annual IEEE Symposium on
Conference_Location :
Amsterdam
Print_ISBN :
0-8186-2230-X
DOI :
10.1109/LICS.1991.151663
