Title International Symposium on Programming : proceedings, 5th colloquium, Turin, April 6-8, 1982 / edited by M. Dezani-Ciancaglini and U. Montanari

Published Berlin ; New York : Springer-Verlag, 1982

Click on the following:
Springer eBooks

Copies

Description 1 online resource (vi, 406 pages) : illustrations Series Lecture notes in computer science ; 137 Lecture notes in computer science ; 137. Contents 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 syntactic equivalences of program schemas and related transformations -- Procedures and concurrency: A study in proof -- Another characterization of weakest preconditions -- Powerdomains and nondeterministic recursive definitions -- Optimizing for a multiprocessor: Balancing synchronization costs against parallelism in straight-line code -- The simple semantics for Coppo-Dezani-Sallé types -- Proving the correctness of implementations of shared data abstractions -- Specification of communicating processes and process implementation correctness -- A system for reasoning within and about algebraic specifications -- Tuning algebraic specifications by type merging -- Communicating agents for applicative concurrent programming -- On effective computations of non-deterministic schemes -- Specification and verification of concurrent systems in CESAR -- Proof of separability A verification technique for a class of security kernels -- A method for program synthesis -- The use of transformations to implement an algorithm Bibliography Includes bibliographical references Notes Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL Print version record Subject Computer programming -- Congresses Computer programming. Logica E Semantica De Programacao. Genre/Form Conference papers and proceedings. Form Electronic book Author Dezani-Ciancaglini, M. (Mariangiola) Montanari, U. (Ugo) ISBN 9783540391845 3540391843

  Permalink