134
click to vote
SAS
15 years 7 months ago
2007 Springer 
We present a framework for inductive definitions in the logic of bunched implications, BI, and formulate two sequent calculus proof systems for inductive reasoning in this framewo...
SAS
15 years 7 months ago
2007 Springer  101
click to vote
SAS
15 years 7 months ago
2007 Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
102
click to vote
SAS
15 years 7 months ago
2007 Springer
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
104
click to vote
SAS
15 years 7 months ago
2007 Springer
Introducing aspect orientation to a polymorphically typed functional language strengthens the importance of type-scoped advices; i.e., advices with their effects being harnessed b...
|
Formal Methods