Results 331 to 340 of about 37,485,858 (384)
Some of the next articles are maybe not open access.
Incremental whole-program analysis in Datalog with lattices
ACM-SIGPLAN Symposium on Programming Language Design and Implementation, 2021Incremental static analyses provide up-to-date analysis results in time proportional to the size of a code change, not the entire code base. This promises fast feedback to programmers in IDEs and when checking in commits.
Tamás Szabó +2 more
semanticscholar +1 more source
CPC: Automatically Classifying and Propagating Natural Language Comments via Program Analysis
International Conference on Software Engineering, 2020Code comments provide abundant information that have been leveraged to help perform various software engineering tasks, such as bug detection, specification inference, and code synthesis.
Juan Zhai +9 more
semanticscholar +1 more source
International Conference on Automated Software Engineering, 2020
Most programming languages support foreign language interoperation that allows developers to integrate multiple modules implemented in different languages into a single multilingual program.
Sungho Lee, Hyogun Lee, Sukyoung Ryu
semanticscholar +1 more source
Most programming languages support foreign language interoperation that allows developers to integrate multiple modules implemented in different languages into a single multilingual program.
Sungho Lee, Hyogun Lee, Sukyoung Ryu
semanticscholar +1 more source
Proceedings of the 33rd International Conference on Software Engineering, 2011
We propose to combine symbolic execution with volume computation to compute the exact execution frequency of program paths and branches. Given a path, we use symbolic execution to obtain the path condition which is a set of constraints; then we use volume computation to obtain the size of the solution space for the constraints.
Sheng Liu, Jian Zhang
openaire +1 more source
We propose to combine symbolic execution with volume computation to compute the exact execution frequency of program paths and branches. Given a path, we use symbolic execution to obtain the path condition which is a set of constraints; then we use volume computation to obtain the size of the solution space for the constraints.
Sheng Liu, Jian Zhang
openaire +1 more source
ACM SIGPLAN Notices, 1996
Program Analysis is largely based on generic theories that have the potential for toolmaking. Intensive research should go into the still open problems faced by the creators of program analysis generators. To date, the more generic method of abstract interpretation has advantages for toolmaking compared to type inference based and set based analysis ...
openaire +2 more sources
Program Analysis is largely based on generic theories that have the potential for toolmaking. Intensive research should go into the still open problems faced by the creators of program analysis generators. To date, the more generic method of abstract interpretation has advantages for toolmaking compared to type inference based and set based analysis ...
openaire +2 more sources
A Contemporary Survey of Large Language Model Assisted Program Analysis
Transactions on Artificial IntelligenceThe increasing complexity of software systems has driven significant advancements in program analysis, as traditional methods unable to meet the demands of modern software development.
Jiayimei Wang +3 more
semanticscholar +1 more source
Artificial Intelligence, 1976
In order to examine the possibilities of using a computer as an aid to teaching programming, a prototype intelligent program analyzer has been constructed. Its design assumes that a system cannot analyze a program unless it can "understand" it; understanding being based on a knowledge of what must be accomplished and how code is used to express the ...
openaire +1 more source
In order to examine the possibilities of using a computer as an aid to teaching programming, a prototype intelligent program analyzer has been constructed. Its design assumes that a system cannot analyze a program unless it can "understand" it; understanding being based on a knowledge of what must be accomplished and how code is used to express the ...
openaire +1 more source