Daniel S. Wilkerson and Simon F. Goldsmith for discussions in 2005 on Wilkerson’s language proposal Orth, which includes relational specifications of data structures, the generation of functions for querying and maintaining them, and was further envisioned by Goldsmith to perform automatic data structure selection via profiling.

References

1. Ahmed, N., mateev, N., Pingali, K., Stodghill, P. A framework for sparse matrix code synthesis from high-level specifications. In Supercomputing (Nov. 2000), IEEE Computer Society, 58.

2. Batory, d., Chen, g., Robertson, E., Wang, T. design wizards and visual programming environments for genVoca generators. IEEE Trans. Softw. Eng. 26, 5 (2000), 441–452.

3. Batory, d., Thomas, J. P2: A lightweight dBmS generator. J. Intell. Inform. Syst. 9 (1997), 107–123.

4. Berdine, J., Calgano, C., Cook, B., distefano, d., O’Hearn, P. W., Wies, T., Yang, H. Shape analysis for composite data structures. In CAV (2007), volume 4590 of LNCS. Springer, Berlin/Heidelberg, 178–192.

5. Bierman, g., Wren, A. First-class relationships in an object-oriented language. In ECOOP (2005), volume 3586 of LNCS. Springer, Berlin/ Heidelberg, 262–286.

6. Chaudhuri, S., Narasayya, V.R. An efficient cost-driven index selection tool for microsoft SqL Server. In VLDB (1997), morgan Kaufmann Publishers, San Francisco, CA, 146–155.

7. Cohen, d., Campbell, N. Automating relational operations on data structures. IEEE Softw. 10, 3 (may 1993), 53–60.

8. dewar, R.B.K., grand, A., Liu, S. C., Schwartz, J. T., Schonberg, E. Programming by refinement, as exemplified by the SETL representation sublanguage. ACM Trans. Program. Lang. Syst. 1, 1 (Jan. 1979), 27–49.

9. distefano, d., Parkinson, m. J. jStar: towards practical verification for Java. In OOPSLA (2008), ACm, New York, NY, 213–226.

10. Fähndrich, m., Leino, K.R.m. Heap monotonic typestates. In International Workshop on Alias Confinement and Ownership (Jul. 2003).

11. Hawkins, P., Aiken, A., Fisher, K., Rinard,
m., Sagiv, m. data representation
synthesis. In PLDI (2011), 38–49.

12. Kreiker, J., Seidl, H., Vojdani, V. Shape analysis of low-level C with overlapping structures. In VMCAI (2010), volume 5044 of LNCS. Springer, Berlin/Heidelberg, 214–230.

13. Kuncak, V., Lam, P., Rinard, m. Role analysis. In POPL (2002), ACm, New York, NY, 17–32.

14. Lam, P., Kuncak, V., Rinard, m. generalized typestate checking for data structure consistency. In VMCAI (2005), volume 3385 of LNCS.

Springer, Berlin/Heidelberg, 430–447.

15. Lee, O., Yang, H., Petersen, R. Program analysis for overlaid data structures. In CAV (2011), volume 6806 of LNCS. Springer, Berlin/ Heidelberg. 592–608.

16. mcCloskey, B., Reps, T., Sagiv, m. Statically inferring complex heap, array, and numeric invariants. In Static Analysis (2011), volume 6337 of LNCS. Springer, Berlin/Heidelberg, 71–99.

17. meijer, E., Beckman, B., Bierman, g. LINq: Reconciling objects, relations and XmL in the . NE T framework. In SIGMOD (2006), ACm, New York, N Y, 706–706.

18. Reynolds, J.C. Separation logic: A logic for shared mutable data structures. In LICS (2002), 55–74, invited paper.

19. Rothamel, T., Liu, Y.A. Efficient
implementation of tuple pattern
based retrieval. In PEPM (2007),
ACm, New York, N Y, 81–90.

 

The views expressed are those of the authors and do not reflect the official policy or position of the department of defense or U.S. government. Contact Author: Peter Hawkins ( [e-mail])

Peter hawkins ( [e-mail]. edu), Stanford University.

Martin Rinard ( [e-mail]), mI T.

Alex Aiken ( [e-mail]), Stanford University.

Mooly Sagiv ( [e-mail]), Tel-Aviv University.

Kathleen Fisher ( [e-mail]), Tufts University.

© 2012 ACm 0001-0782/12/12

World-Renowned Journals from ACM

ACM publishes over 50 magazines and journals that cover an array of established as well as emerging areas of the computing field.
IT professionals worldwide depend on ACM's publications to keep them abreast of the latest technological developments and industry
news in a timely, comprehensive manner of the highest quality and integrity. For a complete listing of ACM's leading magazines & journals,
including our renowned Transaction Series, please visit the ACM publications homepage: www.acm.org/pubs.

ACM Transactions
on Interactive
Intelligent Systems

ACM Transactions on Interactive Intelligent Systems (TIIS). This quarterly journal publishes papers on research encompassing the design, realization, or evaluation of interactive systems incorporating some form of machine intelligence.

ACM Transactions
on Computation
Theory

ACM Transactions on Computation Theory (ToCT). This quarterly peer-reviewed journal has an emphasis on computational complexity, foundations of cryptography and other computation-based topics in theoretical computer science.

PLEASE CONTACT ACM MEMBER SERVICES TO PLACE AN ORDER Phone: [phone] (U.S. and Canada)

+ 1.212.626.0500 (Global)

Fax: + 1.212.944.1318

(Hours: 8:30am–4:30pm, Eastern Time) [e-mail] ACM Member Services General Post Office PO Box 30777

New York, N Y 10087-0777 USA Email: Mail:

www.acm.org/pubs