117
click to vote
SAS
15 years 6 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 6 months ago
2007 Springer  SAS
15 years 6 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...
SAS
15 years 6 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...
90
Voted
SAS
15 years 6 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