中文
相关论文

相关论文: A Modularity Bug in Java 8

200 篇论文

The subtyping relation in Java exhibits self-similarity. The self-similarity in Java subtyping is interesting and intricate due to the existence of wildcard types and, accordingly, the existence of three subtyping rules for generic types:…

编程语言 · 计算机科学 2018-01-01 Moez A. AbdelGawad

Modular programming, which aims to construct the final program by integrating smaller, independent building blocks, has been regarded as a desirable practice in software development. However, with the rise of recent code generation agents…

计算与语言 · 计算机科学 2024-11-04 Deokyeong Kang , Ki Jung Seo , Taeuk Kim

In this paper, we study how object-oriented classes are used across thousands of software packages. We concentrate on "usage diversity'", defined as the different statically observable combinations of methods called on the same object. We…

软件工程 · 计算机科学 2018-07-06 Diego Mendez , Benoit Baudry , Martin Monperrus

Program correctness is one of the most difficult challenges in parallel programming. Message Passing Interface MPI is widely used in writing parallel applications. Since MPI is not a compiled language, the programmer will be enfaced with…

编程语言 · 计算机科学 2013-11-05 Alaa I. El-Nashar , Nakamura Masaki

C++ Modules come in C++20 to fix the long-standing build scalability problems in the language. They provide an io-efficient, on-disk representation capable to reduce build times and peak memory usage. ROOT employs the C++ modules technology…

分布式、并行与集群计算 · 计算机科学 2021-02-03 Vassil Vassilev , David Lange , Malik Shahzad Muzaffar , Mircho Rodozov , Oksana Shadura , Alexander Penev

Modularity is the fundamental aspect of modern software engineering, however many advanced modularity techniques requires prospective technologies as part of development and operation process. In this paper, we present Refinable Function,…

编程语言 · 计算机科学 2021-09-15 Hiun Kim

This paper presents an overview of the "Applied Parallel Computing" course taught to final year Software Engineering undergraduate students in Spring 2014 at NUST, Pakistan. The main objective of the course was to introduce practical…

计算机与社会 · 计算机科学 2014-10-03 Aamir Shafi , Aleem Akhtar , Ansar Javed , Bryan Carpenter

The fundamental unit of large scale software construction is the component. A component is the fundamental user interface object in Java. Everything you see on the display in a java application is a component. The ability to let users drag…

软件工程 · 计算机科学 2011-03-09 B. Jalender , A. Govardhan , P. Premchand , C. Kiranmai , G. Suresh Reddy

The main stretch in the paper is buffer overflow anomaly occurring in major source codes, designed in various programming language. It describes the various as to how to improve your code and increase its strength to withstand security…

密码学与安全 · 计算机科学 2012-08-17 Manas Gaur

The widespread adoption of AI chatbots in education will drastically change learning, making responsible deployment a critical concern. While large language models (LLMs) might have access to sources discussing insights from educational…

人工智能 · 计算机科学 2026-05-29 Julius Gabelmann , Felix Jahn , Kevin Baum , Sophie van Rossum , Emely Wuenscher , Timo P. Gros , Verena Wolf

Basic automated refactoring operations can be chained to perform complex structure transformations. This is useful for recovering the initial architecture of a source code which has been degenerated with successive evolutions during its…

软件工程 · 计算机科学 2013-09-13 Akram Ajouli , Julien Cohen , Jean-Claude Royer

Bugs in Scratch programs can spoil the fun and inhibit learning success. Many common bugs are the result of recurring patterns of bad code. In this paper we present a collection of common code patterns that typically hint at bugs in Scratch…

软件工程 · 计算机科学 2021-12-03 Christoph Frädrich , Florian Obermüller , Nina Körber , Ute Heuer , Gordon Fraser

Grammar convergence is a method that helps discovering relationships between different grammars of the same language or different language versions. The key element of the method is the operational, transformation-based representation of…

编程语言 · 计算机科学 2011-07-20 Ralf Lämmel , Vadim Zaytsev

Training a Neural Network (NN) with lots of parameters or intricate architectures creates undesired phenomena that complicate the optimization process. To address this issue we propose a first modular approach to NN design, wherein the NN…

机器学习 · 计算机科学 2019-02-26 David Castillo-Bolado , Cayetano Guerra-Artal , Mario Hernandez-Tejera

Compilation is an important process in developing configurable systems, such as Linux. However, identifying compilation errors in configurable systems is not straightforward because traditional compilers are not variability-aware. Previous…

软件工程 · 计算机科学 2024-07-31 Lucas Albuquerque , Rohit Gheyi , Márcio Ribeiro

A hallmark of object-oriented programming is the ability to perform computation through a set of interacting objects. A common manifestation of this style is the notion of a package, which groups a set of commonly used classes together. A…

软件工程 · 计算机科学 2014-01-21 Shahram Esmaeilsabzali , Rupak Majumdar , Thomas Wies , Damien Zufferey

Architectural modeling is an integral part of modern software development. In particular, diverse systems benefit from precise architectural models since similar components can often be reused between different system variants. However,…

软件工程 · 计算机科学 2014-09-09 Arne Haber , Holger Rendel , Bernhard Rumpe , Ina Schaefer

Programs are a kind of communication to both computers and people, hence as students are trained to write programs they need to learn to write well-designed, readable code rather than code that simply functions correctly. The difficulty in…

计算机与社会 · 计算机科学 2022-11-08 J. Walker Orr

In this paper, a class of smoothing modulus-based iterative method was presented for solving implicit complementarity problems. The main idea was to transform the implicit complementarity problem into an equivalent implicit fixed-point…

数值分析 · 数学 2023-06-09 Cong Guo , Chenliang Li , Tao Luo

We describe a practical implementation of the modular eballot system proposed in ref.[1]

密码学与安全 · 计算机科学 2007-05-23 Andrea Pasquinucci