828 search results - page 104 / 166 » A New Model of Program Dependences for Reverse Engineering |
171
Voted
FOSSACS
2005
Springer
16 years 7 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
153
click to vote
SEKE
2005
Springer
16 years 5 days ago
2005
Springer
Current aspect-oriented programming (AOP) enhances maintainability and comprehensibility by modularizing concerns crosscutting multiple components but lacks the support for the hie...
270
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
Measuring graph similarity is a key issue in many applications. We propose a new constraint-based modeling language for defining graph similarity measures by means of constraints. ...
186
click to vote
WSCG
2001
15 years 8 months ago
2001
Research performed in the field of computer vision has steadily ignored recent advances in programming tools and techniques, relying on well-established traditional methods, such ...
309
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...