Sciweavers

1407 search results - page 197 / 282
» The Use of Overloading in Java Programs
Sort
View
156
Voted
TOOLS
1998
IEEE
15 years 6 months ago
Modeling Dynamic Component Interfaces
In this paper we adopt a component model based on object-oriented systems, introducing the concepts of components and their structure. A component consists of a dynamically changi...
Franz Huber, Andreas Rausch, Bernhard Rumpe
ACSC
2004
IEEE
15 years 6 months ago
Strength Reduction for Loop-Invariant Types
Types are fundamental for enforcing levels of abstraction in modern high-level programming languages and their lower-level representations. However, some type-related features suc...
Phung Hua Nguyen, Jingling Xue
VL
2005
IEEE
159views Visual Languages» more  VL 2005»
15 years 8 months ago
Executable Visual Contracts
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
Marc Lohmann, Stefan Sauer, Gregor Engels
OOPSLA
2004
Springer
15 years 8 months ago
Scalable extensibility via nested inheritance
Inheritance is a useful mechanism for factoring and reusing code. However, it has limitations for building extensible systems. We describe nested inheritance, a mechanism that add...
Nathaniel Nystrom, Stephen Chong, Andrew C. Myers
100
Voted
AMAST
2006
Springer
15 years 6 months ago
Formal Islands
Abstract. Motivated by the proliferation and usefulness of Domain Specific Languages as well as the demand in enriching well established languages by high level capabilities like p...
Emilie Balland, Claude Kirchner, Pierre-Etienne Mo...