1127 search results - page 10 / 226 » The XIS Generative Programming Techniques |
SAC
2010
ACM
13 years 6 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
APVIS
2008
13 years 10 months ago
2008
Volume rendering of multiple intersecting volumetric objects is a difficult visualization task, especially if different rendering styles need to be applied to the components, in o...
ANLP
1997
13 years 10 months ago
1997
CogentHelp is a prototype tool for authoring dynamicallygenerated on-line help for applications with graphical user interfaces, embodying the "evolution-friendly" proper...
SAS
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Proving the termination of a flowchart program can be done by exhibiting a ranking function, i.e., a function from the program states to a wellfounded set, which strictl...
CASES
2005
ACM
13 years 10 months ago
2005
ACM
Code compression is a field where compression ratios between compiler-generated code and subsequent compressed code are highly dependent on decisions made at compile time. Most op...