An Automatic Technique for Selection of Data Representations in SETL Programs

EDMOND SCHONBERG, JACOB T. SCHWARTZ and MICHA SHARIR,     New York University

Publisher Summary

This chapter highlights an automatic technique for selection of data representations in SETL programs. SETL is a very-high-level programming language supporting set-theoretic syntax and semantics. It allows algorithms to be programmed rapidly and succinctly without requiring data-structure declarations to be supplied. The chapter describes a new technique for automatic selection of appropriate data representations during compile time for programs with omitted declarations. It also presents an efficient data representation selection algorithm, whose complexity is ...

Get Readings in Artificial Intelligence and Software Engineering now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.