4719 search results - page 264 / 944 » Newtonian program analysis |
132
click to vote
TOOLS
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper summarises a tutorial entitled Analysis by Contract. Using fragments from a simple case study concerning a video store, the paper shows how a type model can provide the...
185
click to vote
CC
1994
Springer
15 years 10 months ago
1994
Springer
This paper concerns the solution of demand versions of interprocedural analysis problems. In a demand version of a program-analysis problem, some piece of summary information (e.g...
134
click to vote
SAS
1994
Springer
15 years 10 months ago
1994
Springer
Strictness analysis has been a living field of investigation since Mycroft's original work in 1980, and is getting increasingly significant with the still wider use of lazy fu...
153
click to vote
BIRTHDAY
2006
Springer
15 years 9 months ago
2006
Springer
We describe a gate level design of a FlexRay-like bus interface. An electronic control unit (ECU) is obtained by integrating this interface into the design of the verified VAMP pro...
147
click to vote
COCO
2006
Springer
15 years 9 months ago
2006
Springer
We study two quite different approaches to understanding the complexity of fundamental problems in numerical analysis. We show that both hinge on the question of understanding the...