Synthesizing abstract data type specifications

  title={Synthesizing abstract data type specifications},
  author={Boumediene Belkhouche and Joseph E. Urban and Gregory A. Riccardi},
  booktitle={ACM Southeast Regional Conference},
Several alternatives for implementing abstract data types exist. One approach is the definition and implementation of a new language which directly supports abstract data type constructs. Another approach is to incorporate abstract data type constructs in an existing programming language. This paper describes recent and current research in the incorporation of a specification language for abstract data types within an operational compilable programming language. The synthesis of implementations… CONTINUE READING

Topics from this paper.


Publications citing this paper.