作者: 祖先 時(shí)間: 2025-3-22 00:11
The Emergent Structure of Development Tasks development task lines up with the structure of the system, the tools in these environments do a great job of supporting developers in their work. Unfortunately, many development tasks do not have this characteristic. Instead, they involve changes that are scattered across the source code and vario作者: Angiogenesis 時(shí)間: 2025-3-22 00:57 作者: elucidate 時(shí)間: 2025-3-22 07:31
Efficiently Refactoring Java Applications to Use Generic Librariesnsafe down-casts when retrieving elements from containers. We present a . that replaces raw references to generic library classes with parameterized references. The refactoring infers actual type parameters for allocation sites and declarations using an existing framework of type constraints, and re作者: enterprise 時(shí)間: 2025-3-22 08:53
Sharing the Runtime Representation of Classes Across Class Loadersss loaders, little has been done to reduce the cost associated with defining the same class by multiple loaders. In particular, implementations of the Java virtual machine (JVM.) create a complete runtime representation of each class regardless of how many class loaders already define the same class作者: Arthritis 時(shí)間: 2025-3-22 16:38 作者: Arthritis 時(shí)間: 2025-3-22 20:53
Open Modules: Modular Reasoning About Advicece can help to make programs more modular by separating crosscutting concerns more effectively, but it also challenges existing ideas about modularity and separate development..We study this challenge using a new, simple formal model for advice as it appears in languages like AspectJ. We then add a 作者: MUMP 時(shí)間: 2025-3-23 00:12 作者: 慌張 時(shí)間: 2025-3-23 05:00 作者: 種屬關(guān)系 時(shí)間: 2025-3-23 08:06
Expressive Pointcuts for Increased Modularityare clearly desired to better support maintainability and modular reasoning..We present an analysis which shows that current pointcut languages support localization of crosscutting concerns but are problematic with respect to information hiding. To cope with the problem, we present a pointcut langua作者: 粘連 時(shí)間: 2025-3-23 09:57 作者: 范例 時(shí)間: 2025-3-23 15:50 作者: foreign 時(shí)間: 2025-3-23 19:32
The Essence of Data Access in C,search. C. targets distributed, data-intensive applications and accordingly extends C.’s support of both data and control. In the data dimension it provides a type-theoretic integration of the three prevalent data models, namely the object, relational, and semi-structured models of data. In the cont作者: 失望未來(lái) 時(shí)間: 2025-3-24 00:18
Prototypes with Multiple Dispatch: An Expressive and Dynamic Object Modelre engineers. These two paradigms appear to be in conflict, however, preventing engineers from realizing the benefits of both technologies in one system. This paper introduces a novel object model, prototypes with multiple dispatch (PMD), which seamlessly unifies these two approaches. We give formal作者: Rotator-Cuff 時(shí)間: 2025-3-24 04:27 作者: Ingredient 時(shí)間: 2025-3-24 07:39
Interprocedural Analysis for Privileged Code Placement and Tainted Variable Detectiontly requested by its untrusted clients. Since an untrusted client will be on the call stack when access control is enforced, an access-restricted operation will not succeed unless the client is authorized. To avoid this, a portion of the trusted code can be made “privileged.” When access control is 作者: 討人喜歡 時(shí)間: 2025-3-24 12:14 作者: figurine 時(shí)間: 2025-3-24 15:03 作者: IRK 時(shí)間: 2025-3-24 21:14 作者: cajole 時(shí)間: 2025-3-25 01:56
Consistency Checking of Statechart Diagrams of a Class Hierarchynsistency problem in the context of statechart diagrams. We propose an algebraic approach for determining whether the statechart diagrams of a superclass and its subclass are consistent with respect to their behaviour. The statechart diagrams are first translated into the .-calculus and then verified automatically using the Mobility Workbench.作者: encyclopedia 時(shí)間: 2025-3-25 04:43 作者: 一大群 時(shí)間: 2025-3-25 08:27 作者: cardiac-arrest 時(shí)間: 2025-3-25 12:35 作者: resuscitation 時(shí)間: 2025-3-25 19:26
ECOOP 2005 - Object-Oriented Programming978-3-540-31725-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: exhilaration 時(shí)間: 2025-3-25 20:10
Junxiang Gao,Hao Zhang,Yong Liunsistency problem in the context of statechart diagrams. We propose an algebraic approach for determining whether the statechart diagrams of a superclass and its subclass are consistent with respect to their behaviour. The statechart diagrams are first translated into the .-calculus and then verified automatically using the Mobility Workbench.作者: floodgate 時(shí)間: 2025-3-26 00:14
https://doi.org/10.1007/3-540-54458-5pment of object technology — are:.– Eradicating the risk of .: . with, at run time, the target x not denoting any object, leading to an exception and usually a crash..– Eradicating the risk of “.”: erroneous run-time situations, almost inevitably leading to crashes, resulting from the use of covaria作者: 連鎖,連串 時(shí)間: 2025-3-26 05:38 作者: 染色體 時(shí)間: 2025-3-26 11:31 作者: 死亡率 時(shí)間: 2025-3-26 12:40
Water: An Element of Irrigation,nsafe down-casts when retrieving elements from containers. We present a . that replaces raw references to generic library classes with parameterized references. The refactoring infers actual type parameters for allocation sites and declarations using an existing framework of type constraints, and re作者: 壓碎 時(shí)間: 2025-3-26 17:28
Fundamentals of Logic and Computationss loaders, little has been done to reduce the cost associated with defining the same class by multiple loaders. In particular, implementations of the Java virtual machine (JVM.) create a complete runtime representation of each class regardless of how many class loaders already define the same class作者: 偽造 時(shí)間: 2025-3-26 21:20
pect-oriented programming share the same goal, which is to reduce dependency among components for better reus- ability. However, existing aspect-oriented programming languages/ frameworks, in particular, AspectJ, are not perfectly suitable for expressing inter-component dependency with a simple and 作者: MOT 時(shí)間: 2025-3-27 04:20
Fundamentals of Polymer Engineeringce can help to make programs more modular by separating crosscutting concerns more effectively, but it also challenges existing ideas about modularity and separate development..We study this challenge using a new, simple formal model for advice as it appears in languages like AspectJ. We then add a 作者: Accede 時(shí)間: 2025-3-27 08:34
Fundamentals of Production Theoryodularizing features is difficult, as feature-specific code often cuts across class boundaries. New modularization technologies have been proposed in recent years, but their support for feature modules has not been thoroughly examined. In this paper, we propose a variant of the expression problem as作者: Coterminous 時(shí)間: 2025-3-27 11:37 作者: probate 時(shí)間: 2025-3-27 15:00 作者: FOIL 時(shí)間: 2025-3-27 20:54 作者: Nucleate 時(shí)間: 2025-3-28 00:04 作者: 流行 時(shí)間: 2025-3-28 02:33 作者: 窒息 時(shí)間: 2025-3-28 07:21
Solids with rheological propertiesre engineers. These two paradigms appear to be in conflict, however, preventing engineers from realizing the benefits of both technologies in one system. This paper introduces a novel object model, prototypes with multiple dispatch (PMD), which seamlessly unifies these two approaches. We give formal作者: evanescent 時(shí)間: 2025-3-28 11:23
ge. Object-oriented languages that support multimethods dispatch messages using all their arguments. While Smalltalk does not support multimethods, Smalltalk’s reflective facilities allow programmers to efficiently add them to the language. This paper explores several ways in which this can be done,作者: intention 時(shí)間: 2025-3-28 15:14
Neutron-Induced Transmutation and Activationtly requested by its untrusted clients. Since an untrusted client will be on the call stack when access control is enforced, an access-restricted operation will not succeed unless the client is authorized. To avoid this, a portion of the trusted code can be made “privileged.” When access control is 作者: 越自我 時(shí)間: 2025-3-28 22:03
Fang Li-gang,Chen Shui-sen,Li Hong-liextensions of a class. But encapsulation is difficult to achieve in object-oriented programs owing to heap based structures and reentrant callbacks. This paper shows that it is achieved by a discipline using assertions and auxiliary fields to manage invariants and transferrable ownership. The main r作者: 翻動(dòng) 時(shí)間: 2025-3-29 01:10 作者: APO 時(shí)間: 2025-3-29 06:50 作者: 交響樂(lè) 時(shí)間: 2025-3-29 11:04
Fundamentals of Incompressible Fluid Flown barrier between components. The main purpose of this paper is to provide a mechanism for relaxing the version barrier, while still allowing type-safe instance accesses between components with negligible performance penalties in regular execution.作者: 惡名聲 時(shí)間: 2025-3-29 11:37 作者: receptors 時(shí)間: 2025-3-29 18:05
Fundamentals of Production Theorye these properties to evaluate five technologies: AspectJ, Hyper/J, Jiazzi, Scala, and AHEAD. The results suggest an abstract model of feature composition that is technology-independent and that relates compositional reasoning with algebraic reasoning.作者: 事先無(wú)準(zhǔn)備 時(shí)間: 2025-3-29 21:04
An Overview of Government Revenuestc., and supports abstraction mechanisms analogous to functional abstraction. We show how this raises the abstraction level and modularity of pointcuts and present first steps toward an efficient implementation by means of a static analysis technique.作者: 盤(pán)旋 時(shí)間: 2025-3-30 03:37
Fluid Mechanics and Its Applicationse the . of these extensions; by which we mean we identify, exemplify and formalize their essential features. Our tool is a small core language, FC., which is a valid subset of the full C. language. Using this core language we are able to formalize both the type system and the operational semantics of the data access fragment of C..作者: corn732 時(shí)間: 2025-3-30 04:46
Loosely-Separated “Sister” Namespaces in Javan barrier between components. The main purpose of this paper is to provide a mechanism for relaxing the version barrier, while still allowing type-safe instance accesses between components with negligible performance penalties in regular execution.作者: Immunotherapy 時(shí)間: 2025-3-30 10:03
Aspect-Oriented Programming Beyond Dependency Injectionnent dependency. This paper points out this fact and proposes our aspect-oriented programming system named . to address this problem. GluonJ allows developers to explicitly construct and associate an aspect implementation with aspect targets.作者: 噱頭 時(shí)間: 2025-3-30 14:18
Evaluating Support for Features in Advanced Modularization Technologiese these properties to evaluate five technologies: AspectJ, Hyper/J, Jiazzi, Scala, and AHEAD. The results suggest an abstract model of feature composition that is technology-independent and that relates compositional reasoning with algebraic reasoning.作者: Integrate 時(shí)間: 2025-3-30 17:59
Expressive Pointcuts for Increased Modularitytc., and supports abstraction mechanisms analogous to functional abstraction. We show how this raises the abstraction level and modularity of pointcuts and present first steps toward an efficient implementation by means of a static analysis technique.作者: SKIFF 時(shí)間: 2025-3-30 22:03
The Essence of Data Access in C,e the . of these extensions; by which we mean we identify, exemplify and formalize their essential features. Our tool is a small core language, FC., which is a valid subset of the full C. language. Using this core language we are able to formalize both the type system and the operational semantics of the data access fragment of C..作者: Collected 時(shí)間: 2025-3-31 01:15 作者: 外觀 時(shí)間: 2025-3-31 05:20 作者: NIP 時(shí)間: 2025-3-31 09:47
s had positive, negative and neutral impact during the restructuring of the memory management subsystem of a virtual machine. Compared with best efforts in a hierarchical decomposition coupled with a preprocessor, aspects fared better than the original implementation in two out of four aspects, and no worse in the remaining two aspects.作者: Coeval 時(shí)間: 2025-3-31 15:39
type inference algorithm for JS. that is sound with respect to the type system. If the type inference algorithm succeeds, then the program is typeable. Therefore, programmers can benefit from the safety offered by the type system, without the need to write explicitly types in their programs.作者: 軍械庫(kù) 時(shí)間: 2025-3-31 17:38 作者: 克制 時(shí)間: 2025-3-31 23:45
Towards Type Inference for JavaScript type inference algorithm for JS. that is sound with respect to the type system. If the type inference algorithm succeeds, then the program is typeable. Therefore, programmers can benefit from the safety offered by the type system, without the need to write explicitly types in their programs.作者: Accessible 時(shí)間: 2025-4-1 03:41
First-Class Relationships in an Object-Oriented Languageships to have attributes and provide a novel notion of relationship inheritance. We formalize our language giving both the type system and operational semantics and prove certain key safety properties.作者: 王得到 時(shí)間: 2025-4-1 09:40
Prototypes with Multiple Dispatch: An Expressive and Dynamic Object Modelem. This paper introduces a novel object model, prototypes with multiple dispatch (PMD), which seamlessly unifies these two approaches. We give formal semantics for PMD, and discuss implementation and experience with PMD in the dynamically typed programming language Slate.
