Skip to main content
OverflowAI is here! AI power for your Stack Overflow for Teams knowledge community. Learn more
zpavlinovic's user avatar
zpavlinovic's user avatar
zpavlinovic's user avatar
zpavlinovic
  • Member for 10 years, 11 months
  • Last seen more than a month ago
15 votes
Accepted

Do we create a programming language by writing a compiler?

9 votes
Accepted

Type inference + overloading

7 votes
Accepted

Equivalence of data-flow analysis, abstract interpretation and type inference?

6 votes
Accepted

Understanding Big O

6 votes

How does the kleene star and union work in a context free grammar?

4 votes
Accepted

Does a language stay regular if you re-encode the input?

4 votes
Accepted

Unification --- most specific unifier

3 votes
Accepted

Maximum number of states in minimized DFA from NFA with $n$ states

3 votes

Does there exist a type system for a non-let-polymorphic lambda calculus?

2 votes

Logic applications and security protocols references request

1 vote

Implementability of a (abstract) data structure/type?

1 vote

Why comparison is dominant time consumption for comparison-based sorting algorithms?

1 vote
Accepted

How do you obtain transition relation of a PDA?

0 votes

Is $L_p$ decidable when p is a trivial property?