42507 search results - page 139 / 8502 » On the analysis of |
179
click to vote
ICLP
2005
Springer
16 years 2 days ago
2005
Springer
Our goal is to study the feasibility of porting termination analysis techniques developed for one programming paradigm to another paradigm. In this paper, we show how to adapt ter...
166
click to vote
DFG
2004
Springer
15 years 12 months ago
2004
Springer
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...
147
click to vote
CODES
1999
IEEE
15 years 11 months ago
1999
IEEE
se Analysis of Discrete Systems Based on Conditional Abstractions Felice Balarin Cadence Berkeley Laboratories
170
click to vote
PEPM
1993
ACM
15 years 10 months ago
1993
ACM
Binding-time analysis is a crucial component of an ofine partial evaluator. The accuracy of the binding-time information that it produces determines the degree of specialization o...