222 search results - page 9 / 45 » Development of Correct Graph Transformation Systems |
CONCUR
2004
Springer
14 years 26 days ago
2004
Springer
We propose a framework where behavioural properties of finite-state systems modelled as graph transformation systems can be expressed and verified. The technique is based on the ...
CASES
2010
ACM
13 years 5 months ago
2010
ACM
Common generated instruction selections are based on tree pattern matching, but modern and custom architectures feature instructions, which cannot be covered by trees. To overcome...
ENTCS
2008
13 years 7 months ago
2008
The well-known notion of critical pairs already allows a static conflict detection, which is important for all kinds of applications and already implemented in AGG. Unfortunately ...
PPDP
2005
Springer
14 years 29 days ago
2005
Springer
Huet and Lang (1978) presented a framework of automated program transformation based on lambda calculus in which programs are transformed according to a given program transformati...
ACCV
2007
Springer
14 years 1 months ago
2007
Springer
We present a new framework for correcting multiperspective distortions using collineations. A collineation describes the transformation between the images of a camera due to change...