Keywords: تفسیر چکیده; Abstract interpretation; ODE; Infinity; Interval computation; Dynamical systems;
مقالات ISI تفسیر چکیده (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: تفسیر چکیده; Abstract interpretation; static program analysis; dynamic program analysis;
Keywords: تفسیر چکیده; Static program analysis; Interprocedural data flow analysis; Abstract interpretation; Constraint systems; Local solving;
Keywords: تفسیر چکیده; Points-to analysis; Pentagons; Less-than check; Abstract interpretation; Compiler construction;
Keywords: تفسیر چکیده; Abstract interpretation; Run-time checking; Verification; Logic programming; Horn clauses;
Keywords: تفسیر چکیده; Program families; Static analysis; Abstract interpretation;
Keywords: تفسیر چکیده; Code similarity; abstract interpretation;
Keywords: تفسیر چکیده; Abstract interpretation; Numerical abstract domains; Convex polyhedra; Widening; Wrapping;
Keywords: تفسیر چکیده; PHP; Static analysis; Abstract interpretation; Type conversions;
Keywords: تفسیر چکیده; Abstract interpretation; Relaxed memory models;
Keywords: تفسیر چکیده; Abstract interpretation; Security policy; Information flow;
Keywords: تفسیر چکیده; Static analysis; Abstract interpretation; Liveness; Temporal properties; Ranking functions; Termination;
Keywords: تفسیر چکیده; static analysis; abstract interpretation; verification; safety; concurrency; run-time errors; data-races; deadlocks; real-time scheduling; priority ceiling protocol;
Keywords: تفسیر چکیده; Reaction networks; Model based prediction; Abstract interpretation; Constraint solving; Metabolic engineering; Genetic engineering;
Keywords: تفسیر چکیده; Hybrid systems; Abstraction; Verification; Linearization; Invariants; Abstract interpretation
Keywords: تفسیر چکیده; Static analysis; Abstract interpretation; Generic analyzers;
Keywords: تفسیر چکیده; Reaction systems; Dynamic causalities; Abstract interpretation
Keywords: تفسیر چکیده; Choreography languages; Adaptation; Abstract interpretation
Keywords: تفسیر چکیده; Abstract Interpretation; Software V&V; Source Code Semantic Analysis
Keywords: تفسیر چکیده; Discrete networks; Abstract interpretation; Reachability; Qualitative models; Systems biology
Keywords: تفسیر چکیده; Abstract interpretation; Program semantics; Metamorphic malware detection; Self-modifying programs;
Keywords: تفسیر چکیده; Resource analysis; Abstract interpretation; Functional languages; Regions
Keywords: تفسیر چکیده; Software Product Lines; Software variability; Verification; Static analysis; Abstract interpretation
Keywords: تفسیر چکیده; Functional languages; Abstract interpretation; Shape analysis; Points-to analysis; Regular languages
Keywords: تفسیر چکیده; Abstract domain; Abstract interpretation; Continuous functions; Embedded software; Static analysis;
Keywords: تفسیر چکیده; Abstract interpretation; Abstraction-carrying code; WCET; LP; LRLR-servers
Keywords: تفسیر چکیده; Resource analysis; Abstract interpretation; Functional languages; Regions
Keywords: تفسیر چکیده; Static analysis; Abstract interpretation; Sparse evaluation; Data-flow analysis
Keywords: تفسیر چکیده; Data-flow analysis; Interprocedural static analysis; Constraint-based analysis; Field-sensitive analysis; Abstract interpretation
Keywords: تفسیر چکیده; Static analysis; Abstract interpretation; Lists; Abstract domains; Shape analysis
Keywords: تفسیر چکیده; Abstract interpretation; Backward analysis; Numeric abstract domains; Static analysis; Under-approximation
Keywords: تفسیر چکیده; Program analysis; Abstract interpretation; Linear relation analysis; Polyhedra; Acceleration
Software Watermarking: A Semantics-based Approach
Keywords: تفسیر چکیده; Software Watermarking; Abstract Interpretation; Program semantics; Program transformation;
Constraint specialisation in Horn clause verification
Keywords: تفسیر چکیده; Constraint specialisation; Query-answer transformation; Horn clauses; Abstract interpretation; Convex polyhedral analysis;
Horn clause verification with convex polyhedral abstraction and tree automata-based refinement
Keywords: تفسیر چکیده; Horn clauses; Abstract interpretation; Finite tree automata; Tree automata determinisation;
Inferring linear invariants with parallelotopes
Keywords: تفسیر چکیده; Static analysis; Abstract interpretation; Numerical abstract domain; Linear invariant; Parallelotopes;
A static analysis for Brane Calculi providing global occurrence counting information
Keywords: تفسیر چکیده; Brane Calculi; Static analysis; Abstract interpretation; Occurrence counting;
Improving static analyses of C programs with conditional predicates
Keywords: تفسیر چکیده; Static analysis; Abstract interpretation; Dataflow analysis; Path sensitivity
Static analysis by abstract interpretation of functional properties of device drivers in TinyOS
Keywords: تفسیر چکیده; Static analysis; abstract interpretation; wireless sensor networks; device drivers
Formal derivation of qualitative dynamical models from biochemical networks
Keywords: تفسیر چکیده; Abstract interpretation; Reaction networks; Qualitative dynamical modelling; Formal methods in systems biology;
Causal static analysis for Brane Calculi
Keywords: تفسیر چکیده; Causality; Abstract interpretation; Brane Calculi
Deriving a complete type inference for Hindley–Milner and vector sizes using expansion
Keywords: تفسیر چکیده; Type inference; Completeness; Abstract interpretation; Polymorphic recursion; Vector size inference
Inference of polynomial invariants for imperative programs: A farewell to Gröbner bases
Keywords: تفسیر چکیده; Polynomial invariants; Static analysis; Abstract interpretation
Abstract interpretation of microcontroller code: Intervals meet congruences
Keywords: تفسیر چکیده; Embedded systems; Binary code; Abstract interpretation; Linear congruences; Intervals
Static analysis of Android programs
Keywords: تفسیر چکیده; Program verification; Static analysis; Abstract interpretation; Android
Abstract interpretation-based semantic framework for software birthmark
Keywords: تفسیر چکیده; Software birthmark; Abstract interpretation; Program semantics; Credibility; Resilience
JCSI: A tool for checking secure information flow in Java Card applications
Keywords: تفسیر چکیده; Java card; Java bytecode; CAP file; Secure information flow; Abstract interpretation
Abstract interpretation of database query languages
Keywords: تفسیر چکیده; Databases; SQL; Program analysis; Abstract Interpretation
Widening and narrowing operators for abstract interpretation
Keywords: تفسیر چکیده; Static analysis; Abstract Interpretation; Abstract domains; Widening operators; Narrowing operators
Class invariants as abstract interpretation of trace semantics
Keywords: تفسیر چکیده; Abstract interpretation; Class invariant; Object-oriented programming; Optimization; Static analysis; Trace semantics; Verification