313 search results - page 13 / 63 » Static analysis for syntax objects |
ETRICS
2006
13 years 11 months ago
2006
Abstract. We provide a static analysis (using both dataflow analysis and theorem proving) to allow state changes within specifications. This can be used for specification languages...
MODELS
2010
Springer
13 years 6 months ago
2010
Springer
A feature represents a functional requirement fulfilled by a system. Since many maintenance tasks are expressed in terms of features, it is important to establish the corresponden...
SMI
1999
IEEE
13 years 12 months ago
1999
IEEE
The geometric skeleton is derived from a static object using an implicit `directions' method; an IK skeleton is derived from and used to manipulate the geometric skeleton. Th...
FM
2009
Springer
14 years 2 months ago
2009
Springer
Shared and mutable data-structures pose major problems in static analysis and most analyzers are unable to keep track of the values of numeric variables stored in the heap. In this...
ACIIDS
2011
IEEE
13 years 2 months ago
2011
IEEE
While in the traditional workflow processes the control flow is determined statically within process definitions, in declarative workflow processes the control flow is dynamic and ...