Tag program-optimization - This is page 3 - GeneraCodice

What property of cons allows elimination of tail recursion modulo cons?

https://www.generacodice.com/en/articolo/1590856/what-property-of-cons-allows-elimination-of-tail-recursion-modulo-cons
  recursion  -  tail-recursion  -  compilers  -  program-optimization
cs.stackexchange cs.stackexchange

Can loops like this one be algorithmically transformed into multiplication

https://www.generacodice.com/en/articolo/1588989/can-loops-like-this-one-be-algorithmically-transformed-into-multiplication
  optimization  -  programming-languages  -  formal-languages  -  program-optimization
cs.stackexchange cs.stackexchange

How do I calculate the speedup properly?

https://www.generacodice.com/en/articolo/1587794/how-do-i-calculate-the-speedup-properly
  performance  -  parallel-computing  -  program-optimization
cs.stackexchange cs.stackexchange

Constant folding vs. Constant propogation

https://www.generacodice.com/en/articolo/1587422/constant-folding-vs-constant-propogation
  compilers  -  program-optimization
cs.stackexchange cs.stackexchange

Is writing a compiler for a compact language easier?

https://www.generacodice.com/en/articolo/1587020/is-writing-a-compiler-for-a-compact-language-easier
  programming-languages  -  compilers  -  program-optimization
cs.stackexchange cs.stackexchange

What formal representation is commonly used to describe compiler optimizations?

https://www.generacodice.com/en/articolo/1584486/what-formal-representation-is-commonly-used-to-describe-compiler-optimizations
  semantics  -  formal-languages  -  compilers  -  operational-semantics  -  program-optimization
cs.stackexchange cs.stackexchange

Why is static-single assignment preferred over continuation passing style in many industry-used compilers?

https://www.generacodice.com/en/articolo/1582471/why-is-static-single-assignment-preferred-over-continuation-passing-style-in-many-industry-used-compilers
  continuations  -  compilers  -  program-optimization
cs.stackexchange cs.stackexchange

Reference request: optimizing procedures on lists in dynamic languages by performing safety checks in advance

https://www.generacodice.com/en/articolo/1576808/reference-request-optimizing-procedures-on-lists-in-dynamic-languages-by-performing-safety-checks-in-advance
  reference-request  -  type-checking  -  program-optimization  -  interpreters
cs.stackexchange cs.stackexchange

Understanding Amdahl's Law calculation

https://www.generacodice.com/en/articolo/1576563/understanding-amdahl-s-law-calculation
  performance  -  program-optimization
cs.stackexchange cs.stackexchange

Best improvements to do to the DPLL SAT algorithm

https://www.generacodice.com/en/articolo/1573722/best-improvements-to-do-to-the-dpll-sat-algorithm
  satisfiability  -  sat-solvers  -  algorithms  -  program-optimization
cs.stackexchange cs.stackexchange
Results found: 71
scroll top