检索结果-内蒙古大学图书馆

1974 ACM SIGPLAN Symposium on Very High Level Languages

作者： Lee, R.C.T. Chang, S.K. Division of Computer Research and Technology National Institutes of Health BethesdaMD20014 United States IBM Yorktown HeightsNY10958 United States

When a computer is used to synthesize a program, there is usually too much information for it to handle. In this paper, we propose the use of stepwise refinement technique, based upon the concept of structured program... 详细信息

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

automatic Sampler Discovery via Probabilistic programming and Approximate Bayesian Computation 9th

Automatic Sampler Discovery via Probabilistic Programming an...

引用

9th International Conference on Artificial General Intelligence (AGI) Held as Part of Joint Multi-Conference on Human-Level Intelligence (HLAI)

作者： Perov, Yura Wood, Frank Univ Oxford Dept Engn Sci Oxford England

ISBN: (纸本)9783319416496;9783319416489

We describe an approach to automatic discovery of samplers in the form of human interpretable probabilistic programs. Specifically, we learn the procedure code of samplers for one-dimensional distributions. We formulate a Bayesian approach to this problem by specifying an adaptor grammar prior over probabilistic program code, and use approximate Bayesian computation to learn a program whose execution generates samples that match observed data or analytical characteristics of a distribution of interest. In our experiments we leverage the probabilistic programming system Anglican to perform Markov chain Monte Carlo sampling over the space of programs. Our results are competive relative to state-of-the-art genetic programming methods and demonstrate that we can learn approximate and even exact samplers.

关键词： Probabilistic programming automatic programming Program synthesis Bayesian inference automatic modelling

来源：评论

学校读者我要写书评

暂无评论

An Analysis of the Impact of automatically-Generated Patches on Coding Standard Violation.

Computer Software

引用

Computer Software 2025年第1期42卷 54-68页

作者： Noguchi, Yuki Ihara, Akinori Ohira, Masao Kimura, Yuta Graduate School of Systems Engineering Wakayama University Japan

In recent years, there has been a number of studies on automatic program repair (APR) techniques to reduce the burden on developers in fixing defects. The quality of patches generated by APR techniques is verified by passing test cases to determine if the patches are correct. However, coding standards after the patches are applied have not been taken into account in designing APR techniques. In this paper, we analyze the impact of automatically-generated patches (APR patches) on coding standard violations. As a result of analyzing three OSS projects, we found that APR techniques increased the number of coding standard violations by about 40% regardless of the types of coding standards (RQ1). We also found that most of coding standard violations generated by the APR techniques were minor but about 9% to 10% of the violations had an impact on the readability of source code(RQ2). Forthermore, we found that APR techniques that generate patches in a similar manner tend to generate similar cording standard violations(RQ3). © 2025 Japan Society for Software Science and Technology. All rights reserved.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

A cultural evolutionary programming approach to automatic analytical modeling of electrochemical phenomena through impedance spectroscopy

引用

