Applying the decorator pattern for profiling object-oriented software

E. B. Duffy; J. P. Gibson; B. A. Malloy

doi:10.1109/WPC.2003.1199192

Applying the decorator pattern for profiling object-oriented software

E. B. Duffy, J. P. Gibson, B. A. Malloy

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

A profiler can provide valuable information to a developer to facilitate program optimization, debugging or testing. In this paper, we describe the use of the decorator pattern for non-intrusive profiling of object-oriented applications. We provide a formal specification of the decorator pattern, and show that the pattern can be used as a program transformation without altering the external, observable behavior of the system. We refer to such a transformation as a correctness preserving transformation, or CPT. As a CPT, the decorator pattern can be used to non-intrusively profile object-oriented applications and we illustrate this application with an invariant validator for enforcement of design by contract, and for profiling memory. We provide a case study to compare the cost trade-offs of validating invariants at different points in a program.

Original language	English
Title of host publication	Proceedings - IWPC 2003
Subtitle of host publication	11th IEEE International Workshop on Program Comprehension
Publisher	IEEE Computer Society
Pages	84-93
Number of pages	10
ISBN (Electronic)	0769518834
DOIs	https://doi.org/10.1109/WPC.2003.1199192
Publication status	Published - 1 Jan 2003
Externally published	Yes
Event	11th IEEE International Workshop on Program Comprehension, IWPC 2003 - Portland, United States Duration: 10 May 2003 → 11 May 2003

Publication series

Name	Proceedings - IEEE Workshop on Program Comprehension
Volume	2003-May
ISSN (Print)	1092-8138

Conference

Conference	11th IEEE International Workshop on Program Comprehension, IWPC 2003
Country/Territory	United States
City	Portland
Period	10/05/03 → 11/05/03

Access to Document

10.1109/WPC.2003.1199192

Cite this

Duffy, E. B., Gibson, J. P., & Malloy, B. A. (2003). Applying the decorator pattern for profiling object-oriented software. In Proceedings - IWPC 2003: 11th IEEE International Workshop on Program Comprehension (pp. 84-93). Article 1199192 (Proceedings - IEEE Workshop on Program Comprehension; Vol. 2003-May). IEEE Computer Society. https://doi.org/10.1109/WPC.2003.1199192

@inproceedings{8e03973968164764a4698e09eaddc86e,

title = "Applying the decorator pattern for profiling object-oriented software",

abstract = "A profiler can provide valuable information to a developer to facilitate program optimization, debugging or testing. In this paper, we describe the use of the decorator pattern for non-intrusive profiling of object-oriented applications. We provide a formal specification of the decorator pattern, and show that the pattern can be used as a program transformation without altering the external, observable behavior of the system. We refer to such a transformation as a correctness preserving transformation, or CPT. As a CPT, the decorator pattern can be used to non-intrusively profile object-oriented applications and we illustrate this application with an invariant validator for enforcement of design by contract, and for profiling memory. We provide a case study to compare the cost trade-offs of validating invariants at different points in a program.",

author = "Duffy, \{E. B.\} and Gibson, \{J. P.\} and Malloy, \{B. A.\}",

note = "Publisher Copyright: {\textcopyright} 2003 IEEE.; 11th IEEE International Workshop on Program Comprehension, IWPC 2003 ; Conference date: 10-05-2003 Through 11-05-2003",

year = "2003",

month = jan,

day = "1",

doi = "10.1109/WPC.2003.1199192",

language = "English",

series = "Proceedings - IEEE Workshop on Program Comprehension",

publisher = "IEEE Computer Society",

pages = "84--93",

booktitle = "Proceedings - IWPC 2003",

}

Duffy, EB, Gibson, JP & Malloy, BA 2003, Applying the decorator pattern for profiling object-oriented software. in Proceedings - IWPC 2003: 11th IEEE International Workshop on Program Comprehension., 1199192, Proceedings - IEEE Workshop on Program Comprehension, vol. 2003-May, IEEE Computer Society, pp. 84-93, 11th IEEE International Workshop on Program Comprehension, IWPC 2003, Portland, United States, 10/05/03. https://doi.org/10.1109/WPC.2003.1199192

Applying the decorator pattern for profiling object-oriented software. / Duffy, E. B.; Gibson, J. P.; Malloy, B. A.
Proceedings - IWPC 2003: 11th IEEE International Workshop on Program Comprehension. IEEE Computer Society, 2003. p. 84-93 1199192 (Proceedings - IEEE Workshop on Program Comprehension; Vol. 2003-May).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Applying the decorator pattern for profiling object-oriented software

AU - Duffy, E. B.

AU - Gibson, J. P.

AU - Malloy, B. A.

PY - 2003/1/1

Y1 - 2003/1/1

N2 - A profiler can provide valuable information to a developer to facilitate program optimization, debugging or testing. In this paper, we describe the use of the decorator pattern for non-intrusive profiling of object-oriented applications. We provide a formal specification of the decorator pattern, and show that the pattern can be used as a program transformation without altering the external, observable behavior of the system. We refer to such a transformation as a correctness preserving transformation, or CPT. As a CPT, the decorator pattern can be used to non-intrusively profile object-oriented applications and we illustrate this application with an invariant validator for enforcement of design by contract, and for profiling memory. We provide a case study to compare the cost trade-offs of validating invariants at different points in a program.

AB - A profiler can provide valuable information to a developer to facilitate program optimization, debugging or testing. In this paper, we describe the use of the decorator pattern for non-intrusive profiling of object-oriented applications. We provide a formal specification of the decorator pattern, and show that the pattern can be used as a program transformation without altering the external, observable behavior of the system. We refer to such a transformation as a correctness preserving transformation, or CPT. As a CPT, the decorator pattern can be used to non-intrusively profile object-oriented applications and we illustrate this application with an invariant validator for enforcement of design by contract, and for profiling memory. We provide a case study to compare the cost trade-offs of validating invariants at different points in a program.

U2 - 10.1109/WPC.2003.1199192

DO - 10.1109/WPC.2003.1199192

M3 - Conference contribution

AN - SCOPUS:84979075994

T3 - Proceedings - IEEE Workshop on Program Comprehension

SP - 84

EP - 93

BT - Proceedings - IWPC 2003

PB - IEEE Computer Society

T2 - 11th IEEE International Workshop on Program Comprehension, IWPC 2003

Y2 - 10 May 2003 through 11 May 2003

ER -

Applying the decorator pattern for profiling object-oriented software

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this