Corpus ID: 5383114

Prosper: a Language for Speciication by Prototyping to Appear in Computer Languages

@inproceedings{Leszczy1989ProsperAL,
  title={Prosper: a Language for Speciication by Prototyping to Appear in Computer Languages},
  author={Jacek Leszczy and James M. Bieman},
  year={1989}
}
  • Jacek Leszczy, James M. Bieman
  • Published 1989
  • The PROSPER functional speci cation language supports a \speci cation by prototyping" paradigm and relies on a unique and powerful type speci cation facility. Executable polymorphic speci cations can be built from a small set of primitives. Types and functions are treated as values and can be the arguments and results of functions. Flexible parameterized type expressions are used to specify polymorphic functions and abstract data types. Abstract model speci cations can be de ned so that the… CONTINUE READING

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 36 REFERENCES

    Functional programs as executable specifications

    VIEW 5 EXCERPTS
    HIGHLY INFLUENTIAL

    Salient features of an executable specification language and its environment

    VIEW 4 EXCERPTS
    HIGHLY INFLUENTIAL

    A Kernel Language for Abstract Data Types and Modules

    VIEW 4 EXCERPTS
    HIGHLY INFLUENTIAL

    Edinburgh LCF

    VIEW 4 EXCERPTS
    HIGHLY INFLUENTIAL

    A Standard Representation of Imperative

    VIEW 2 EXCERPTS

    The essence of ML

    VIEW 1 EXCERPT

    Treating types as values

    • J. Leszczy lowski
    • Technical Report, Institute of Computer Science, Polish Academy of Science, Warsaw,
    • 1988
    VIEW 1 EXCERPT