Initially present only in functional languages such as OCaml and Haskell, Algebraic Data Types (ADTs) have now become pervasive mainstream languages, providing nice data abstractions an elegant way to express functions through pattern matching. Unfortunately, ADTs remain seldom used low-level programming. One reason is that their increased convenience comes at the cost of abstracting away exact...

Modern optimizing compilers use many heuristic solutions that must be tuned empirically. This tuning is usually done "at the factory" using standard benchmarks. However, applications that are not in the benchmark suite will not achieve the best possible performance, because they are not considered when tuning the compiler. Collaborative compilation alleviates this problem by using local profili...

In this note we analyze the possibility of reducing the complexity of entailment in A by a compilation of the domain description Since a single domain description D must in general be queried many times with respect to many di erent queries V it makes sense to reduce it in a form that allows the solving problem of entailment in polynomial time Using results from the eld of language compilation ...

weakness of research & development strategy for technology transfer management in product design activities is one of the most difficulties for local companies in iran. therefore, this paper trying to present a method to indicting research & development strategy for identifying fit technology with requirements of customer and provide a solution for acquisition of needs technologies of companies...

Shells, as command interpreters, are the classical way for humans to interact with computing systems, and modern shell features have extended this basic functionality with higher-level programming language constructs. Although implementing compilation in these shell languages is generally unprofitable and intractable, many advantages, such as isolation, filesystem abstraction, security, portabi...

We present a dataow extension of OpenMP to express highly dynamic control and data ow over nested, dependent tasks. The language supports dynamic creation, modular composition, variable and unbounded sets of producers/consumers, separate compilation, and rstclass streams. These features, enabled by our original compilation ow, allow translating high-level parallel programming patterns, like dep...