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