692 search results - page 47 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
100
click to vote
PEPM
1993
ACM
15 years 3 months ago
1993
ACM
For a functional programming language with a lazy standard semantics, we define a strictness analysis by means of abstract interpretation. Using the information from the strictne...
DATE
2005
IEEE
15 years 5 months ago
2005
IEEE
—Presented are a methodology and a DFII-based tool for AC-stability analysis of a wide variety of closed-loop continuous-time (operational amplifiers and other linear circuits). ...
DSVIS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In this paper we attempt to formalise some of the basic attributes of performative interaction against a background of sociological analysis in order to better understand...
116
click to vote
IWPSE
2007
IEEE
15 years 6 months ago
2007
IEEE
Software systems need to change over time to cope with new requirements, and due to design decisions, the changes happen to crosscut the system’s structure. Understanding how ch...
106
click to vote
ENDM
2010
14 years 12 months ago
2010
Verifying that a piece of software has no bugs means proving that it has certain desired properties, such as an array index not taking values outside certain Abstract interpretati...