Back to Results
First PageMeta Content
Data types / Compiler optimizations / Compiler construction / Type theory / Programming language implementation / SETL / Static single assignment form / Mathematical optimization / Common subexpression elimination / Software engineering / Computing / Programming language theory


Experience with the SETL Optimizer STEFAN M. FREUDENBERGER, JACOB T. SCHWARTZ, and MICHA SHARIR New York University The structure of an existing optimizer for the very high-level, set theoretically oriented programming
Add to Reading List

Document Date: 2014-03-05 10:31:06


Open Document

File Size: 1,36 MB

Share Result on Facebook

Country

Israel / /

Currency

USD / /

Facility

Courant Institute of Mathematical Sciences / Tel-Aviv University / New York University / /

IndustryTerm

selection algorithm / graph-irreducibility testing algorithm / software development / /

Organization

Tel-Aviv University / Department of Mathematics / New York University / U. S. Department of Energy office of Energy Research / National Science Foundation / Department of Computer Science / Courant Institute of Mathematical Sciences / Association for Computing Machinery / /

Person

JACOB T. SCHWARTZ / /

/

Position

Major / General / SETL compiler/interpreter / interpreter / /

ProgrammingLanguage

SETL / /

Technology

Data Representation The algorithms / selection algorithm / main algorithms / graph-irreducibility testing algorithm / artificial intelligence / /

SocialTag