Programming Language Design and Implementation Stack Exchange is a question and answer site for designers and implementers of computer programming languages. It only takes a minute to sign up.

Sign up to join this community
Anybody can ask a question
Anybody can answer
The best answers are voted up and rise to the top

Explore our questions

0 votes
1 answer
98 views

How to minimize total size of static data?

2 votes
1 answer
158 views

How to assign unique names to variables within a function?

5 votes
1 answer
185 views

Optimization algorithm using conditional invariants

0 votes
0 answers
188 views

Pros and cons of treating endless loops as "anything can happen" UB, versus allowing limited reordering

4 votes
0 answers
120 views

Determining the most optimized date type for the platform with type inference

10 votes
1 answer
432 views

Towards a better default listlike datastructure for functional languages

6 votes
2 answers
184 views

How to ensure coherent choices of representatives in an e-graph?

8 votes
1 answer
529 views

What are the tradeoffs between using sea of nodes, CFG of basic blocks, and egraphs for compiler optimizations?

13 votes
7 answers
716 views

How can a programming language support vectorization portably?

4 votes
1 answer
217 views

Can analysis of periodic loop behaviour be generalised to unstructured control flow?

34 votes
6 answers
4k views

How to ensure that an optimising compiler will terminate?

4 votes
2 answers
236 views

Why would external iteration require lots of code inlining relative to internal iteration?

6 votes
2 answers
658 views

Empirically, what are the implementation-complexity and performance implications of "unboxed" primitives?

23 votes
4 answers
3k views

Pros and cons of "anything-can-happen" UB versus allowing particular deviations from sequential program execution

Browse more Questions