105
click to vote
POPL
9 years 11 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...
104
click to vote
POPL
9 years 11 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 ...
102
click to vote
POPL
9 years 11 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...
101
click to vote
POPL
9 years 11 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...
100
click to vote
POPL
9 years 11 months ago
2015 ACM 
This paper presents K-Java, a complete executable formal seman
|
Programming Languages