An Introduction to COLD-K

@inproceedings{Jonkers1987AnIT,
  title={An Introduction to COLD-K},
  author={H. B. M. Jonkers},
  booktitle={Algebraic Methods},
  year={1987}
}
  • H. B. M. Jonkers
  • Published in Algebraic Methods 1987
  • Computer Science, Mathematics
  • An introduction to the formal design kernel language COLD-K is given. After discussing the notion of class underlying the language, various styles of describing classes are presented ranging from algebraic to state-based techniques on the one hand, and axiomatic to algorithmic techniques on the other hand. The last part of the paper is devoted to the structuring mechanisms provided by the language, which include high level modularisation and parameterisation techniques as well as mechanisms to… CONTINUE READING

    Topics from this paper.

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 20 CITATIONS