233 search results - page 3 / 47 » BlenX Static and Dynamic Semantics |
PASTE
2004
ACM
14 years 3 months ago
2004
ACM
This work discusses two non-traditional approaches for evaluating the imprecision of static analysis. The approaches are based on proofs of feasibility or infeasibility that are c...
JSS
2006
13 years 10 months ago
2006
Model is a kind of codified knowledge that has been verified in solving problems. Solving a complex problem usually needs a set of models. Using components, the composition of a s...
DAGSTUHL
2003
13 years 11 months ago
2003
EDBT
2010
ACM
14 years 4 months ago
2010
ACM
Schemas, and more generally metadata specifying structural and semantic constraints, are invaluable in data management. They facilitate conceptual design and enable checking of da...
ECOOP
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...