25 search results - page 1 / 5 » Symbolic Computation in Java: An Appraisement |
ISSAC
1999
Springer
13 years 9 months ago
1999
Springer
APLAS
2008
ACM
13 years 7 months ago
2008
ACM
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...
TGC
2010
Springer
13 years 3 months ago
2010
Springer
Recent work in resource analysis has translated the idea of amortised resource analysis to imperative languages using a program logic that allows mixing of assertions about heap sh...
HPCN
2000
Springer
13 years 9 months ago
2000
Springer
We present OKEANOS, a distributed service-based agent framework implemented in Java, in which agents can act autonomously and make use of stationary services. Each agent's beh...
ISTA
2003
13 years 6 months ago
2003
: A new approach of building enterprise distributed applications for layer of business rules as standard part of architecture is proposed in this paper. The approach uses symbolic ...