753 search results - page 47 / 151 » Constructing program animations using a pattern-based approa... |
JAR
2000
13 years 7 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...
SOFTVIS
2010
ACM
13 years 8 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...
ASE
2006
13 years 7 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...
FUIN
2006
13 years 7 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...
AOSD
2007
ACM
13 years 11 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...