Results 1 to 10 of about 34,628,233 (409)
A survey of Caspar, the control system analysis and synthesis program-package for aerospace research
, 1983 Johan Hoogstraten
openalex +1 more source
Evaluating the impact of open access at Berkeley: a qualitative analysis of the BRII program
, 2015 Samantha Teplitzky, Margaret Phillips
openalex +1 more source
PRGA: CGIAR Systemwide Program on Participatory Research and Gender Analysis
, 2017 CGIAR Systemwide Program on Participatory Research and Gender Analysis for Technology Development and Institutional Innovation
core
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
Proceedings of the 2006 international symposium on Software testing and analysis, 2006
Program analysis techniques are used by software engineers to deduce and infer characteristics of software systems. Recent research has suggested that a new form of program analysis technique can be created by incorporating characteristics of experimentation into analyses. This paper reports the results of research exploring this suggestion.
Ruthruff, Joseph R. +2 more
openaire +2 more sources
Program analysis techniques are used by software engineers to deduce and infer characteristics of software systems. Recent research has suggested that a new form of program analysis technique can be created by incorporating characteristics of experimentation into analyses. This paper reports the results of research exploring this suggestion.
Ruthruff, Joseph R. +2 more
openaire +2 more sources
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
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