130
click to vote
POPL
10 years 1 months 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 ...
129
click to vote
POPL
10 years 1 months 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...
123
click to vote
POPL
10 years 1 months 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...
123
click to vote
POPL
10 years 1 months 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...
122
click to vote
POPL
10 years 1 months ago
2015 ACM 
This paper presents K-Java, a complete executable formal seman
|
Programming Languages