You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (1589)

Journals (0)

1-10 of 1589 results for Abstract interpretation

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Observational Completeness on Abstract Interpretation

Retricted access

Research article

First published 2011-1

Observational Completeness on Abstract Interpretation

Gianluca Amato, Francesca Scozzari

Fundamenta Informaticae

Select article: Adjoining classified and unclassified information by abstract interpretation

Retricted access

Research article

First published 2010-8-16

Adjoining classified and unclassified information by abstract interpretation

Roberto Giacobazzi, Isabella Mastroeni

Journal of Computer Security

Select article: Semantics-based code obfuscation by abstract interpretation

Retricted access

Research article

First published 2009-11-25

Semantics-based code obfuscation by abstract interpretation

Mila Dalla Preda, Roberto Giacobazzi

Journal of Computer Security

Select article: Temporal Abstractions for Interpreting Diabetic Patients Monitoring Data

Retricted access

Research article

First published 1998-5

Temporal Abstractions for Interpreting Diabetic Patients Monitoring Data

R. Bellazzi, C. Larizza, A. Riva

Intelligent Data Analysis: An International Journal

Select article: Verifying constant-time implementations by abstract interpretation

Retricted access

Research article

First published 2019-1-11

Verifying constant-time implementations by abstract interpretation

Sandrine Blazy, David Pichardie, Alix Trieu

Journal of Computer Security

Select article: Dynamic enforcement of knowledge-based security policies using probabilistic abstract interpretation

Retricted access

Research article

First published 2013-9-20

Dynamic enforcement of knowledge-based security policies using probabilistic abstract interpretation

Piotr Mardziel, Stephen Magill, Michael Hicks [...]

Journal of Computer Security

Select article: Abstract Interpretation Against Races

Retricted access

Research article

First published 2004-4

Abstract Interpretation Against Races

Roberto Barbuti, Stefano Cataudella, Luca Tesei

Fundamenta Informaticae

Select article: Abstract Interpretations in the Framework of Invariant Sets

Retricted access

Research article

First published 2016

Abstract Interpretations in the Framework of Invariant Sets

Andrei Alexandru, Gabriel Ciobanu

Fundamenta Informaticae

Select article: Interpreting Trust: Abstract and Personal Trust for People who Need Interpreters to Access Services

Retricted access

Research article

First published 2006-4

Interpreting Trust: Abstract and Personal Trust for People who Need Interpreters to Access Services

Rosalind Edwards, Claire Alexander, Bogusia Temple

Sociological Research Online

Select article: Abstract Interpretation of an Object Calculus for Synchronization Optimizations

Retricted access

Research article

First published 2005-8

Abstract Interpretation of an Object Calculus for Synchronization Optimizations

Roberto Barbuti, Stefano Cataudella

Fundamenta Informaticae

1
2
3
•••
159
10 / page

Article type

Publication date

Subjects

Access