3516 search results - page 483 / 704 » Programming Languages: Application and Interpretation |
163
click to vote
ISSTA
2000
ACM
15 years 10 months ago
2000
ACM
ions for concise and precise specification of such control, but balance this with visualization support to help users also obtain intuitive insights. The underlying complexhese con...
210
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...
148
click to vote
LCTRTS
2001
Springer
15 years 11 months ago
2001
Springer
Computers are increasingly being incorporated in devices with a limited amount of available memory. As a result research is increasingly focusing on the automated reduction of pro...
183
click to vote
CC
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. This paper presents four extensions to the Interprocedural Finite Distributive Subset (IFDS) algorithm that make it applicable to a wider class of analysis problems. IFDS...
168
click to vote
CC
2005
Springer
16 years 1 days ago
2005
Springer
In this paper, we present a formal description of data slicing, which is a type-directed program transformation technique that separates a program’s heap into several independent...