2000 search results - page 140 / 400 » Program Transformation and Proof Transformation |
138
Voted
CHI
2007
ACM
15 years 7 months ago
2007
ACM
Software developers must modify their programs to keep up with changing requirements and designs. Often, a conceptually simple change can require numerous edits that are similar b...
119
click to vote
CONCUR
2009
Springer
15 years 10 months ago
2009
Springer
We present a new algorithm for computing the winning region of a parity game played over the configuration graph of a pushdown system. Our method gives the first extension of the...
142
Voted
COLCOM
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract. Existing Peer to Peer (P2P) collaborative editing systems do not allow any user to undo any modification. However, in such systems, users are not aware of others’ modi...
145
Voted
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper describes two new bisimulation equivalences for the pure untyped call-by-value λ-calculus, called enf bisimilarity and enf bisimilarity up to η. They are based on eag...
165
Voted
WIFT
1998
IEEE
15 years 7 months ago
1998
IEEE
The Unified Modeling Language (UML) is likely to become an important industry standard language for modelling object-oriented systems. However, its use as a precise analysis tool ...