342 search results - page 22 / 69 » Calling context abstraction with shapes |
PEPM
1998
ACM
15 years 4 months ago
1998
ACM
Abstract. Source-program modifications can make a partial evaluator yield dramatically better results. For example, eta-redexes can preserve static data flow by acting as an interf...
AUSAI
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In order to apply nonmonotonic logics for specifying industrial automation controllers, we define (1) a method to extend atemporal nonmonotonic logics with temporal opera...
55
Voted
ZUM
2000
Springer
15 years 3 months ago
2000
Springer
We have developed a general denition of segregation in the context of Z system specications. This denition is general enough to allow multi-way communications between otherwise seg...
103
click to vote
SOCO
2007
Springer
15 years 5 months ago
2007
Springer
Aspects require access to the join point context in order to select and adapt join points. For this purpose, current aspect-oriented systems offer a large number of pointcut constr...
ISCIS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Every running thread has its own thread context that consists of values of the fields of the target thread object. To consider the thread context in understanding the be...