International Symposium on Programming

Inhaltsverzeichnis

• 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.