International Symposium on Programming
Broschiertes Buch

International Symposium on Programming

5th Colloquium, Turin, April 6-8, 1982. Proceedings

Herausgegeben: Dezani-Ciancaglini, M.; Montanari, U.
Versandkostenfrei!
Versandfertig in 1-2 Wochen
27,99 €
inkl. MwSt.
PAYBACK Punkte
14 °P sammeln!
Applicative communicating processes in first order logic.- A machine-level semantics for nondeterministic, parallel programs.- A formalized proof system for total correctness of while programs.- Automatic program transformation viewed as theorem proving.- An enlarged definition and complete axiomatization of observational congruence of finite processes.- Perluette : A compilers producing system using abstract data types.- A weakest precondition semantics for communicating processes.- From abstract model to efficient compilation of patterns.- Computer-based synthesis of logic programs.- On some...