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

Resource Information

The instance International Symposium on Programming : proceedings, 5th colloquium, Turin, April 6-8, 1982, edited by M. Dezani-Ciancaglini and U. Montanari represents a material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries. This resource is a combination of several types including: Instance, Electronic.

Image

http://images.btol.com/ContentCafe/Jacket.aspx?UserID=ebsco-test&Password=ebsco-test&Return=T&Value=9783540391845&Type=L

Label

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

Title remainder

proceedings, 5th colloquium, Turin, April 6-8, 1982

Statement of responsibility

edited by M. Dezani-Ciancaglini and U. Montanari

Instantiates

• International Symposium on Programming : proceedings, 5th colloquium, Turin, April 6-8, 1982

Publication

• Berlin | New York, Springer-Verlag, 1982

Antecedent source

file reproduced from original

Bibliography note

Includes bibliographical references

Carrier category

online resource

Carrier category code

• cr

Carrier MARC source

rdacarrier

Color

black and white

Content category

text

Content type code

• txt

Content type MARC source

rdacontent

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

Control code

644948567

Dimensions

unknown

Extent

1 online resource (vi, 406 pages)

Form of item

online

Isbn

9783540391845

Level of compression

• lossless
• lossy

Media category

computer

Media MARC source

rdamedia

Media type code

• c

Other physical details

illustrations.

Record ID

.b130109976

Reformatting quality

• preservation
• access

Reproduction note

Electronic reproduction.

Specific material designation

remote

System control number

(OCoLC)644948567

System details

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.