Výsledky vyhľadávania - "set theoretically oriented programming language"

Experience with the SETL Optimizer: Experience with the SETL optimizer

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

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

Predmety: 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

Popis súboru: application/xml

Prístupová URL adresa: 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