753 search results - page 47 / 151 » Constructing program animations using a pattern-based approa... |
125
Voted
JAR
2000
15 years 1 months ago
2000
We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...
135
Voted
SOFTVIS
2010
ACM
15 years 2 months ago
2010
ACM
Developers must often diagnose anomalies in programs they only have a partial knowledge of. As a result, they must simultaneously reverse engineer parts of the system they are unf...
108
click to vote
ASE
2006
15 years 1 months ago
2006
The structured programming literature provides methods and a wealth of heuristic knowledge for guiding the construction of provably correct imperative programs. We investigate the...
102
Voted
FUIN
2006
15 years 1 months ago
2006
The notion of program transformation is ubiquitous in programming language studies on interpreters, compilers, partial evaluators, etc. In order to implement a program transformat...
109
Voted
AOSD
2007
ACM
15 years 5 months ago
2007
ACM
Aspect-oriented programming languages select join points using pointcut constructs that depend on the syntactic structure of the base program. As the base program evolves, the poi...