Realizing an equational specification

  • A. Pnueli
  • R. Zarhi
Session 14: C. P. Schnorr, Chairman
Part of the Lecture Notes in Computer Science book series (LNCS, volume 115)


  1. [AG]
    Arvind, Gostelow, "Dataflow computer Architecture: Research and Goals", Technical Report No. 113, Department of CIS, University of California, Irvine.Google Scholar
  2. [AW]
    Ashcroft, E.A. and Wadge, W., "LUCID, A nonprocedural Language with Iterations", CACM 20, No. 7, pp. 519,526.Google Scholar
  3. [EF]
    Ford, I.R. and Fulkeson, D.R., Flows in Networks, Princeton University Press, 1962.Google Scholar
  4. [HOF]
    Hoffman, C.M., "Design and Correctness of a Compiler for a Nonprocedural Language", Acta Informatica 9, pp. 217–241, 1978.Google Scholar
  5. [KMW]
    Karp, M.R., Miller, E.R., Winograd, S., "The Organization of Computations for Uniform Recurrence Equations", ACM Journal, Vol, 14, No. 3, 1967, pp. 563–590.Google Scholar
  6. [M]
    Minsky, M.L., "Computation Finite and Infinite Machines", Prentice-Hall, 1967.Google Scholar
  7. [PMM]
    Prywes, N.S., "Model II — Automatic Program Generator, User Manual", Office of Planning and Research, Internal Revenue Service, TIR-77-41, July 1978., Available from CIS Department, University of Pennsylvania.Google Scholar
  8. [PPS]
    Prywes, N.S., Pnueli, A. and Shastry, S., "Use of a Nonprocedural Specification Language and Associated Program Generator in Software Development", to appear in ACM TOPLAS.Google Scholar
  9. [PPZ]
    Pnueli, A., Prywes, N. and Zarhi, R., "Scheduling an Equational Specification", International Workshop on Program Construction, Chateau de Bonas, France, September 1980; (ed. Inria).Google Scholar
  10. [SHA]
    Shastry, S., Pnueli, A. and Prywes, N.S., "Basic Algorithms Used in the MODEL System for Design of Programs", Moore School Report, CIS Department, University of Pennsylvania.Google Scholar
  11. [T]
    Tucker, A.W., "Dual Systems of Homogeneous Linear Relations", Linear Inequalities and Related Systems, H.W. Kuhn and A.W. Tucker, Princeton University Press, 1956, pp. 3–18.Google Scholar
  12. [WAD]
    Wadge, W., "An Extentional Treatment of Dataflow Deadlocks", Proceedings: Semantics of Concurrent Computation, Eviand, France, 1979, Springer-Verlag.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • A. Pnueli
    • 1
  • R. Zarhi
    • 1
  1. 1.Department of Applied MathematicsThe Weizmann Institute of ScienceRehovotIsrael

Personalised recommendations