1760 search results - page 131 / 352 » Program Analysis Using Weighted Pushdown Systems |
101
click to vote
SAS
1999
Springer
15 years 5 months ago
1999
Springer
We define an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...
126
Voted
IPPS
1999
IEEE
15 years 5 months ago
1999
IEEE
Parallelizing compiler technology has improved in recent years. One area in which compilers have made progress is in handling DOACROSS loops, where crossprocessor data dependencie...
86
Voted
ENTCS
2006
15 years 20 days ago
2006
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...
92
Voted
CC
2006
Springer
15 years 4 months ago
2006
Springer
Interprocedural dataflow analysis has a large number of uses for software optimization, maintenance, testing, and verification. For software built with reusable components, the tra...
COLING
1996
15 years 2 months ago
1996
The paper describes problems in disambiguating the morphological analysis of Bantu languages by using Swahili as a test language. The main factors of ambiguity in this language gr...