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 | 3879 reads
|
Browse archivesActive forum topics |
Recent comments
6 weeks 4 days ago
6 weeks 6 days ago
7 weeks 14 hours ago
14 weeks 11 hours ago
19 weeks 5 days ago
19 weeks 6 days ago
20 weeks 5 days ago
23 weeks 3 days ago
24 weeks 6 days ago
25 weeks 2 hours ago