Conference proceedings
© 1980

International Symposium on Programming

Proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980

Editors:

Bernard Robinet

Bernard Robinet

View editor publications

You can also search for this editor in PubMed Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 83)

7525 Accesses
108 Citations
3 Altmetric

Sections

Table of contents
Keywords
Bibliographic Information
Publish with us

Buy it now

Softcover Book USD 54.99

Price excludes VAT (USA)

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Learn about institutional subscriptions

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (23 papers)

Front Matter

PDF
Static type checking for languages with parametric types and polymorphic procedures
- R. Barbuti, A. Martelli
Pages 1-16
Concrete control phases in languages for programming complex systems
- J. A. Barnden
Pages 17-29
Types algebriques et semantique des langages de programmation
- D. Bert
Pages 30-43
Towards a theory of abstract data types: A discussion on problems and tools
- A. Bertoni, G. Mauri, P. Miglioli
Pages 44-58
On relations between programs
- M. Broy, P. Pepper, M. Wirsing
Pages 59-78
A communication data type for message oriented programming
- P. R. F. Cunha, T. S. E. Maibaum
Pages 79-91
Processus non-sequentiels et leurs observations en univers non-centralise
- Ph. Darondeau
Pages 92-107
A case study of abstract implementations and their correctness
- H. Ehrig, H. -J. Kreowski, P. Padawitz
Pages 108-122
About program termination and simplification
- F. Ermine, I. Guessarian
Pages 123-135
A relational model for non-deterministic programs and predicate transformers
- Pedro Guerreiro
Pages 136-146
Structures de controle et puissances d'expression
- C. Henry
Pages 147-161
Conception et optimisation des descentes recursives
- Hua-Thanh-Huy
Pages 162-176
An algebraic structure of petri nets
- Ryszard Janicki
Pages 177-192
An algorithm for translating LISP programs into reduction language programs
- Alexis Koster
Pages 193-206
Concurrent operations in large ordered indexes
- Y. S. Kwong, D. Wood
Pages 207-222
Specification of highly parallel and distributed resource management
- P. E. Lauer, P. R. Torrigiani, R. Devillers
Pages 223-239
Semantics for lisp without reference to an interpreter
- W. M. Lippe, F. Simon
Pages 240-255
Parallelism in ADA: Program design and meaning
- Brian H. Mayoh
Pages 256-268
The theory and practice of transforming call-by-need into call-by-value
- Alan Mycroft
Pages 269-281

Keywords

Bibliographic Information

Book Title: International Symposium on Programming
Book Subtitle: Proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980
Editors: Bernard Robinet
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-09981-6
Publisher: Springer Berlin, Heidelberg
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1980
Softcover ISBN: 978-3-540-09981-9Published: 01 April 1980
eBook ISBN: 978-3-540-39233-0Published: 29 June 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 350
Topics: Software Engineering/Programming and Operating Systems, Programming Techniques, Science, Humanities and Social Sciences, multidisciplinary

Publish with us

Policies and ethics

Access via your institution

Buy it now

Softcover Book USD 54.99

Price excludes VAT (USA)

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Learn about institutional subscriptions