Automating relational operations on data structures

  title={Automating relational operations on data structures},
  author={Donald Cohen and Neil Campbell},
  journal={IEEE Software},
An approach to having compilers do most of the implementation detail work in programming that divides a program into two parts is described. The specification part describes what the program should do, but in a way that avoids commitment to implementation details. The annotation part provides implementation instructions that the compiler will carry out. Annotations affect execution efficiency, but not functional behavior. They are very high level and usually very short and hence encourage… CONTINUE READING
Highly Cited
This paper has 139 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 17 extracted citations

140 Citations

Citations per Year
Semantic Scholar estimates that this publication has 140 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…