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: | Robinet, Bernard. editor., SpringerLink (Online service) |
---|---|
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!
|
Similar Items
-
International Symposium on Programming [electronic resource] : Proceedings of the Fourth ‘Colloque International sur la Programmation’ Paris, 22–24 April 1980 /
by: Robinet, Bernard. editor., et al.
Published: (1980) -
Formalization of Programming Concepts [electronic resource] : International Colloquium Peniscola, Spain, April 19–25, 1981 Proceedings /
by: Díaz, J. editor., et al.
Published: (1981) -
Formalization of Programming Concepts [electronic resource] : International Colloquium Peniscola, Spain, April 19–25, 1981 Proceedings /
by: Díaz, J. editor., et al.
Published: (1981) -
Object Technologies for Advanced Software [electronic resource] : First JSSST International Symposium Kanazawa, Japan, November 4–6, 1993 Proceedings /
by: Nishio, Shojiro. editor., et al.
Published: (1993) -
Object Technologies for Advanced Software [electronic resource] : First JSSST International Symposium Kanazawa, Japan, November 4–6, 1993 Proceedings /
by: Nishio, Shojiro. editor., et al.
Published: (1993)