Search Results - "set theoretically oriented programming language"

Experience with the SETL Optimizer: Experience with the SETL optimizer

Authors: Micha Sharir Jacob T. Schwartz Stefan M. Freudenberger

Source: ACM Transactions on Programming Languages and Systems. 5:26-45

Subject Terms: data- structure, program transformation, Specification and verification (program logics, model checking, etc.), automatic analysis of algorithms, copy optimization, 0202 electrical engineering, electronic engineering, information engineering, General topics in the theory of software, set theoretically oriented programming language, 02 engineering and technology, automatic selection of data representations, program modification, interprocedural program analysis methods

File Description: application/xml

Access URL: https://zbmath.org/3786110
https://doi.org/10.1145/357195.357197
https://www.cs.tufts.edu/comp/150CMP/papers/freudenberger83setl.pdf
https://dblp.uni-trier.de/db/journals/toplas/toplas5.html#FreudenbergerSS83
https://core.ac.uk/display/24462019
https://dl.acm.org/doi/10.1145/357195.357197

Experience with the SETL optimizer

Authors: Stefan M. Freudenberger Jacob T. Schwartz The Pennsylvania State University CiteSeerX Archives

Contributors: Stefan M. Freudenberger Jacob T. Schwartz The Pennsylvania State University CiteSeerX Archives

Source: http://pag.lcs.mit.edu/reading-group/freudenberger83setl.pdf.

Subject Terms: General Terms, Languages Additional Key Words and Phrases, Automatic data-structure selection, copy optimization

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.66.1928

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.66.1928
http://pag.lcs.mit.edu/reading-group/freudenberger83setl.pdf