Dealing with multiple inheritance hierarchies is a problem both for designers of compilers for object-oriented languages supporting multiple inheritance and for users who have to model complex hierarchical data with l...
详细信息
As scripts grow into full-fledged applications, programmers should want to port portions of their programs from scripting languages to languages with sound and rich type systems. This form of interlanguage migration e...
详细信息
ISBN:
(纸本)159593491X
As scripts grow into full-fledged applications, programmers should want to port portions of their programs from scripting languages to languages with sound and rich type systems. This form of interlanguage migration ensures type-safety and provides minimal guarantees for reuse in other applications, *** this paper, we present a framework for expressing this form of interlanguage migration. Given a program that consists of modules in the untyped lambda calculus, we prove that rewriting one of them in a simply typed lambda calculus produces an equivalent program and adds the expected amount of type safety, i.e., code in typed modules can't go wrong. To ensure these guarantees, the migration process infers constraints from the statically typed module and imposes them on the dynamically typed modules in the form of behavioral contracts.
A wealth of recent research involves generating program monitors from declarative specifications. Doing this efficiently has proved challenging, and available implementations often produce infeasibly slow monitors. We...
详细信息
ISBN:
(纸本)159593491X
A wealth of recent research involves generating program monitors from declarative specifications. Doing this efficiently has proved challenging, and available implementations often produce infeasibly slow monitors. We demonstrate how to dramatically improve performance - typically reducing overheads to within an order of magnitude of the program's normal runtime.
In the past years, there is significant growth in the number new technologies for Java developers. More recently, Services and Service oriented Architectures (SOA) becoming popular. Projects are now more complex and b...
详细信息
ISBN:
(纸本)9781595938657
In the past years, there is significant growth in the number new technologies for Java developers. More recently, Services and Service oriented Architectures (SOA) becoming popular. Projects are now more complex and becoming more challenging to complete on time. Sybase is a service-oriented unified design and environment that includes the power of enterprise with comprehensive tooling capabilities. demonstration shows how enterprise modeling, database, Web application development, servicesoriented and orchestration, and mobile development come together to build SOA applications. It demonstrates how Sybase WorkSpace integrates most important design and development tools in an to-use open-source framework.
In object-oriented (OO) design, inheritance describes the is-a relationship of the objects in the real world. This concept oriented view (COV) is what we think the design ought to be, in which a subclass is a speciali...
ISBN:
(纸本)1880843234
In object-oriented (OO) design, inheritance describes the is-a relationship of the objects in the real world. This concept oriented view (COV) is what we think the design ought to be, in which a subclass is a specialization of its superclass and hence more restrictive in terms of its attributes and functionality. However, the current OO programming languages and OO systems use the program oriented view (POV) that is the reverse of COV. POV simply extends, rather than restricts, the attributes and functionality from the superclass to the subclass. In this paper, an OO design method is presented to solve this problem by imposing user-defined constraints on the subclasses. A thread that is activated when the subclass object is created monitors the subclass constraints. This method maintains the concept-oriented view of inheritance in the framework of the currently existing programming languages. It is a significant improvement from some other methods proposed in the past that tried to solve the problem by altering the logic design to fit in the programming practice.
In this paper we propose a new form of polymorphism for object-oriented languages, called correspondence polymorphism. It lies in a different dimension than either parametric or subtype polymorphism. In correspondence...
详细信息
In this paper we propose a new form of polymorphism for object-oriented languages, called correspondence polymorphism. It lies in a different dimension than either parametric or subtype polymorphism. In correspondence polymorphism, some methods are declared to correspond to other methods, via a correspondence relation. With this relation, it is possible to reuse non-generic code in various type contexts-not necessarily subtyping or matching contexts-without having to plan and ahead for this reuse. Correspondence polymorphism has advantages over other expressive object type systems in that programmer-declared types still may be simple, first-order types that are easily understood. We define a simple language LCP that reflects these new ideas, illustrating its behavior with multiple examples. We present formal type rules and an operational semantics for LCP, and establish soundness of the type system with respect to reduction.
Domain-Specific Modeling raises the level of abstraction beyond programming by specifying the solution directly using visual models to express domain concepts. In many cases, final products can be generated automatica...
详细信息
ISBN:
(纸本)9781595938657
Domain-Specific Modeling raises the level of abstraction beyond programming by specifying the solution directly using visual models to express domain concepts. In many cases, final products can be generated automatically from these high-level specifications. This automation is possible because both the language and generators fit the requirements of only one domain. This paper introduces Domain-Specific Modeling and describes the related 2-day workshop (21st and 22nd October).
This paper presents a query processing algorithm called DE CAF for use in middleware object query systems that are based on the use of an object cache. The DECAF algorithm is designed to work correctly even in the pre...
详细信息
This paper presents a query processing algorithm called DE CAF for use in middleware object query systems that are based on the use of an object cache. The DECAF algorithm is designed to work correctly even in the presence of updates to the underlying databases that don't go through the object cache (i.e., even for autonomous data sources that can be updated through legacy applications that do not perform their updates through the middleware object layer). DE CAF's query results are consistent with updates performed by such transactions;its results are also consistent with any deferred updates that are present in the object cache but not yet committed at the database server. The DECAF algorithm attempts to push down query predicates to the underlying DBMSs to take advantage of the query processing capabilities of these systems and to reduce the amount of data, transferred from these systems to the object cache.
object-orientedprogramming and other programming paradigms are heavily influenced by Western thought and reasoning, which focuses on understanding the world in terms of categories, objects and their attributes: A typ...
详细信息
object-orientedprogramming and other programming paradigms are heavily influenced by Western thought and reasoning, which focuses on understanding the world in terms of categories, objects and their attributes: A typical program is decomposed into clearly defined units, such as modules, functions, objects, components and aspects, and each of these units is described by its properties, functionality, and direct relationships to other units. Eastern philosophy, however, focuses on fields of interactions rather than individual units. Harmony-orientedprogramming is a new programming paradigm based on concepts found in Eastern philosophy. This paper presents principles and constructs of harmony-orientedprogramming and introduces ongoing work towards creating a harmony-oriented software development environment for further experimental studies.
暂无评论