Information Flow Monitoring as Abstract Interpretation for Relational Logic

doi 10.1109/csf.2014.12
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

Abstract Categorial Parsing as Linear Logic Programming

2015English

Abstract Interpretation for Worst and Average Case Analysis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Basic Concepts of Abstract Interpretation

IFIP International Federation for Information Processing
2004English

VisSed Software as a Tool in Monitoring Programs for Benthic Data Interpretation

Revista Intertox de Toxicologia, Risco Ambiental e Sociedade
2015English

Partial Model Checking via Abstract Interpretation

Information Processing Letters
Signal ProcessingComputer Science ApplicationsInformation SystemsTheoretical Computer Science
2010English

Cooperative Query Answering by Abstract Interpretation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Computer Applications to Log Interpretation: ABSTRACT

AAPG Bulletin
Planetary SciencesEnergy EngineeringPetrologyEnergyGeologyFuel TechnologyGeochemistryEarthPower Technology
1962English

Verification, Model Checking, and Abstract Interpretation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy