Skip to main content
  • Conference proceedings
  • © 1984

International Symposium on Programming

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

Editors:

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

Buy it now

Buying options

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

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

Table of contents (22 papers)

  1. Front Matter

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

    • V. Carchiolo, A. Faro, F. Minissale, G. Scollo
    Pages 47-58
  3. Specification and verification of networks protocols using temporal logic

    • Ana R. Cavalli, Luis Fariñas Del Cerro
    Pages 59-73
  4. Vesta Vectorisation automatique et parametree de programmes

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

    • P. Feautrier
    Pages 113-124
  6. The program dependence graph and its use in optimization

    • Jeanne Ferrante, Karl J. Ottenstein, Joe D. Warren
    Pages 125-132
  7. Implementations of nondeterministic programs

    • Pedro Guerreiro
    Pages 133-144
  8. For statements with restricted enumerations

    • S. Heilbrunner, L. Schmitz
    Pages 145-154
  9. A method for developing concurrent systems

    • Ryszard Janicki
    Pages 155-166

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

Buy it now

Buying options

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