Type-theoretic design patterns

11 years 6 months ago
Type-theoretic design patterns
The development of design patterns in object-oriented programming aims at capturing good software design in a re-usable generic form. However, design patterns are not expressible in conventional object-oriented programming languages. To address this shortcoming, we need to model and understand design patterns precisely. We achieve this by identifying operators characterising the most fundamental design patterns in a way that enables the construction of object-oriented programs with provable structural and behavioural properties. We use dependent-type theory to define a simplified, functional model of object-oriented programming. Design patterns are modelled in this setting as operators on object signatures and implementations. We present examples of several basic design operators and design patterns modelled in this setting and show how properties of their composition can be proven. Categories and Subject Descriptors F.3.1 [Logics and Meaning of Programs]: Specifying and Verifying and...
Ondrej Rypacek, Roland Carl Backhouse, Henrik Nils
Added 13 Dec 2009
Updated 13 Dec 2009
Type Conference
Year 2006
Where ICFP
Authors Ondrej Rypacek, Roland Carl Backhouse, Henrik Nilsson
Comments (0)