112
click to vote
POPL
10 years 6 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 ...
110
click to vote
POPL
10 years 6 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...
109
click to vote
POPL
10 years 6 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...
107
click to vote
POPL
10 years 6 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...
106
click to vote
POPL
10 years 6 days ago
2015 ACM 
This paper presents K-Java, a complete executable formal seman
|
Programming Languages