دانلود مقالات ISI درباره تفسیر چکیده + ترجمه فارسی

The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems

Keywords: تفسیر چکیده; Formal methods; Static analysis; Computer-aided verification; Abstract interpretation; Numerical properties

دانلود رایگان متن کامل مقاله ISI 19 صفحه سال انتشار : 2008 سفارش ترجمه

An empirical study on classification methods for alarms from a bug-finding static C analyzer

Keywords: تفسیر چکیده; Static analysis; Abstract interpretation; Statistical post analysis; Classification methods; Program correctness;

دانلود رایگان متن کامل مقاله ISI 6 صفحه سال انتشار : 2007 سفارش ترجمه

Security protocols: from linear to classical logic by abstract interpretation

Keywords: تفسیر چکیده; Cryptographic protocols; Linear logic; Classical logic; Abstract interpretation; Formal methods;

دانلود رایگان متن کامل مقاله ISI 7 صفحه سال انتشار : 2005 سفارش ترجمه

Abstract Interpretation and Object-oriented Programming: Quo Vadis?

Keywords: تفسیر چکیده; Abstract interpretation; Object-oriented programming; static analysis;

دانلود رایگان متن کامل مقاله ISI 10 صفحه سال انتشار : 2005 سفارش ترجمه

A State Space Distribution Policy Based on Abstract Interpretation

Keywords: تفسیر چکیده; Distributed Model Checking; Abstract Interpretation;

دانلود رایگان متن کامل مقاله ISI 11 صفحه سال انتشار : 2005 سفارش ترجمه

On the Transformation of SystemC to AsmL Using Abstract Interpretation

Keywords: تفسیر چکیده; SystemC; Formal Verification; Abstract Interpretation;

دانلود رایگان متن کامل مقاله ISI 11 صفحه سال انتشار : 2005 سفارش ترجمه

Towards Abstract Interpretation for Recovering Design Information

Keywords: تفسیر چکیده; logic meta programming; design recovery; dynamic analysis; abstract interpretation;

دانلود رایگان متن کامل مقاله ISI 11 صفحه سال انتشار : 2005 سفارش ترجمه

Inferring Object Invariants

Keywords: تفسیر چکیده; object invariants; abstract interpretation; object-oriented programs; inference;

دانلود رایگان متن کامل مقاله ISI 12 صفحه سال انتشار : 2005 سفارش ترجمه

Integrated Java Bytecode Verification

Keywords: تفسیر چکیده; abstract interpretation; verification; optimization;

دانلود رایگان متن کامل مقاله ISI 12 صفحه سال انتشار : 2005 سفارش ترجمه

Towards a Complete Static Analyser for Java: an Abstract Interpretation Framework and its Implementation

Keywords: تفسیر چکیده; Abstract Interpretation; Java; Type Analysis; Pointer Analysis; Program Verification; Program Specialization;

دانلود رایگان متن کامل مقاله ISI 14 صفحه سال انتشار : 2005 سفارش ترجمه

Automatic Assume/Guarantee Reasoning for Heap-Manipulating Programs

Keywords: تفسیر چکیده; assume-guarantee reasoning; side-effect; mod-clauses; shape analysis; abstract interpretation; theorem prover;

دانلود رایگان متن کامل مقاله ISI 14 صفحه سال انتشار : 2005 سفارش ترجمه

An Approach to Behavioral Subtyping Based on Static Analysis

Keywords: تفسیر چکیده; Abstract Interpretation; Inheritance; Object Oriented Languages; Semantics; Specialized Application Languages; Static Analysis;

دانلود رایگان متن کامل مقاله ISI 14 صفحه سال انتشار : 2005 سفارش ترجمه

Semantics and Analysis of Instruction List Programs

Keywords: تفسیر چکیده; Instruction List; Programmable Logic Controllers; operational semantics; abstract simulation; abstract interpretation;

دانلود رایگان متن کامل مقاله ISI 16 صفحه سال انتشار : 2005 سفارش ترجمه

Kleene Algebra and Bytecode Verification

