TY  - BOOK
AU  - Robinet,Bernard
ED  - SpringerLink (Online service)
TI  - International Symposium on Programming: Proceedings of the Fourth ‘Colloque International sur la Programmation’ Paris, 22–24 April 1980 
T2  - Lecture Notes in Computer Science,
SN  - 9783540392330
AV  - QA76.6-76.66 
U1  - 005.11 23
PY  - 1980///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computer Science
KW  - Programming Techniques
N1  - 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
UR  - http://dx.doi.org/10.1007/3-540-09981-6
ER  -