: Posters on Display Monday : Posters on Display Tuesday : Posters on Display Wednesday : Posters on Display Thursday

Implementing Incrementalization Across Object Abstraction

Michael Gorbovitski, Computer Science Dept., State Univ. of New York at Stony Brook
Tom Rothamel, Computer Science Dept., State Univ. of New York at Stony Brook
Yanhong Liu, Computer Science Dept., State Univ. of New York at Stony Brook
Scott Stoller, Computer Science Dept., State Univ. of New York at Stony Brook

We have implemented an interpreter (InvTS) for a declarative rule language (InvTL) supporting invariant-aware transformations of object-oriented programs. Using a library of rules, it can perform incrementalization across object abstractions, allowing the programmer to write clear, straightforward code while relying on InvTS to generate sophisticated and efficient implementations.