Keywords: تفسیر چکیده; Java; bytecode; verification; static analysis; abstract interpretation; Kleene algebra;

دانلود رایگان متن کامل مقاله ISI 16 صفحه سال انتشار : 2005 سفارش ترجمه

An Abstract Interpretation-based Approach to Mobile Code Safety

Keywords: تفسیر چکیده; Mobile Code Safety; Certifying Compilation; Proof-Carrying Code; Abstract Interpretation; Static Analysis;

دانلود رایگان متن کامل مقاله ISI 17 صفحه سال انتشار : 2005 سفارش ترجمه

Abstract Model Checking of tccp programs

Keywords: تفسیر چکیده; Model Checking; Timed Concurrent Constraint Programming; Abstract Interpretation;

دانلود رایگان متن کامل مقاله ISI 18 صفحه سال انتشار : 2005 سفارش ترجمه

An Abstract Interpretation Toolkit for μCRL

Keywords: تفسیر چکیده; Abstract Interpretation; Modal Transition Systems; Abstract Model Checking; μCRL Toolset;

دانلود رایگان متن کامل مقاله ISI 19 صفحه سال انتشار : 2005 سفارش ترجمه

Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)

Keywords: تفسیر چکیده; Program development; Global analysis; Abstract interpretation; Debugging; Verification; Partial evaluation; Program transformation; Optimization; Parallelization; Resource control; Programming environments; Multi-Paradigm programming; (Constraint) Logic p

دانلود رایگان متن کامل مقاله ISI 26 صفحه سال انتشار : 2005 سفارش ترجمه

Establishing local temporal heap safety properties with applications to compile-time memory management

Keywords: تفسیر چکیده; Abstract interpretation; Memory liveness; Garbage collection; Shape analysis; Safety properties; Verification;

دانلود رایگان متن کامل مقاله ISI 26 صفحه سال انتشار : 2005 سفارش ترجمه

Abstract interpretation of programs as Markov decision processes

Keywords: تفسیر چکیده; Abstract interpretation; Probabilistic semantics; Program semantics; Probabilities; Measure theory;

دانلود رایگان متن کامل مقاله ISI 27 صفحه سال انتشار : 2005 سفارش ترجمه

Precise widening operators for convex polyhedra

Keywords: تفسیر چکیده; Abstract interpretation; Widening operators; Convex polyhedra;

دانلود رایگان متن کامل مقاله ISI 29 صفحه سال انتشار : 2005 سفارش ترجمه

Abstraction and resolution modulo AC: How to verify Diffie-Hellman-like protocols automatically

Keywords: تفسیر چکیده; Cryptographic protocols; Diffie-Hellman; Resolution; Clause; Associativity; Commutativity; Completeness; Abstraction; Abstract interpretation; Verification; Key exchange;

دانلود رایگان متن کامل مقاله ISI 33 صفحه سال انتشار : 2005 سفارش ترجمه

A semantic framework for the abstract model checking of tccp programs

Keywords: تفسیر چکیده; Timed Concurrent Constraint programming; Abstract interpretation; Model checking;

دانلود رایگان متن کامل مقاله ISI 38 صفحه سال انتشار : 2005 سفارش ترجمه

On the verification of finite failure

Keywords: تفسیر چکیده; Abstract interpretation; Logic programming; Program verification; Finite failure;

دانلود رایگان متن کامل مقاله ISI 41 صفحه سال انتشار : 2005 سفارش ترجمه

Transforming semantics by abstract interpretation

Keywords: تفسیر چکیده; Abstract interpretation; Comparative semantics; Domain theory; Compositionality; Constraint programming;

دانلود رایگان متن کامل مقاله ISI 50 صفحه سال انتشار : 2005 سفارش ترجمه

Abstract interpretation of mobile systems

Keywords: تفسیر چکیده; Mobility; π-calculus; Static analysis; Abstract interpretation; Control flow analysis; Occurrence counting analysis; Worst case analysis;

دانلود رایگان متن کامل مقاله ISI 72 صفحه سال انتشار : 2005 سفارش ترجمه