MEASUREMENT SCIENCE AND TECHNOLOGY 2009年第6期20卷 065601 (10-065601 (10页

作者： Arpaia, Pasquale Univ Sannio Dipartimento Ingn Grp Magnets Superconductors & Cryostats 30 03 045 European Lab Nucl ResDept TechnolCERN CH-1211 Geneva 23 Switzerland

An approach to automatic analytical modeling of electrochemical impedance spectroscopy data by evolutionary programming based on cultural algorithms is proposed. A solution-search strategy based on a cultural mechanism is exploited for defining the equivalent-circuit model automatically: information on search advance is transmitted to all potential solutions, rather than only to a small inheriting subset, such as in a traditional genetic approach. Moreover, with respect to the state of the art, also specific information related to constraints on the application physics knowledge is transferred. Experimental results of the proposed approach implementation in impedance spectroscopy for general-purpose electrochemical circuit analysis and for corrosion monitoring and diagnosing are presented.

关键词： impedance measurements circuit modeling automatic programming genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

CoSIL: Software Issue Localization via LLM-Driven Code Repository Graph Searching

arXiv

引用

arXiv 2025年

作者： Jiang, Zhonghao Ren, Xiaoxue Yan, Meng Jiang, Wei Li, Yong Liu, Zhongxin The State Key Laboratory of Blockchain and Data Security Zhejiang University Hangzhou China Institute of Blockchain and Data Security Hangzhou China School of Big Data and Software Engineering Chongqing University Chongqing China Ant Group Hangzhou China

Large language models (LLMs) have significantly advanced autonomous software engineering, leading to a growing number of software engineering agents that assist developers in automatic program repair. Issue localization forms the basis for accurate patch generation. However, because of limitations caused by the context window length of LLMs, existing issue localization methods face challenges in balancing concise yet effective contexts and adequately comprehensive search spaces. In this paper, we introduce CoSIL, an LLM-driven, simple yet powerful function-level issue localization method without training or indexing. CoSIL reduces the search space through module call graphs, iteratively searches the function call graph to obtain relevant contexts, and uses context pruning to control the search direction and manage contexts effectively. Importantly, the call graph is dynamically constructed by the LLM during search, eliminating the need for pre-parsing. Experiment results demonstrate that CoSIL achieves a Top-1 localization success rate of 43% and 44.6% on SWE-bench Lite and SWE-bench Verified, using Qwen2.5-Coder-32B, respectively, outperforming existing methods by 8.6%–98.2%. When CoSIL is applied to guide the patch generation stage, the resolved rate further improves by 9.3%–31.5%. Copyright © 2025, The Authors. All rights reserved.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

Multilanguage programming: an automatic-type-mapping approach

Multilanguage programming: an automatic-type-mapping approac...

引用

IEEE Annual International Computer Software and Applications Conference (COMPSAC)

作者： A.J. Sanchez-Ruiz E.P. Glinert Computer Science Department Rensselaer Polytechnic Institute Troy NY USA

The data type correspondence problem arises when one tries to interconnect, within a single program, modules written in different languages and therefore within the framework of different type systems. An interconnection model is proposed which hides details such as interlanguage data type mappings and low level communications, which are irrelevant or confusing to most programmers. Using this model, the authors develop an automated solution to the problem of finding, for a given type in a given programming language, the corresponding type in another programming language. They compare this approach with others which have been proposed in the literature, and discuss a prototype implementation in detail.< >

关键词： automatic programming Computer languages programming profession LAN interconnection Data structures Contracts Computer science Software prototyping Software reusability Software engineering

来源：评论

学校读者我要写书评

暂无评论

Analyzing self-reflection by Computer Science students to identify bad study habits: Self-reflection performed by students of programming courses on the study habits and skills acquired through b-learning supported by an automatic judge

Analyzing self-reflection by Computer Science students to id...

引用

IEEE Education Engineering (EDUCON)

作者： Filomena Sustelo Pedro Guerreiro Universidade do Algarve Faro Portugal

ISBN: (纸本)9781424465682;9781424465712

We present some preliminary results and the main conclusions of a study that we conducted at the University of Algarve, for one of the programming courses in the first year of the Computer Science degree at the University of Algarve. We analyzed the self-reflections made by the students about their study habits and about the skills they acquired in the course. This particular course uses a methodology of blended-learning supported by an automatic judge. The research data were obtained through questionnaires that were distributed and collected during the period of study between the end of classes and the exam. We took into account data from other instruments related to previous work carried out by students, in this course and in previous courses, as well as the performance of the students. We intended to ascertain to what extent the planning, motivation, previous study or knowledge about the type of examination influenced final results. The results suggest measures to be implemented in future editions of the course.

关键词： Performance analysis Computer science programming profession automatic programming Data structures Educational programs Writing Libraries Taxonomy Instruments

来源：评论

学校读者我要写书评

暂无评论

automatic testing system based on process programming for telecommunication software

Automatic testing system based on process programming for te...

引用

Proceedings of GLOBECOM '93. IEEE Global Telecommunications Conference

作者： S. Tachimoto S. Shiraishi NTT Communication Switching Laboratories

It is necessary to improve the productivity of telecommunication software in order to provide new services quickly. This paper proposes an automatic testing system based on process programming to support the development of telecommunication software. This is achieved by using a process-describing language to interpret the testing process that is formally described as a test scenario. By using automatic testing, the productivity can be improved, and the testing period can be reduced. Furthermore, describing the testing process formally promotes process reuse.< >

关键词： automatic testing automatic programming Software testing Productivity Communication system software Humans Computer architecture Communication switching Laboratories Telecommunication services

来源：评论

学校读者我要写书评

暂无评论

Preventive maintenance planning of railway infrastructure by reduced variable neighborhood programming

引用

OPTIMIZATION LETTERS 2022年第1期16卷 237-253页

作者： Elleuch, Souhir Jarboui, Bassem Mladenovic, Nenad Qassim Univ Dept Management Syst & Prod Management Coll Business & Econ Buraydah Saudi Arabia Higher Coll Technol Abu Dhabi U Arab Emirates Khalifa Univ Res Ctr Digital Supply Chain & Operat Management Dept Ind & Syst Engn Abu Dhabi U Arab Emirates

Nowadays more and more complex railway systems can operate efficiently only if we have tools for planning their maintenance. Train accidents are mainly caused by infrastructure problems, or more specifically by track geometry *** this paper, we present a support decision system for forecasting the deterioration of track geometry. Two types of defects can be identified for each railway track segment. If a defect belongs to the first type, it must be repaired immediately;otherwise, the defect can be fixed after a specific time period. For resolving this problem, we first decompose the problem into two stages: prediction and classification. Both phases contain a learning phase and a testing phase. The solution technique for both stages are based on automatic programming field and its recently proposed heuristic, called variable neighborhood programming. Our new method is tested on real world problems. The results show that the proposed approach is a good and reliable tool for the preventive maintenance planning of the railway infrastructure.

关键词： Railway infrastructure maintenance Machine learning automatic programming Variable neighborhood programming

来源：评论

学校读者我要写书评

暂无评论

automatic Modeling of Complex Functions with Clonal Selection-Based Gene Expression programming

Automatic Modeling of Complex Functions with Clonal Selectio...

引用

International Conference on Natural Computation (ICNC)

作者： Zhaohui Gan Zhenkun Yang Gaobin Li Min Jiang Department of Information Science & Engineering Wuhan University of Science and Engineering Wuhan China Department of Computer Science Wuhan University of Science and Engineering Wuhan China

Gene expression programming (GEP) is a powerful evolutionary algorithm derived from genetic algorithm and genetic programming for system modeling and knowledge discovery. However, when dealing with complex problems, GEP shows quite slow convergence speed, it also probably encounters premature convergence. This paper proposed a clonal selection- based gene expression programming (CS-GEP), which combines the advantages of clonal selection algorithm (CSA) and GEP, overcoming some drawbacks of GEP. CS-GEP is applied into function modeling experiments, the results show that CS-GEP has faster convergence speed and higher modeling precision than that of GEP.

关键词： Gene expression automatic programming Functional programming Genetic programming Information science Genetic engineering Knowledge engineering Power engineering and energy Evolutionary computation Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：