1715 search results - page 199 / 343 » Domain-Specific Program Checking |
106
Voted
KBSE
2007
IEEE
15 years 7 months ago
2007
IEEE
Two or more components (e.g., objects, modules, or programs) interoperate when they exchange data, such as XML data. Using Application Programming Interface (API) calls exported b...
121
Voted
ECOOP
2007
Springer
15 years 7 months ago
2007
Springer
We present MJ: a language for specifying general classes whose members are produced by iterating over members of other classes. We call this technique “class morphing” or just ...
106
Voted
SEFM
2006
IEEE
15 years 6 months ago
2006
IEEE
An optimization can be specified as sequential compositions of predefined transformation primitives. For each primitive, we can define soundness conditions which guarantee that th...
SIGCSE
2005
ACM
15 years 6 months ago
2005
ACM
Professional software developers use version control systems to coordinate their work, and to provide an unwindable history of their project’s evolution. In contrast, students i...
PPDP
2005
Springer
15 years 6 months ago
2005
Springer
Type checking and type inference are fundamentally similar problems. However, the algorithms for performing the two operations, on the same type system, often differ significant...