122
Voted
POPL
10 years 27 days ago
2015 ACM 
Interprocedural analysis is at the heart of numerous applications in programming languages, such as alias analysis, constant propagation, etc. Recursive state machines (RSMs) are ...
116
Voted
POPL
10 years 27 days ago
2015 ACM 
The past decades have witnessed an extensive study of structured recursion schemes. A general scheme is the hylomorphism, which captures the essence of divide-and-conquer: a probl...
116
Voted
POPL
10 years 27 days ago
2015 ACM 
We consider the quantitative analysis problem for interprocedural control-flow graphs (ICFGs). The input consists of an ICFG, a positive weight function that assigns every transi...
115
click to vote
POPL
10 years 27 days ago
2015 ACM 
This paper presents the design of ZOMBIE, a dependently-typed programming language that uses an adaptation of a congruence closure algorithm for proof and type inference. This alg...
113
Voted
POPL
10 years 27 days ago
2015 ACM 
This paper presents K-Java, a complete executable formal seman
|
Programming Languages