Coverart for item
The Resource International Symposium on Programming : proceedings of the fourth Colloque international sur la programmation, Paris, 22-24 April 1980, edited by B. Robinet

International Symposium on Programming : proceedings of the fourth Colloque international sur la programmation, Paris, 22-24 April 1980, edited by B. Robinet

Label
International Symposium on Programming : proceedings of the fourth Colloque international sur la programmation, Paris, 22-24 April 1980
Title
International Symposium on Programming
Title remainder
proceedings of the fourth Colloque international sur la programmation, Paris, 22-24 April 1980
Statement of responsibility
edited by B. Robinet
Creator
Contributor
Subject
Genre
Language
  • eng
  • fre
  • eng
Member of
Action
digitized
Cataloging source
OCLCE
Dewey number
001.64/2
Index
no index present
LC call number
QA76.6
LC item number
.I575 1980
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1980
http://bibfra.me/vocab/lite/meetingName
International Symposium on Programming
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1941-
http://library.link/vocab/relatedWorkOrContributorName
Robinet, B.
Series statement
Lecture notes in computer science
Series volume
83
http://library.link/vocab/subjectName
  • Computer programming
  • Computer programming
  • Programacao De Computadores
  • Logica E Semantica De Programacao
Label
International Symposium on Programming : proceedings of the fourth Colloque international sur la programmation, Paris, 22-24 April 1980, edited by B. Robinet
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
Static type checking for languages with parametric types and polymorphic procedures -- Concrete control phases in languages for programming complex systems -- Types algebriques et semantique des langages de programmation -- Towards a theory of abstract data types: A discussion on problems and tools -- On relations between programs -- A communication data type for message oriented programming -- Processus non-sequentiels et leurs observations en univers non-centralise -- A case study of abstract implementations and their correctness -- About program termination and simplification -- A relational model for non-deterministic programs and predicate transformers -- Structures de controle et puissances d'expression -- Conception et optimisation des descentes recursives -- An algebraic structure of petri nets -- An algorithm for translating LISP programs into reduction language programs -- Concurrent operations in large ordered indexes -- Specification of highly parallel and distributed resource management -- Semantics for lisp without reference to an interpreter -- Parallelism in ADA: Program design and meaning -- The theory and practice of transforming call-by-need into call-by-value -- A model-theoretic approach to specification, extension, and implementation -- Échappements et continuations en semantique dénotationnelle -- Suggestions for composing and specifying program design decisions -- Making programs more readable
Control code
570868586
Dimensions
unknown
Extent
1 online resource (vii, 341 pages).
Form of item
online
Isbn
9783540392330
Level of compression
  • lossless
  • lossy
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Reformatting quality
  • preservation
  • access
Reproduction note
Electronic reproduction.
Specific material designation
remote
System control number
(OCoLC)570868586
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 of the fourth Colloque international sur la programmation, Paris, 22-24 April 1980, edited by B. Robinet
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
Static type checking for languages with parametric types and polymorphic procedures -- Concrete control phases in languages for programming complex systems -- Types algebriques et semantique des langages de programmation -- Towards a theory of abstract data types: A discussion on problems and tools -- On relations between programs -- A communication data type for message oriented programming -- Processus non-sequentiels et leurs observations en univers non-centralise -- A case study of abstract implementations and their correctness -- About program termination and simplification -- A relational model for non-deterministic programs and predicate transformers -- Structures de controle et puissances d'expression -- Conception et optimisation des descentes recursives -- An algebraic structure of petri nets -- An algorithm for translating LISP programs into reduction language programs -- Concurrent operations in large ordered indexes -- Specification of highly parallel and distributed resource management -- Semantics for lisp without reference to an interpreter -- Parallelism in ADA: Program design and meaning -- The theory and practice of transforming call-by-need into call-by-value -- A model-theoretic approach to specification, extension, and implementation -- Échappements et continuations en semantique dénotationnelle -- Suggestions for composing and specifying program design decisions -- Making programs more readable
Control code
570868586
Dimensions
unknown
Extent
1 online resource (vii, 341 pages).
Form of item
online
Isbn
9783540392330
Level of compression
  • lossless
  • lossy
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Reformatting quality
  • preservation
  • access
Reproduction note
Electronic reproduction.
Specific material designation
remote
System control number
(OCoLC)570868586
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 ...