OBJECT-ORIENTED PROGRAMMING, SYSTEMS, LANGUAGES and APPLICATIONS
 
 
Program
 


Program (2mb PDF)

Explore
  Invited Speakers
  Onward!
  Panels
  Workshops
Discover
  Research Papers
  Student Research Comp.
  Posters
  Doctoral Symposium
  Educators' Symposium
  Wiki Symposium
  Dynamic Lang. Symp.
Understand
  Tutorials
  Essays
  Practitioner Reports
  Demonstrations
Create
  DesignFest
  Lightning Talks
  FlashBoF
  Instant Arts School Exp.
 
Other Events
 
Resort Map (364kb PDF)
 
Resort Map (JPG)

 

 
Basket
 

view, help

"Implementing Incrementalization Across Object Abstraction"

 

 
Page
 

Printer-friendly

 
 


 : 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.
 
.