2000 search results - page 173 / 400 » Program Transformation and Proof Transformation |
122
Voted
OOPSLA
1999
Springer
15 years 8 months ago
1999
Springer
Java programs perform many synchronization operations on data structures. Some of these synchronizations are unnecessary; in particular, if an object is reachable only by a single ...
163
Voted
COMPASS
1994
15 years 7 months ago
1994
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
153
click to vote
PEPM
2000
ACM
15 years 7 months ago
2000
ACM
Transforming recursion into iteration eliminates the use of stack frames during program execution. It has been studied extensively. This paper describes a powerful and systematic ...
146
click to vote
EPK
2004
15 years 5 months ago
2004
: This paper presents an approach to map EPC business process models available in EPML to Scalable Vector Graphics (SVG) and websites. This mapping has been implemented as an XSLT ...
140
Voted
ENTCS
2006
15 years 3 months ago
2006
This paper presents a novel profiling approach, which is entirely based on program transformation techniques in order to enable exact profiling, preserving complete call stacks, m...