作者: Nmda-Receptor 時間: 2025-3-21 23:19
An Empirical Study of Object Protocols in the Wild calls on an object. However, little is understood about object protocols in practice. This paper describes an empirical study of object protocols in some popular open-source Java programs. In our study, we have attempted to determine how often object protocols are defined, and how often they are us作者: concise 時間: 2025-3-22 02:24
The Beauty and the Beast: Separating Design from Algorithm is inspired by the notion of an algorithm and its asymptotic complexity. However, we do not propose a metric for measuring asymptotic complexity (efficiency). Instead, we use the one aspect of algorithms that drives up their asymptotic complexity – repetition, in the form of loops and recursions – 作者: 品嘗你的人 時間: 2025-3-22 06:44 作者: 羅盤 時間: 2025-3-22 09:35 作者: 吹牛大王 時間: 2025-3-22 15:16 作者: 吹牛大王 時間: 2025-3-22 17:28 作者: PAC 時間: 2025-3-22 22:39 作者: 一致性 時間: 2025-3-23 03:02
Worlds: Controlling the Scope of Side Effectsments are executed. These changes, or side effects, are visible globally: when one part of the program modifies an object, every other part that holds a reference to the same object (either directly or indirectly) is also affected. This paper introduces ., a language construct that reifies the notio作者: Paradox 時間: 2025-3-23 07:26 作者: 激怒某人 時間: 2025-3-23 10:48
Expressiveness, Simplicity, and Usersuccessful. Oftentimes it is the simplest ideas that seem to get the most traction in the larger research or user community and therefore have the greatest impact. Ideas I might consider the most sophisticated and advanced can be challenging to communicate, leading to less influence and adoption. Thi作者: CLAIM 時間: 2025-3-23 15:08
CDDiff: Semantic Differencing for Class Diagrams As models, programs, and systems evolve over time, during the development lifecycle and beyond it, effective change management is a major challenge in software development, which has attracted much research efforts in recent years..In this paper we present ., a semantic diff operator for CDs. Unlik作者: Affectation 時間: 2025-3-23 21:13
A Refactoring Constraint Language and Its Application to Eiffelrefactorings in a completely declarative way. We present a compiler that transforms specifications in our language to plug-ins for an IDE that, together with an accompanying framework providing the necessary infrastructure, implement the specified refactoring tools. We evaluate our approach by prese作者: Congregate 時間: 2025-3-23 23:01
Modal Object Diagramse specific possible snapshots of the system at hand. In this paper we introduce ... (MODs), which extend the classical OD language with positive/negative and example/invariant modalities. The extended language allows the designer to specify not only positive example models but also negative examples作者: 兵團 時間: 2025-3-24 05:05 作者: Needlework 時間: 2025-3-24 08:30
Tunable Static Inference for Generic Universe Typeson overhead of ownership type systems hampers their widespread application. This paper addresses this issue by presenting a tunable static type inference for Generic Universe Types. In contrast to classical type systems, ownership types have no single most general typing. Our inference chooses among作者: 只有 時間: 2025-3-24 12:16 作者: 偶像 時間: 2025-3-24 16:10
Patterns of Memory Inefficiencycult to find the low hanging fruit. Techniques relying on dominance or allocation tracking fail to account for sharing, and overwhelm users with small details. More fundamentally, a programmer still needs to know whether high levels of consumption are . high..We present a solution that discovers a s作者: Manifest 時間: 2025-3-24 20:07 作者: Intercept 時間: 2025-3-25 01:02 作者: pancreas 時間: 2025-3-25 07:19
Mira MeziniFast-track conference proceedings.State-of-the-art research.Up-to-date results作者: 允許 時間: 2025-3-25 08:36 作者: 不溶解 時間: 2025-3-25 12:50 作者: Ornament 時間: 2025-3-25 19:51
Seltener angewandte Metallsalze, calls on an object. However, little is understood about object protocols in practice. This paper describes an empirical study of object protocols in some popular open-source Java programs. In our study, we have attempted to determine how often object protocols are defined, and how often they are us作者: florid 時間: 2025-3-25 22:50
Textilchemische Untersuchungen, is inspired by the notion of an algorithm and its asymptotic complexity. However, we do not propose a metric for measuring asymptotic complexity (efficiency). Instead, we use the one aspect of algorithms that drives up their asymptotic complexity – repetition, in the form of loops and recursions – 作者: 入會 時間: 2025-3-26 02:04 作者: 小卷發(fā) 時間: 2025-3-26 08:15
Aluminium- oder Tonerdeverbindungen,types they are working with. We propose an approach that leverages the structural relationships between API elements to make API methods or types not accessible from a given API type more discoverable. We implemented our approach as an extension to the content assist feature of the Eclipse IDE, in a作者: 到婚嫁年齡 時間: 2025-3-26 10:58 作者: 駭人 時間: 2025-3-26 15:31 作者: Graduated 時間: 2025-3-26 17:48
The Provisional Eternity of Friendshipfinite answer. We submit that the common understanding of modularity, and in particular its notion of information hiding, is deeply rooted in classical logic. We analyze how classical modularity, based on classical logic, fails to address the needs of developers of large software systems, and encour作者: reptile 時間: 2025-3-26 21:15 作者: 桶去微染 時間: 2025-3-27 02:20 作者: landmark 時間: 2025-3-27 06:36
uccessful. Oftentimes it is the simplest ideas that seem to get the most traction in the larger research or user community and therefore have the greatest impact. Ideas I might consider the most sophisticated and advanced can be challenging to communicate, leading to less influence and adoption. Thi作者: OVER 時間: 2025-3-27 10:09
Rainer-Olaf Schultze,Tanja Zinterer As models, programs, and systems evolve over time, during the development lifecycle and beyond it, effective change management is a major challenge in software development, which has attracted much research efforts in recent years..In this paper we present ., a semantic diff operator for CDs. Unlik作者: 不要不誠實 時間: 2025-3-27 17:00
Theorie des f?derativen Staatesrefactorings in a completely declarative way. We present a compiler that transforms specifications in our language to plug-ins for an IDE that, together with an accompanying framework providing the necessary infrastructure, implement the specified refactoring tools. We evaluate our approach by prese作者: 慢慢沖刷 時間: 2025-3-27 19:09
Die Regierungssysteme in den L?nderne specific possible snapshots of the system at hand. In this paper we introduce ... (MODs), which extend the classical OD language with positive/negative and example/invariant modalities. The extended language allows the designer to specify not only positive example models but also negative examples作者: 拖債 時間: 2025-3-28 00:59
Systematische und historische Grundlagen,the user fill in the details with sequential code. However, such frameworks can produce incorrect behavior if they are not carefully used, e.g., if a user-supplied function performs an unsynchronized access to a global variable. We develop novel techniques that can prevent such errors. Building on a作者: 含沙射影 時間: 2025-3-28 03:21
on overhead of ownership type systems hampers their widespread application. This paper addresses this issue by presenting a tunable static type inference for Generic Universe Types. In contrast to classical type systems, ownership types have no single most general typing. Our inference chooses among作者: 地牢 時間: 2025-3-28 07:17 作者: Airtight 時間: 2025-3-28 12:21 作者: 剝皮 時間: 2025-3-28 17:33
Julia von Blumenthal,Stephan Br?chlerto be created on the heap, possibly used and then abandoned to be collected by the garbage collector. Excessive generation of temporary objects is termed “object churn” and is a form of software bloat that often leads to performance and memory problems. To mitigate this problem, many compiler optimi作者: 松雞 時間: 2025-3-28 19:33 作者: 宇宙你 時間: 2025-3-29 02:51
https://doi.org/10.1007/978-3-642-22655-7Java; interoperability; multi-language system; open-source; type checking作者: Ptsd429 時間: 2025-3-29 06:03 作者: fructose 時間: 2025-3-29 10:25
Seltener angewandte Metallsalze,oximately 7.2% of all types defined protocols, while 13% of classes were clients of types defining protocols. (For comparison, 2.5% of the types in the Java library define type parameters using Java Generics.) This suggests that protocol checking tools are widely applicable.作者: Scintillations 時間: 2025-3-29 15:27
An Empirical Study of Object Protocols in the Wildoximately 7.2% of all types defined protocols, while 13% of classes were clients of types defining protocols. (For comparison, 2.5% of the types in the Java library define type parameters using Java Generics.) This suggests that protocol checking tools are widely applicable.作者: Gratuitous 時間: 2025-3-29 18:39
Mining Evolution of Object Usage, revealing code that is in need of update: “Your check for . is now superseded by ..” In an evaluation of seven different versions of three open source projects, our LAMARCK tool was able to detect existing code issues with a precision of 33%–64% and to prevent such issues with a precision of 90%–100%.作者: 不合 時間: 2025-3-29 23:33 作者: neurologist 時間: 2025-3-30 03:17 作者: 機密 時間: 2025-3-30 04:55
s effect is particularly pronounced when seeking to gain adoption among actual users, as opposed to other researchers. In this talk I will discuss examples of the tradeoffs among sophistication, simplicity, and impact in my previous research work in academia and in my current work at Google.作者: Initiative 時間: 2025-3-30 08:57
Theorie des f?derativen Staatesnting specifications of three different refactorings for the Eiffel programming language, and by applying the resulting refactoring tools to several sample programs. Outcome suggests that our approach is indeed viable.作者: Hirsutism 時間: 2025-3-30 12:45
Textilchemische Untersuchungen,ent a metric, ., to quantify the fraction of the program that is algorithmically essential. We evaluate our approach by studying the algorithmic essence of a large corpus of software system, and by comparing the measured essence to an intuitive view of design “overhead”.作者: 他去就結(jié)束 時間: 2025-3-30 18:35
5 MSLOC. We also undertook a study of the typographical features of identifier names (single case, use of digits, .) per object-oriented construct (class names, method names, .), thus providing an insight into naming conventions in industrial-scale object-oriented code. Our tokenisation tool and datasets are publicly available.作者: mechanical 時間: 2025-3-30 20:57
,Spanien: unechter F?deralismus,ty/field lookup in the presence of worlds. We also describe an efficient implementation strategy (used in our Squeak-based prototype), and illustrate the practical benefits of worlds with two case studies.作者: Custodian 時間: 2025-3-31 04:07 作者: 喪失 時間: 2025-3-31 08:06
Systematische und historische Grundlagen, while retaining soundness. We present a formal semantics and soundness properties for the language. Finally, we describe an evaluation showing that our technique can express three parallel frameworks and three realistic parallel algorithms using those frameworks.作者: CEDE 時間: 2025-3-31 11:55 作者: 波動 時間: 2025-3-31 15:28 作者: 運動的我 時間: 2025-3-31 19:38
nt results on 34 applications, and case studies for nine of these. We demonstrate that eleven patterns cover most memory problems, and that users need inspect only a small number of pattern occurrences to reap large benefits.作者: Arboreal 時間: 2025-4-1 00:54 作者: 搬運工 時間: 2025-4-1 05:26
