International Symposium on Programming: Proceedings of the Fourth Colloque International sur la Programmation Paris, 22-24 April 1980 by B. RobinetInternational Symposium on Programming: Proceedings of the Fourth Colloque International sur la Programmation Paris, 22-24 April 1980 by B. Robinet

International Symposium on Programming: Proceedings of the Fourth Colloque International sur la…

EditorB. Robinet

Paperback | April 1, 1980

Pricing and Purchase Info

$119.70 online 
$128.95 list price save 7%
Earn 599 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

Title:International Symposium on Programming: Proceedings of the Fourth Colloque International sur la…Format:PaperbackDimensions:350 pagesPublished:April 1, 1980Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540099816

ISBN - 13:9783540099819

Look for similar items by category:

Reviews

Table of 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.