Row types for delta-oriented programming | Zendy

Michaël Lienhardt | Zendy; Dave Clarke | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Row types for delta-oriented programming

Author(s) -

Michaël Lienhardt,

Dave Clarke

Publication year - 2012

Publication title -

lirias (ku leuven)

Language(s) - English

Resource type - Conference proceedings

DOI - 10.1145/2110147.2110161

Subject(s) - computer science , delta , software , programming language , monotonic function , software product line , software development , mathematics , engineering , mathematical analysis , aerospace engineering

International audienceDelta-oriented programming (DOP) provides a technique for implementing Software Product Lines based on modifications (add, remove, modify) to a core program. Unfortunately, such modifications can introduce errors into a program, especially when type signatures of classes are modified in a non-monotonic fashion. To deal with this problem we present a type system for delta-oriented programs based on row polymorphism. This exercise elucidates the close correspondence between delta-oriented programs and row polymorphism

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research