Five paradigm shifts in programming language design and their realization in Viron, a dataflow programming environment

@inproceedings{Pratt1983FivePS,
  title={Five paradigm shifts in programming language design and their realization in Viron, a dataflow programming environment},
  author={Vaughan R. Pratt},
  booktitle={POPL '83},
  year={1983}
}
  • Vaughan R. Pratt
  • Published in POPL '83 1983
  • Computer Science
  • We describe five paradigm shifts in programming language design, some old and some relatively new, namely Effect to Entity, Serial to Parallel, Partition Types to Predicate Types, Computable to Definable, and Syntactic Consistency to Semantic Consistency. We argue for the adoption of each. We exhibit a programming language, Viron, that capitalizes on these shifts. 

    Citations

    Publications citing this paper.
    SHOWING 1-5 OF 5 CITATIONS

    References

    Publications referenced by this paper.
    SHOWING 1-3 OF 3 REFERENCES

    IFIP 77

    • C. Hewitt, H. G. Baker, Laws for Communicating Parallel Processes
    • 987-992, North-llolland, Amsterdam,
    • 1977
    VIEW 6 EXCERPTS
    HIGHLY INFLUENTIAL

    IFIP 77

    • C. Hewitt, H. G. Baker, Laws for Communicating Parallel Processes
    • 987-992, North-llolland, Amsterdam,
    • 1977
    VIEW 6 EXCERPTS
    HIGHLY INFLUENTIAL

    The Calculi of Lamb&-conversion

    • A. Church
    • Princeton University Press,
    • 1941
    VIEW 7 EXCERPTS
    HIGHLY INFLUENTIAL