User loginNavigation |
A Java-like formalism for control flow analysis.I'm looking into defining a flow-sensitive effects system for Java (to check things like the definite assignment of local variables). Does anybody know of a good existing Java-like formalism I could use? I don't think Featherweight Java is appropriate here because it mostly ignores Java's control-flow mechanisms. Much of what's interesting about a flow-sensitive effects system has to do with loops, conditionals, exceptions. On the other hand, I care less about things like classes and inheritance. Maybe the simply typed lambda calculus (plus some Java-like exception mechanism) would work better? By Kannan Goundan at 2008-09-17 21:48 | LtU Forum | previous forum topic | next forum topic | other blogs | 4328 reads
|
Browse archives
Active forum topics |
Recent comments
37 weeks 3 days ago
37 weeks 4 days ago
37 weeks 4 days ago
1 year 7 weeks ago
1 year 11 weeks ago
1 year 13 weeks ago
1 year 13 weeks ago
1 year 16 weeks ago
1 year 20 weeks ago
1 year 20 weeks ago