4719 search results - page 150 / 944 » Newtonian program analysis |
121
click to vote
JAVA
2001
Springer
15 years 8 months ago
2001
Springer
In this paper we present a platform independent analysis of the dynamic profiles of Java programs when executing on the Java Virtual Machine. The Java programs selected are taken...
115
click to vote
ECRTS
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper we present co-transformation, a novel approach to the mapping of execution information from the source code of a program to the object code for the purpose of worst-...
138
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
135
click to vote
APLAS
2005
ACM
15 years 9 months ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
153
click to vote
FUIN
2006
15 years 4 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...