Component Technology for Pointers: Why and How

  title={Component Technology for Pointers: Why and How},
  author={Greg Kulczycki and Murali Sitaraman and William F. Ogden and Joseph E. Hollingsworth and Gregory Kulczycki},
Key software engineering questions concerning ease of understanding, reasoning, and efficient and predictable performance can be traced to the use of pointers in imperative programming languages. In this paper we apply modern component technology to pointers and, as a result, take an important step towards addressing these questions at a foundational level. We present a formal specification for a component that captures the complex behavior of pointers. The specification provides programmers… CONTINUE READING

Similar Papers

Loading similar papers…