Results 281 to 290 of about 6,513,935 (304)
Some of the next articles are maybe not open access.
On Various Abstract Understandings of Abstract Interpretation
2015 International Symposium on Theoretical Aspects of Software Engineering, 2015We discuss several possible understandings and misunderstandings of Abstract Interpretation theory and practice at various levels of abstraction.
openaire +2 more sources
Mechanizing Abstract Interpretation
2017It 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
Factors affecting interpretation of dental radiographs
Dentomaxillofacial Radiology, 2023Rajesh Vasa, Shwetha Hegde
exaly
Abstract interpretation against races
Fundam. Informaticae, 2004Summary: 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
Abstraction and interpretation during the qualitative content analysis process
International Journal of Nursing Studies, 2020Britt-Marie Lindgren, Berit Lundman
exaly
Influence of interpretation on conservation intentions of whale tourists
Tourism Management, 2014Maarten Jacobs
exaly
Toward a Model of Organizations as Interpretation Systems
Academy of Management Review, 1984Richard L Daft, Karl E Weick
exaly