24 search results - page 2 / 5 » Strictness Analysis for Attribute Grammars |
OOPSLA
2007
Springer
13 years 10 months ago
2007
Springer
We have implemented intraprocedural control-flow and data-flow analysis of Java source code in a declarative manner, using reference attribute grammars augmented with circular a...
DOCENG
2003
ACM
13 years 9 months ago
2003
ACM
CC
1998
Springer
13 years 8 months ago
1998
Springer
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
ICIP
2003
IEEE
14 years 6 months ago
2003
IEEE
Structural information about a document is essential for structured query processing, indexing, and retrieval. A document page can be partitioned into a hierarchy of homogeneous r...
ENTCS
2008
13 years 4 months ago
2008
This paper describes an extension to Lustre to support the analysis of globally asynchronous, locally synchronous (GALS) architectures. This extension consists of constructs for d...