We propose a novel approach based on coinductive logic to specify type systems of programming languages. The approach consists in encoding programs in Horn formulas which are interpreted w.r.t. their coinductive Herbr...
详细信息
ISBN:
(纸本)9783642030123
We propose a novel approach based on coinductive logic to specify type systems of programming languages. The approach consists in encoding programs in Horn formulas which are interpreted w.r.t. their coinductive Herbrand model. We illustrate the approach by first specifying a standard type system for a small object-oriented language similar to Featherweight Java. Then we define an idealized type system for a variant of the language where type annotations can be omitted. The type system involves infinite terms and proof trees not representable in a finite way, thus providing a theoretical limit to type inference of object-oriented programs, since only sound approximations of the system can be implemented. Approximation is naturally captured by the notions of subtyping and subsumption;indeed, rather than increasing the expressive power of the system, as it usually happens, here subtyping is needed for approximating infinite non regular types and proof trees with regular ones.
objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages provide little support for reasoning a...
详细信息
While object-orientedprogramming has been embraced in industry, particularly in the form of C++, Java, and Python, its acceptance by the parallel scientific programming community is for various reasons tentative. Non...
详细信息
ISBN:
(纸本)9781605585475
While object-orientedprogramming has been embraced in industry, particularly in the form of C++, Java, and Python, its acceptance by the parallel scientific programming community is for various reasons tentative. Nonetheless, various factors practically dictate the use of language features that provide higher level ions than do C or older FORTRAN standards. These include increasingly complex physics models, numerical algorithms, and hardware, e.g. deep memory hierarchies, ever-increasing numbers of processors, and the advent of multi- and many-core processors and heterogeneous architectures. This workshop, the eighth in the series since 1998, seeks to bring together researchers and practitioners in this growing field to 'compare notes' on their work. The emphasis is on identifying specific problems impeding greater acceptance and widespread use of object-orientedprogramming in scienti fic computing;proposed and implemented solutions to these problems;and new or novel frameworks, approaches, techniques, or idioms for parallel/high- performance objectoriented scientific computing. Presentations of work in progress have been welcome, but recently the workshop has attracted a greater fraction of full research papers. Copyright 2009 ACM.
A statistical dynamic timing analysis framework is presented to study the impact of catastrophic defects and process variation on the delay behavior of a digital circuit considering the effect of gate switching on del...
详细信息
Model evolution is often supported by writing model transformation rules in specialized languages. This presents challenges to those who are unfamiliar with model transformation languages or metamodel definitions. Thi...
详细信息
ISBN:
(纸本)9781605587660
Model evolution is often supported by writing model transformation rules in specialized languages. This presents challenges to those who are unfamiliar with model transformation languages or metamodel definitions. This poster describes research that simplifies the creation of model evolution transformations by recording and analyzing the operational behavior exhibited by end-users.
Web services are the next step in the growth of the Internet and permit active objects to be located on Websites providing distributed services to potential clients. The main advantage of Web services is that provides...
详细信息
Foreign-function interfaces enable programs in a host language to interoperate with programs written in another language and vice-versa. Two languages that feature such an interface to a common language can even inter...
详细信息
ISBN:
(纸本)9781605588995
Foreign-function interfaces enable programs in a host language to interoperate with programs written in another language and vice-versa. Two languages that feature such an interface to a common language can even interoperate by means of this common intermediate language. Smalltalk and Java, for example, both offer an interface to C and can therefore interoperate through a connection of these interfaces. However, the resulting interactions will need to occur at the level of abstraction offered by the (low-level) C interfaces, although both Java and Smalltalk are object-oriented languages. In this paper, we describe how the dynamic and reflective facilities of the Smalltalk language permits us to raise the level of abstraction of these inter-language interactions to seamless message passing between objects. In addition, we introduce and explore the concept of language shifting objects where Java objects are not only represented in Smalltalk but can partially or completely migrate from Java to Smalltalk. Language-shifting effectively migrates Java methods to Smalltalk methods such that original Java objects can end up "living" in the Smalltalk environment without needing a connection to their originating Java environment. Copyright 2009 ACM.
object-oriented analysis and design has now become a major approach in the design of software system. This paper presents a method to automate natural language requirements analysis for object identification and gener...
详细信息
Based on study of large telescopes especially LAMOST (Large Sky Area Multi-object Fiber Spectroscopic Survey Telescope), a large telescope Observatory Control System (OCS) framework based on CORBA has been designed to...
详细信息
Combined with a measurement example, the framework of the object-oriented Flexible Measurement System (OFMS) is described in detail in this paper. The OFMS adequately takes advantage of the object-oriented technique o...
详细信息
暂无评论