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

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

Label
International Symposium on Programming : proceedings, 5th colloquium, Turin, April 6-8, 1982
Title
International Symposium on Programming
Title remainder
proceedings, 5th colloquium, Turin, April 6-8, 1982
Statement of responsibility
edited by M. Dezani-Ciancaglini and U. Montanari
Creator
Contributor
Subject
Genre
Language
eng
Member of
Action
digitized
Cataloging source
OCLCE
Dewey number
001.64/2
Illustrations
illustrations
Index
no index present
LC call number
QA76.6
LC item number
.I575 1982
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1982
http://bibfra.me/vocab/lite/meetingName
International Symposium on Programming
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Dezani-Ciancaglini, M.
  • Montanari, U.
Series statement
Lecture notes in computer science
Series volume
137
http://library.link/vocab/subjectName
  • Computer programming
  • Programmation (Informatique)
  • Computer programming
  • Logica E Semantica De Programacao
Label
International Symposium on Programming : proceedings, 5th colloquium, Turin, April 6-8, 1982, edited by M. Dezani-Ciancaglini and U. Montanari
Instantiates
Publication
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.
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.
Label
International Symposium on Programming : proceedings, 5th colloquium, Turin, April 6-8, 1982, edited by M. Dezani-Ciancaglini and U. Montanari
Publication
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.
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.

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...