10072 search results - page 53 / 2015 » Composition of Model Programs |
106
click to vote
LATIN
2010
Springer
15 years 8 months ago
2010
Springer
Concurrent compositions of recursive programs with finite a natural abstraction model for concurrent programs. Since reachability is undecidable for this class, a restricted form ...
113
Voted
ECOOPW
1998
Springer
15 years 6 months ago
1998
Springer
This paper proposes to implement aspects as metaobjects and using run time aspect weaving. The metaobjects are metaobjects as defined in computational reflection and can be exchan...
104
click to vote
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
Abstract. This paper uses a theory of composition based on existential and universal properties. Universal properties are useful to describe components interactions through shared ...
133
click to vote
SIGOPSE
1998
ACM
15 years 6 months ago
1998
ACM
with this, the thread abstraction was introduced. While threads are handling events, or awaiting specific events, unrelated events can be handled by other threads. Unfortunately, ...
133
Voted
OOPSLA
1999
Springer
15 years 6 months ago
1999
Springer
This paper presents a combined pointer and escape analysis algorithm for Java programs. The algorithm is based on the abstraction of points-to escape graphs, which characterize ho...