Cited By
View all- Grover SSridhar NShin SOssowski S(2009)GenQAProceedings of the 2009 ACM symposium on Applied Computing10.1145/1529282.1529385(483-487)Online publication date: 8-Mar-2009
Dynamic instantiation-checking components
Pages 1442 - 1446
Abstract
Parameterization is an effective technique for building flexible, reusable software. When dealing with parameterized components, an important concern is the time at which parameters are bound. Many languages provide syntactic support for parameterized components; this mode of parameterization can be called static parameterization. In order to be able to support dynamic reconfiguration, the Service Facility pattern has been proposed as an enabling technology for dynamic parameterization. However, static parameterization has the advantage of strong type-checking that dynamic parameterization does not. In this paper, we present DynInstaCheck --- a tool that automatically instruments dynamically bound parameterized components with run-time checking code that ensures type-safe parameter binding. The source instrumentation is done in a non-intrusive way, using aspect-oriented programming.
References
[1]
G. Bracha, M. Odersky, D. Stoutamire, and P. Wadler. Making the future safe for the past: Adding genericity to the java programming language. In Proceedings of the conference on Object-oriented programming, systems, languages, and applications, pages 183--200. ACM Press, 1998.
[2]
S. H. Edwards, M. Sitaraman, B. W. Weide, and J. Hollingsworth. Contract-checking wrappers for C++ classes. IEEE Transactions on Software Engineering, 30(11):794--810, November 2004.
[3]
E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, 1995.
[4]
J. O. Hallstrom. Design Pattern Contracts. PhD thesis, Computer Science and Engineering, The Ohio State University, 2004.
[5]
J. O. Hallstrom, N. Soundarajan, and B. Tyler. Monitoring design pattern contracts. In Proceedings of the the 3rd FSE Workshop on the Specification and Verification of Component-Based Systems, Newport Beach, CA, 2004.
[6]
A. Kennedy and D. Syme. Design and implementation of generics for the .NET common language runtime. In Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, pages 1--12. ACM Press, 2001.
[7]
G. Kiczales, J. Lamping, A. Menhdhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented programming. In M. Aksit and S. Matsuoka, editors, Proceedings European Conference on Object-Oriented Programming, volume 1241, pages 220--242, Berlin, Heidelberg, and New York, 1997. Springer-Verlag.
[8]
D. Musser and A. Saini. STL Tutorial and Reference Guide: C++ Programming with the Standard Template Library. Addison-Wesley, 1996.
[9]
N. Sridhar. Dynamically Reconfigurable Parameterized Components. PhD thesis, Computer Science and Engineering, The Ohio State University, 2004.
[10]
N. Sridhar, S. M. Pike, and B. W. Weide. Dynamic module replacement in distributed protocols. In Proceedings of the 23rd International Conference on Distributed Computing Systems, May 2003.
[11]
N. Sridhar, B. W. Weide, and P. Bucci. Service facilities: Extending abstract factories to decouple advanced dependencies. In Proceedings of the 7th International Conference on Software Reuse, pages 309--326, April 2002.
[12]
H. Thimbleby. Delaying commitment. IEEE Software, 5(3):78--86, May/June 1988.
Index Terms
- Dynamic instantiation-checking components
Recommendations
Eliminate the overhead of interrupt checking in full-system dynamic binary translator
SYSTOR '22: Proceedings of the 15th ACM International Conference on Systems and StorageDynamic binary translation (DBT) is a ubiquitous technique for program emulation, instrumentation and debugging. Full-system dynamic binary translators, which can run operating systems, are required to emulate interrupt delivery. Existing full-system ...
Developing Adaptable Components Using Dynamic Languages
SEAA '09: Proceedings of the 2009 35th Euromicro Conference on Software Engineering and Advanced ApplicationsThe usage of dynamic languages is increasing among developers. As components are static entities, the usage of scripting languages, which are usually dynamically typed and interpreted, would bring flexibility in the development of components allowing ...
Comments
Information & Contributors
Information
Published In
Copyright © 2006 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 23 April 2006
Check for updates
Qualifiers
- Article
Conference
SAC06
Sponsor:
Acceptance Rates
Overall Acceptance Rate 1,650 of 6,669 submissions, 25%
Upcoming Conference
SAC '25
- Sponsor:
- sigapp
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 112Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 18 Jan 2025
Other Metrics
Citations
Cited By
View all- Grover SSridhar NShin SOssowski S(2009)GenQAProceedings of the 2009 ACM symposium on Applied Computing10.1145/1529282.1529385(483-487)Online publication date: 8-Mar-2009
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in