96
Voted
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 ...
94
Voted
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...
93
Voted
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...
92
Voted
POPL
9 years 10 months ago
2015 ACM 
This paper presents K-Java, a complete executable formal seman
89
Voted
POPL
9 years 10 months ago
2015 ACM
Hygiene is an essential aspect of Scheme’s macro system that prevents unintended variable capture. However, previous work on hygiene has focused on algorithmic implementation ra...
|
Programming Languages