Abstract interpretation - Open Access .click

Results 241 to 250 of about 542,872 (263)

Some of the next articles are maybe not open access.

2017
It is important when developing software to verify the absence of undesirable behavior such as crashes, bugs and security vulnerabilities. Some settings require high assurance in verification results, e.g., for embedded software in automobiles or airplanes.
openaire +2 more sources

Abstract interpretation against races

Fundam. Informaticae, 2004
Summary: In this paper we investigate the use of abstract interpretation techniques for statically preventing race conditions. To this purpose we enrich the concurrent object calculus \(\mathbf {conc}\varsigma\) by annotating terms with the set of ``locks'' owned at any time.
BARBUTI, ROBERTO, CATAUDELLA S, TESEI L.
openaire +3 more sources

Factors affecting interpretation of dental radiographs

Dentomaxillofacial Radiology, 2023
Rajesh Vasa, Shwetha Hegde
exaly

Interpreting disaster: How interpretation types predict tourist satisfaction and loyalty to dark tourism sites

Journal of Destination Marketing & Management, 2021
Junjiao Zhang, Jinwei Wang
exaly

The effect of tour interpretation on perceived heritage values: A comparison of tourists with and without tour guiding interpretation at a heritage destination

Journal of Destination Marketing & Management, 2020
Zengxian Liang, Lisheng Weng
exaly

Abstraction and interpretation during the qualitative content analysis process

International Journal of Nursing Studies, 2020
Britt-Marie Lindgren, Berit Lundman
exaly

Toward a Model of Organizations as Interpretation Systems

Academy of Management Review, 1984
Richard L Daft, Karl E Weick
exaly

Influence of interpretation on conservation intentions of whale tourists

Tourism Management, 2014
Maarten Jacobs
exaly