作者: 高爾夫 時(shí)間: 2025-3-21 22:30
a single focus point for modifications for all applications in a network. Basing the overall architecture on dynamic service brokerage and discovery allows a seamless integration with existing infrastructures for both mobile and fixed computing. Following these ideas, we have built and evaluated a s作者: Exposure 時(shí)間: 2025-3-22 00:46
https://doi.org/10.1007/978-3-319-93070-1ion. The independent description of the dynamic semantics of aspects enables us to specify the correctness of a weaving algorithm. We formalize weaving as a translation from the aspect calculus to a class-based object calculus, and prove its soundness.作者: 社團(tuán) 時(shí)間: 2025-3-22 06:01 作者: BALK 時(shí)間: 2025-3-22 09:16
https://doi.org/10.1057/9780230250604into of FJ’s class hierarchy while objects and object types play the role of .’s label values and label types; (2) an intuitive “semantic” definition of the subtype relation, inherited from . and extended to objects; and (3) a natural encoding of XML documents and their schemas using a simple form o作者: 顯赫的人 時(shí)間: 2025-3-22 14:05 作者: 顯赫的人 時(shí)間: 2025-3-22 17:47 作者: 調(diào)色板 時(shí)間: 2025-3-23 00:17
Built-in Object Securityect on language semantics and implementations, even when it is regarded as an add-on. For instance, access-control techniques that depend on the contents of the execution stack give an observable role to the stack, affecting program equivalences. A language perspective can help in understanding such作者: verdict 時(shí)間: 2025-3-23 05:02 作者: ERUPT 時(shí)間: 2025-3-23 07:49
A Calculus of Untyped Aspect-Oriented Programsion. The independent description of the dynamic semantics of aspects enables us to specify the correctness of a weaving algorithm. We formalize weaving as a translation from the aspect calculus to a class-based object calculus, and prove its soundness.作者: 燈泡 時(shí)間: 2025-3-23 13:45 作者: 逗留 時(shí)間: 2025-3-23 16:03 作者: Project 時(shí)間: 2025-3-23 18:29
A Type System and Analysis for the Automatic Extraction and Enforcement of Design Informationtions mediated by objects in the heap. Previous approaches, in contrast, limited by an absence of aliasing information, have focused on control-flow interactions that take place at procedure call boundaries. We have implemented our type checker, analysis, and model extraction algorithms and used the作者: 攝取 時(shí)間: 2025-3-24 01:07 作者: 手銬 時(shí)間: 2025-3-24 05:55
low-level coding errors that could result in buffer overflows and other vulnerabilities. They also allow protection by encapsulation and the treatment of objects as unforgeable capabilities. In addition, they sometimes include rich security infrastructures, for example libraries for authentication 作者: sorbitol 時(shí)間: 2025-3-24 10:31 作者: Antecedent 時(shí)間: 2025-3-24 10:54 作者: jabber 時(shí)間: 2025-3-24 16:39 作者: 上漲 時(shí)間: 2025-3-24 20:38 作者: GEM 時(shí)間: 2025-3-25 01:16
n that adds a limited form of multi-dispatch to Java. While the Runabout is not as expressive as a general multiple dispatching facility, the Runabout can be significantly faster than existing implementations of multiple dispatch for Java, such as MultiJava. Unlike MultiJava, the Runabout does not r作者: 吸氣 時(shí)間: 2025-3-25 06:30
to-user object transfer. Mobile exchange (MX) makes mobile computing more effective because it enables certain kinds of collaborative work that would be impossible otherwise. MX allows disconnected peers to learn of recent unknown updates, and to apply these updates to locally-cached data. MX valida作者: Needlework 時(shí)間: 2025-3-25 08:58
https://doi.org/10.1057/9780230250604ular types have only been explored in special-purpose languages (e.g., ., ., and .) with type systems designed around regular types “from the ground up.” The goal of the . language is to bring regular types to a broad audience by offering them as a lightweight extension of a popular object-oriented 作者: myocardium 時(shí)間: 2025-3-25 13:21 作者: 恫嚇 時(shí)間: 2025-3-25 17:46 作者: Thyroiditis 時(shí)間: 2025-3-25 23:45
https://doi.org/10.1057/9780230289734edded computer systems enable users to obtain their own programs from parties other than the maker of the device. For instance, PDAs and some cell phones offer an open application programming interface that enables users to better customize devices to their needs and support an industry of independe作者: 幻影 時(shí)間: 2025-3-26 00:21 作者: 取之不竭 時(shí)間: 2025-3-26 06:18 作者: 影響 時(shí)間: 2025-3-26 09:44 作者: 木訥 時(shí)間: 2025-3-26 16:18 作者: 剛開(kāi)始 時(shí)間: 2025-3-26 17:02 作者: 善于 時(shí)間: 2025-3-26 22:29 作者: Dissonance 時(shí)間: 2025-3-27 01:28
Moral Hazard or Moral Imperative?,nguages. In this paper, we introduce XQuery from both a “programming language” and a “query language” perspective and consider how these features impact the implementation and the evolution of XQuery. We conclude with a discussion of features currently missing from XQuery, but that we expect users w作者: 影響深遠(yuǎn) 時(shí)間: 2025-3-27 08:53
https://doi.org/10.1007/978-3-030-20027-5ure and then uses the signature to generate a large number of terms. The tool evaluates these terms and based on the results of the evaluation, it proposes equations. Finally, the tool generalizes equations to axioms and eliminates many redundant axioms. Since our tool uses dynamic information, it i作者: 宣傳 時(shí)間: 2025-3-27 10:55 作者: 脆弱帶來(lái) 時(shí)間: 2025-3-27 14:52 作者: Talkative 時(shí)間: 2025-3-27 19:06
Modeling Crosscutting in Aspect-Oriented Mechanismsthree part characterization of what is required to support crosscutting structure: a common frame of reference that two (or more) programs can use to connect with each other and each provide their semantic contribution.作者: 無(wú)目標(biāo) 時(shí)間: 2025-3-28 01:40
Growing XQuerynguages. In this paper, we introduce XQuery from both a “programming language” and a “query language” perspective and consider how these features impact the implementation and the evolution of XQuery. We conclude with a discussion of features currently missing from XQuery, but that we expect users will soon demand.作者: 有幫助 時(shí)間: 2025-3-28 05:13
ECOOP 2003 - Object-Oriented Programming978-3-540-45070-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Conflagration 時(shí)間: 2025-3-28 07:20
0302-9743 Overview: 978-3-540-40531-3978-3-540-45070-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Blood-Clot 時(shí)間: 2025-3-28 10:48
https://doi.org/10.1007/978-3-663-15992-6three part characterization of what is required to support crosscutting structure: a common frame of reference that two (or more) programs can use to connect with each other and each provide their semantic contribution.作者: Medicare 時(shí)間: 2025-3-28 17:53 作者: FLAIL 時(shí)間: 2025-3-28 19:07
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/e/image/300291.jpg作者: 沙草紙 時(shí)間: 2025-3-29 02:08
Built-in Object Security low-level coding errors that could result in buffer overflows and other vulnerabilities. They also allow protection by encapsulation and the treatment of objects as unforgeable capabilities. In addition, they sometimes include rich security infrastructures, for example libraries for authentication 作者: 尾隨 時(shí)間: 2025-3-29 06:39
Modeling Crosscutting in Aspect-Oriented Mechanismsthree part characterization of what is required to support crosscutting structure: a common frame of reference that two (or more) programs can use to connect with each other and each provide their semantic contribution.作者: 教義 時(shí)間: 2025-3-29 08:15
Spontaneous Container Services to adapt components transparently (e.g., with persistence and transactions) would be of great advantage in mobile computing. In this paper, we generalize the container model into a new software architecture, the .. A spontaneous container allows to homogeneously extend all applications of a network作者: anthesis 時(shí)間: 2025-3-29 12:27
A Calculus of Untyped Aspect-Oriented Programsic semantics of aspects is typically specified by appealing to an underlying object-oriented language via a compiler transformation known as .. This treatment is unsatisfactory for several reasons. Firstly, this semantics violates basic modularity principles of object-oriented programming. Secondly,作者: 痛得哭了 時(shí)間: 2025-3-29 18:59
Language Support for Connector Abstractionsnnectors can be used to communicate across a distributed system, coordinate the activities of several objects, or adapt one object’s interface to the interface of another. Mainstream object-oriented languages, however, do not provide explicit support for connectors. As a result, connection code is i作者: 訓(xùn)誡 時(shí)間: 2025-3-29 23:07 作者: 思鄉(xiāng)病 時(shí)間: 2025-3-30 00:05 作者: 傲慢人 時(shí)間: 2025-3-30 08:04
Regular Object Typesular types have only been explored in special-purpose languages (e.g., ., ., and .) with type systems designed around regular types “from the ground up.” The goal of the . language is to bring regular types to a broad audience by offering them as a lightweight extension of a popular object-oriented 作者: CANON 時(shí)間: 2025-3-30 11:21 作者: 女上癮 時(shí)間: 2025-3-30 14:04 作者: 滔滔不絕地說(shuō) 時(shí)間: 2025-3-30 18:10
Open APIs for Embedded Securityedded computer systems enable users to obtain their own programs from parties other than the maker of the device. For instance, PDAs and some cell phones offer an open application programming interface that enables users to better customize devices to their needs and support an industry of independe作者: synchronous 時(shí)間: 2025-3-30 23:13
Traits: Composable Units of Behaviour inheritance, multiple inheritance, and mixin inheritance—all suffer from conceptual and practical problems. In the first part of this paper, we identify and illustrate these problems. We then present ., a simple compositional model for structuring object-oriented programs. A trait is essentially a 作者: Halfhearted 時(shí)間: 2025-3-31 01:32 作者: Medicaid 時(shí)間: 2025-3-31 08:04 作者: fibroblast 時(shí)間: 2025-3-31 11:28 作者: RALES 時(shí)間: 2025-3-31 15:42 作者: Gerontology 時(shí)間: 2025-3-31 20:10 作者: 智力高 時(shí)間: 2025-4-1 00:14
Growing XQuerynguages. In this paper, we introduce XQuery from both a “programming language” and a “query language” perspective and consider how these features impact the implementation and the evolution of XQuery. We conclude with a discussion of features currently missing from XQuery, but that we expect users w作者: nerve-sparing 時(shí)間: 2025-4-1 02:31 作者: 單色 時(shí)間: 2025-4-1 08:53 作者: GRE 時(shí)間: 2025-4-1 12:08
Walkabout Revisited: The Runabout can be significantly faster than existing implementations of multiple dispatch for Java, such as MultiJava. Unlike MultiJava, the Runabout does not require changes to the syntax and the compiler..In this paper we illustrate how to use the Runabout, detail its implementation and provide benchmarks comparing its performance with other approaches.
