4722 search results - page 71 / 945 » Representation-independent program analysis |
117
Voted
CORR
2007
Springer
15 years 2 months ago
2007
Springer
We present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the program code of an application...
151
click to vote
PASTE
1998
ACM
15 years 6 months ago
1998
ACM
FLAVERS, a tool for verifying properties of concurrent systems, uses composite data flow analysis to incrementally improve the precision of the results of its verifications. Altho...
127
Voted
ECOOP
2004
Springer
15 years 8 months ago
2004
Springer
Programmers have come to expect better integration between databases and the programming languages they use. While this trend continues unabated, database concurrency scheduling ha...
119
Voted
ISCA
1992
IEEE
15 years 6 months ago
1992
IEEE
A quantitative analysis of program execution is essential to the computer architecture design process. With the current trend in architecture of enhancing the performance of unipr...
117
Voted
FORTE
2008
15 years 4 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...