Results 211 to 220 of about 640,088 (259)
Static Analysis of Quantum Programs
In principle, the design and implementation of quantum programming languages are the same essential tasks as for conventional (classical) programming languages. High-level programming constructs and compilation tools are structurally similar in both cases.
Nicola Assolini +2 more
openaire +3 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Communications of the ACM, 2022
An experience report.
Timothy Clem, Patrick Thomson
openaire +1 more source
An experience report.
Timothy Clem, Patrick Thomson
openaire +1 more source
Communications of the ACM, 2021
The fundamental challenge of software engineering is one of complexity.
openaire +1 more source
The fundamental challenge of software engineering is one of complexity.
openaire +1 more source
Proceedings of the 2nd international conference on Aspect-oriented software development, 2003
Aspects are a novel programming language feature, to express concerns in program design that crosscut traditional abstraction boundaries. The focus of this paper are dynamic aspects. Such aspects are specified as pointcut designators (patterns in the call stack), coupled with advice (code whose execution is triggered by the given pattern). We propose a
Damien Sereni, Oege de Moor
openaire +1 more source
Aspects are a novel programming language feature, to express concerns in program design that crosscut traditional abstraction boundaries. The focus of this paper are dynamic aspects. Such aspects are specified as pointcut designators (patterns in the call stack), coupled with advice (code whose execution is triggered by the given pattern). We propose a
Damien Sereni, Oege de Moor
openaire +1 more source
2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2016
Spreadsheets are the most prominent example of end-user programs. Unfortunately, spreadsheets often contain faults. In this paper, we propose a static analysis approach that can be used in a variety of spreadsheet quality assurance techniques. Our approach automatically detects groups of related formula cells and input cells, computation blocks, and ...
Patrick W. Koch +2 more
openaire +1 more source
Spreadsheets are the most prominent example of end-user programs. Unfortunately, spreadsheets often contain faults. In this paper, we propose a static analysis approach that can be used in a variety of spreadsheet quality assurance techniques. Our approach automatically detects groups of related formula cells and input cells, computation blocks, and ...
Patrick W. Koch +2 more
openaire +1 more source
Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018
In the past decades, static code analysis has become a prevalent means to detect bugs and security vulnerabilities in software systems. As software becomes more complex, analysis tools also report lists of increasingly complex warnings that developers need to address on a daily basis.
Lisa Nguyen Quang Do, Eric Bodden
openaire +1 more source
In the past decades, static code analysis has become a prevalent means to detect bugs and security vulnerabilities in software systems. As software becomes more complex, analysis tools also report lists of increasingly complex warnings that developers need to address on a daily basis.
Lisa Nguyen Quang Do, Eric Bodden
openaire +1 more source