4340 search results - page 468 / 868 » Formal Methods and Cryptography |
180
click to vote
MKM
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. There are many styles for the narrative structure of a mathematical document. Each mathematician has its own conventions and traditions about labeling portions of texts (...
199
click to vote
SAS
2007
Springer
16 years 27 days 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...
153
click to vote
SAS
2007
Springer
16 years 27 days 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...
155
click to vote
SAS
2007
Springer
16 years 27 days ago
2007
Springer
In static analysis, the semantics of the program is expressed as a set ions. The equations are solved iteratively over some abstract domain. If ract domain is distributive and sati...
162
click to vote
SAS
2007
Springer
16 years 27 days 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...