4469 search results - page 350 / 894 » Dynamic Program Slicing |
103
Voted
CAV
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. In this paper we present InvGen, an automatic linear arithmetic invariant generator for imperative programs. InvGen's unique feature is in its use of dynamic analysi...
101
click to vote
SCAM
2008
IEEE
15 years 9 months ago
2008
IEEE
AJAX is a web application programming technique that allows portions of a web page to be loaded dynamically, separate from other parts of the web page. This gives the user a much ...
104
Voted
SAC
2005
ACM
15 years 8 months ago
2005
ACM
![[a]C#: C# with a customizable code annotation mechanism](https://www.sciweavers.org/files/imagecache/thumbnail/default/content.jpg "[a]C#: C# with a customizable code annotation mechanism")
Reflective programming is becoming popular due to the increasing set of dynamic services provided by execution environments like JVM and CLR. With custom attributes Microsoft int...
113
Voted
WSC
2007
15 years 4 months ago
2007
This paper addresses several issues of using the mathematical programming representations of discrete-event dynamic systems in perturbation analysis. In particular, linear program...
107
Voted
AAAI
1997
15 years 3 months ago
1997
We present a theory of qualitative rigid body mechanics and describe a program that uses this theory to compute qualitative dynamic simulations.1 The program works directly from a...