Skip to main content
SpringerLink
Log in

International Symposium on Programming

6th Colloquium, Toulouse, April 17-19, 1984. Proceedings

  • Conference proceedings
  • © 1984

Overview

Editors:
  1. M. Paul
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. B. 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 167)

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

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (22 papers)

  1. Front Matter

    Download chapter PDF

  2. Un modele de description de protocoles : Les reseaux fermes d'automates triphases

    • André Arnold, Pascal Guitton
    Pages 1-12

  3. Une expression de la synchronisation et de l'Ordonnancement des processus concurrents par variables partagees

    • H. Bahsoun, C. Bétourné, L. Féraud
    Pages 13-22

  4. Semantiques comparees des systemes de programmation fonctionnelle FP et FFP de J.W. Backus

    • Patrick Bellot
    Pages 23-34

  5. Le type abstrait "vecteur" et les methodes de programmation des ordinateurs vectoriels

    • A. Bossavit
    Pages 35-46

  6. Some topics in the design of the specification language lotos

    • V. Carchiolo, A. Faro, F. Minissale, G. Scollo
    Pages 47-58

  7. Specification and verification of networks protocols using temporal logic

    • Ana R. Cavalli, Luis Fariñas Del Cerro
    Pages 59-73

  8. Une implémentation des coroutines en Lisp, application à Smalltalk

    • Pierre Cointe
    Pages 74-88

  9. Vesta Vectorisation automatique et parametree de programmes

    • JC. Cottet, C. Renvoise, D. Sciamma
    Pages 89-100

  10. L'Inclusion de filtres : Une approche de la creation d'environnements symboliques en Plasma

    • J. Finet, P. Salle
    Pages 101-112

  11. Projet Vesta

    • P. Feautrier
    Pages 113-124

  12. The program dependence graph and its use in optimization

    • Jeanne Ferrante, Karl J. Ottenstein, Joe D. Warren
    Pages 125-132

  13. Implementations of nondeterministic programs

    • Pedro Guerreiro
    Pages 133-144

  14. For statements with restricted enumerations

    • S. Heilbrunner, L. Schmitz
    Pages 145-154

  15. A method for developing concurrent systems

    • Ryszard Janicki
    Pages 155-166

  16. An optimal-time recursive evaluator for attribute grammars

    • Martin Jourdan
    Pages 167-178

  17. On the Merlin-Randell problem of train journeys

    • Maciej Koutny
    Pages 179-190

  18. Un systeme d'aide a la preuve de compilateurs

    • E. Madelaine
    Pages 191-205

  19. Optimized combinatoric code for applicative language implementation

    • Silvio Lemos Meira
    Pages 206-216

  20. Polymorphic type schemes and recursive definitions

    • Alan Mycroft
    Pages 217-228
Back to top

Keywords

Bibliographic Information

  • Book Title: International Symposium on Programming

  • Book Subtitle: 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings

  • Editors: M. Paul, B. Robinet

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-12925-1

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1984

  • Softcover ISBN: 978-3-540-12925-7Published: 01 April 1984

  • eBook ISBN: 978-3-540-38809-8Published: 30 June 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VI, 263

  • Topics: Programming Languages, Compilers, Interpreters, Software Engineering

Publish with us

Policies and ethics

Back to top

Search

Navigation