作者: graphy 時間: 2025-3-21 20:24
https://doi.org/10.1007/978-1-4615-2357-4arantees so that Real-Time concerns can be completely separated from applications’ base code. Adopting the integrated Scoped Types and Aspects approach can significantly improve both the quality and performance of a real-time Java systems, resulting in simpler systems that are reliable, efficient, a作者: 庇護 時間: 2025-3-22 03:01 作者: Cougar 時間: 2025-3-22 07:37 作者: 委托 時間: 2025-3-22 10:58 作者: sparse 時間: 2025-3-22 14:07
Automatic Prefetching by Traversal Profiling in Object Persistence Architecturesstrate that . improves performance of traversals in the OO7 benchmark and can automatically predict prefetches that are equivalent to hand-coded queries, while supporting more modular program designs.作者: sparse 時間: 2025-3-22 17:02 作者: 換話題 時間: 2025-3-22 21:30
Transparently Reconciling Transactions with Locking for Java Synchronizationns can be reconciled transparently within Java’s monitor abstraction. We have implemented monitors for Java that execute using locks when contention is low and switch over to transactions when concurrent attempts to enter the monitor are detected. We formally argue the correctness of our solution wi作者: Bumble 時間: 2025-3-23 04:13
Responders: Language Support for Interactive Applicationscompiler for Java. We illustrate ResponderJ’s utility in practice through two case studies: the implementation of a GUI supporting drag-and-drop functionality, and a re-implementation of the control logic of JDOM, a Java library for parsing and manipulating XML files.作者: 導(dǎo)師 時間: 2025-3-23 08:39
A Semantic Analysis of C++ Templatesn. We validate our semantics by proving type safety and verify the proof with the Isabelle proof assistant. Our formalization reveals two interesting issues in the C++ Standard: the first is a problem with member instantiation and the second concerns the generation of unnecessary template specializa作者: 意見一致 時間: 2025-3-23 13:27 作者: 粗魯性質(zhì) 時間: 2025-3-23 17:48
Futures of Science and Technology in SocietyIt combines two previous proposals, namely the use of logic programming and database systems..As the query language we use ., which was originally introduced in the theory of databases. That provides just the right level of expressiveness; in particular recursion is indispensable for source code que作者: 激怒 時間: 2025-3-23 18:07 作者: BYRE 時間: 2025-3-24 00:35 作者: ANTH 時間: 2025-3-24 02:44 作者: abstemious 時間: 2025-3-24 10:07
t-Norms, t-Conorms and Negations, systems impose fixed ownership and an inflexible access policy. This paper proposes a novel type system which generalizes ownership types by separating object accessibility and reference capability. With the ability to hide owners, it provides a more flexible and useful model of object ownership.作者: galley 時間: 2025-3-24 12:12 作者: 群居動物 時間: 2025-3-24 15:52
Matrix Games with Fuzzy Payoffs,ations performed while the lock is held, so that the lock’s guarded operations can never be interleaved with operations of other threads that are guarded by the same lock. This way both . and . properties of a thread’s guarded operations are enforced. Recent proposals recognize that these properties作者: 惡臭 時間: 2025-3-24 20:57 作者: Aboveboard 時間: 2025-3-25 01:00
Fuzzy Stochastic Renewal Processest represent the essential nature of a situation, and to ignore irrelevant details. Objects are defined by their essential behavior, not by their physical representation as data. The basic Object-Oriented paradigm of organizing programs as active objects and message passing has now been accepted by t作者: linguistics 時間: 2025-3-25 07:01
Laurent Foulloy,Sylvie GalichetWe introduce the notion of data ring that can be seen as a network version of a database or a content warehouse. A main goal is to achieve better performance for content management without requiring the acquisition of explicit control over information resources. In this paper, we discuss the main tr作者: URN 時間: 2025-3-25 11:32
A New Similarity Measure Between Vague Setss together such components is often difficult to write because it is exposed to many complicated event-handling details. This paper introduces the SuperGlue language where components are assembled by connecting their ., which declaratively represent state as time-varying values. To support the const作者: 原告 時間: 2025-3-25 13:34 作者: epidermis 時間: 2025-3-25 17:33 作者: GRE 時間: 2025-3-25 23:06
Supervised Learning for Classificationvariant and contravariant type parameters on generic types. To support more widespread application of variance we also generalize the existing constraint mechanism with arbitrary subtype assertions on classes and methods. This extension is useful even in the absence of variance, and subsumes equatio作者: 出沒 時間: 2025-3-26 01:02
Taolue Chen,Tingting Han,Jian Luava). But because C++ supports template specialization, their . is quite different from that of parameterized classes. Template specialization provides a Turing-complete sub-language within C++ that executes at compile-time. Programmers put this power to many uses. For example, templates are a popul作者: 猛烈責(zé)罵 時間: 2025-3-26 04:56
https://doi.org/10.1007/11785477C# programming; C++ programming; Java; Java programming; Scala; Session; XML; abstraction; aspect-oriented p作者: 他日關(guān)稅重重 時間: 2025-3-26 11:24
978-3-540-35726-1Springer-Verlag Berlin Heidelberg 2006作者: 透明 時間: 2025-3-26 14:25 作者: 規(guī)章 時間: 2025-3-26 16:52
On Ownership and Accessibility systems impose fixed ownership and an inflexible access policy. This paper proposes a novel type system which generalizes ownership types by separating object accessibility and reference capability. With the ability to hide owners, it provides a more flexible and useful model of object ownership.作者: FLIT 時間: 2025-3-27 00:00 作者: 小步走路 時間: 2025-3-27 03:08
Introduction and Historical Remarks,ECOOP’87 marks the point in time where object-oriented programming started to become mainstream in research as well as in industry. In this paper we will reflect upon the contributions of object-orientation since then and discuss what we consider important challenges for the future.作者: BLANK 時間: 2025-3-27 09:13 作者: 格子架 時間: 2025-3-27 12:15 作者: 搜集 時間: 2025-3-27 16:43 作者: obtuse 時間: 2025-3-27 21:00
Early Concurrent/Mobile ObjectsThis essay just sketches my early investigations on the concept of objects which models concurrent activities of mobile entities that interact with each other in space.作者: 變形 時間: 2025-3-28 00:38 作者: Psa617 時間: 2025-3-28 02:39
0302-9743 Overview: 978-3-540-35726-1978-3-540-35727-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 尊敬 時間: 2025-3-28 10:00 作者: chisel 時間: 2025-3-28 10:43
t-Norms, t-Conorms and Negations, systems impose fixed ownership and an inflexible access policy. This paper proposes a novel type system which generalizes ownership types by separating object accessibility and reference capability. With the ability to hide owners, it provides a more flexible and useful model of object ownership.作者: 良心 時間: 2025-3-28 16:28
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/e/image/300294.jpg作者: etiquette 時間: 2025-3-28 21:10 作者: 龍卷風(fēng) 時間: 2025-3-29 02:15
, Scalable Source Code Queries with DatalogIt combines two previous proposals, namely the use of logic programming and database systems..As the query language we use ., which was originally introduced in the theory of databases. That provides just the right level of expressiveness; in particular recursion is indispensable for source code que作者: 遵循的規(guī)范 時間: 2025-3-29 05:00 作者: 消散 時間: 2025-3-29 08:21
Automatic Prefetching by Traversal Profiling in Object Persistence Architecturesn . associated objects as part of the query result. While specifying prefetch manually in a query can significantly improve performance, correct prefetch specifications are difficult to determine and maintain, especially in modular programs. Incorrect prefetching is difficult to detect, because pref作者: MOTIF 時間: 2025-3-29 15:25
The Runtime Structure of Object Ownershipnd large caches. Discovering this is quite challenging. Manual browsing and flat summaries do not scale to complex graphs with 20 million objects. Context is crucial to understanding responsibility and inefficient object connectivity..We summarize memory footprint with help from the dominator relati作者: GUILT 時間: 2025-3-29 18:03
On Ownership and Accessibility systems impose fixed ownership and an inflexible access policy. This paper proposes a novel type system which generalizes ownership types by separating object accessibility and reference capability. With the ability to hide owners, it provides a more flexible and useful model of object ownership.作者: aqueduct 時間: 2025-3-29 21:10 作者: Flatter 時間: 2025-3-30 00:21
Transparently Reconciling Transactions with Locking for Java Synchronizationations performed while the lock is held, so that the lock’s guarded operations can never be interleaved with operations of other threads that are guarded by the same lock. This way both . and . properties of a thread’s guarded operations are enforced. Recent proposals recognize that these properties作者: 騷動 時間: 2025-3-30 07:28
Peak Objectsedium-sized systems, including a widely-used text editor, CASE and VLSI tools. Stated simply, I wanted flexible connections between providers and consumers of behavior in my systems. For example, in the text editor anything could produce text (files, in-memory buffers, selections, output of formatte作者: 符合國情 時間: 2025-3-30 08:12
The Continuing Quest for Abstractiont represent the essential nature of a situation, and to ignore irrelevant details. Objects are defined by their essential behavior, not by their physical representation as data. The basic Object-Oriented paradigm of organizing programs as active objects and message passing has now been accepted by t作者: 規(guī)范就好 時間: 2025-3-30 12:51
Turning the Network into a Database with Active XMLWe introduce the notion of data ring that can be seen as a network version of a database or a content warehouse. A main goal is to achieve better performance for content management without requiring the acquisition of explicit control over information resources. In this paper, we discuss the main tr作者: Crayon 時間: 2025-3-30 19:59
SuperGlue: Component Programming with Object-Oriented Signalss together such components is often difficult to write because it is exposed to many complicated event-handling details. This paper introduces the SuperGlue language where components are assembled by connecting their ., which declaratively represent state as time-varying values. To support the const作者: 假裝是我 時間: 2025-3-31 00:39 作者: Landlocked 時間: 2025-3-31 01:23
Responders: Language Support for Interactive Applicationsming language support for interactive programming, via the concept of a .. Responders include a novel control construct that allows the interactive logic of an application to be naturally and modularly expressed. In contrast, the standard approaches to interactive programming, based on the event-dri作者: Neolithic 時間: 2025-3-31 06:40 作者: NEEDY 時間: 2025-3-31 09:25
A Semantic Analysis of C++ Templatesava). But because C++ supports template specialization, their . is quite different from that of parameterized classes. Template specialization provides a Turing-complete sub-language within C++ that executes at compile-time. Programmers put this power to many uses. For example, templates are a popul作者: consolidate 時間: 2025-3-31 16:49
Laurent Foulloy,Sylvie Galichetormance for content management without requiring the acquisition of explicit control over information resources. In this paper, we discuss the main traits of data rings and argue that Active XML provides an appropriate basis for such systems.作者: Saline 時間: 2025-3-31 19:03
Efficient Object Querying for Javatracks all objects in a program using AspectJ and allows first-class queries over them in the program. Our experimental findings indicate that such queries can be significantly faster than common programming idioms and within reach of hand optimised queries.作者: GUISE 時間: 2025-4-1 00:24
Peak Objectsrs, etc) and be connected to any consumer of text. Object-oriented programming solved this problem, and many others; it also provided a clearer way to . the problems. For me, this thinking was very pragmatic: object solved practical programming problems cleanly.作者: 元音 時間: 2025-4-1 04:55 作者: 安心地散步 時間: 2025-4-1 07:31
Ambient-Oriented Programming in AmbientTalked AmbientTalk, that meets the characteristics is presented. It is validated by implementing a collection of high level language features that are used in the implementation of an ambient messenger application.作者: 痛苦一生 時間: 2025-4-1 11:55 作者: 不理會 時間: 2025-4-1 14:32
A New Similarity Measure Between Vague Setsons. With SuperGlue’s combination of signals and objects, programmers can build large interactive programs with substantially less glue code when compared to conventional approaches. For example, the SuperGlue implementation of an email client is around half the size of an equivalent Java implementation.作者: 盡責(zé) 時間: 2025-4-1 18:41
Supervised Learning for Classification, and describe and prove the correctness of algorithms for constraint closure and subtyping. Finally, we formalize and prove a type safety theorem for a featherweight language with variant classes and generalized constraints.作者: 倔強一點 時間: 2025-4-2 00:41
