International Symposium on Programming [electronic resource] : Proceedings of the Fourth ‘Colloque International sur la Programmation’ Paris, 22–24 April 1980 /
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.
Main Authors: | , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1980
|
Subjects: | Computer science., Science., Software engineering., Computer programming., Computer Science., Software Engineering/Programming and Operating Systems., Programming Techniques., Science, general., |
Online Access: | http://dx.doi.org/10.1007/3-540-09981-6 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|