Skip to main content
SpringerLink
Log in

Embedding declarative subprograms into imperative constructs

  • Conference paper
  • First Online:
Progamming Language Implementation and Logic Programming (PLILP 1993)

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

  • 121 Accesses

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

Access this chapter

Log in via an institution

Institutional subscriptions

References

  1. P. Caspi, N. Halbwachs, D. Pilaud, and J. Plaice. LUSTRE, a declarative language for programming synchronous systems. In 14th Symposium on Principles of Programming Languages, January 1987.

    Google Scholar 

  2. J.C. Fernandez. Aldébaran, un système de vérification par réduction de processus communicants. Thesis, Université Joseph Fourier, Grenoble, may 1988.

    Google Scholar 

  3. G. Gherardi. Sahara: un environnement de mise au point graphique pour les programmes Esterel. Thesis, University of Nice, France, December 1992.

    Google Scholar 

  4. N. Halbwachs, F. Lagnier, and C. Ratel. Programming and verifying critical systems by means of the synchronous data-flow programming language LUSTRE. IEEE Transactions on Software Ingeneering, Special Issue on the Specification and Analysis of Real-Time Systems, September 1992.

    Google Scholar 

  5. F. Maraninchi. Operational and compositional semantics of synchronous automaton compositions. In CONCUR, LNCS 630, Springer Verlag, august 1992.

    Google Scholar 

  6. X. Nicollin, J. Sifakis, and S. Yovine. Compiling real-time specifications into timed automata. IEEE Transactions on Software Engineering, special issue on Specification and Analysis of Real-Time Systems, 1992.

    Google Scholar 

  7. V. Roy. Autograph. Un outil de visualisation pour les calculs de processus. Thesis, University of Nice, France, 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. VERIMAG, B.P. 53X, 38041, Grenoble Cedex, France

    M. Jourdan, F. Lagnier, F. Maraninchi & P. Raymond

Authors
  1. M. Jourdan
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. F. Lagnier
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. F. Maraninchi
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. P. Raymond
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Maurice Bruynooghe Jaan Penjam

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jourdan, M., Lagnier, F., Maraninchi, F., Raymond, P. (1993). Embedding declarative subprograms into imperative constructs. In: Bruynooghe, M., Penjam, J. (eds) Progamming Language Implementation and Logic Programming. PLILP 1993. Lecture Notes in Computer Science, vol 714. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57186-8_96

Download citation

  • DOI: https://doi.org/10.1007/3-540-57186-8_96

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57186-5

  • Online ISBN: 978-3-540-47945-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation