Вы здесь

Главная

статический

Связанные издания:

Eiffel as a Framework for Verification
Error-Correcting Source Code
Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management
Extracting a Data Flow Analyser in Constructive Logic
Fast Static Analysis of C++ Virtual Function Calls
Finding Bugs with a Constraint Solver
Finite Model Checking and Beyond
Flexible Static Semantic Checking Using First-Order Logic
Flow Logic: A Multi-paradigmatic Approach to Static Analysis
Forwards and Backwards Analysis for Functional Programs
Freeness Analysis Througn Linear Refinement
Fully Static Dimensional Analysis with C++
Hardware and Software Verification and Testing: Revised Selected Papers/Fist International Haifa Verification Conference. Haifa, Israel, November 2005
IBIS: Semantic Data Integration at Work
Identifying the Available Parallelism Using Static Analysis
Implementation of Functional Languages: Revised Papers/15th International Workshop, IFL 2003. Edinburgh, UK, September 2003
Implementing a Static Analyzer of Concurrent Programs: Problems and Perspectives
Implicit Parameters: Dynamic Scoping with Static Types
Improving the Results of Static Analyses of Programs by Local Decreasing Iterations
Inferer Rapidement la Geometrie des Collections
Inserting Safe Memory Reuse Commands into ML-Like Programs
Institution Independent Static Analysis for CASL
Integrating Static and Dynamic Sort Checking in Logic Programming
Intuitionistic Implication in Abstract Interpretation
Language and Automata Theory and Applications: Proc./7th International Conference, LATA 2013, Bilbao, Spain, April 2013
Leveraging Applications of Formal Methods, Verification and Validation, Part I: Foundational Techniques: Proc./7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 2016
Mapping a Complex Temporal Problem into a Combination of Static and Dynamic Neural Networks
Matrix Relation for Statistical Database Management
Maximum Pipelining Linear Recurrence on Static Flow Computers
Methods, Models and Tools for Fault Tolerance
Model and Data Engineering: Proc./First International Conference, MEDI 2011, Obidos, Portugal, September 2011
Modular Static Program Analysis
Neural Information Processing: Part II: Revised Selected Papers/14th International Conference, ICONIP 2007. Kitakyushu, Japan, November 2007
New Frontiers in Mining Complex Patterns: Revised Selected Papers/6th International Workshop, NFMCP 2017 Hekd in Conjunction with ECML-PKDD 2-17, Skople, Macedonia, September 2017
Numerical Power Analysis
On Extracting Static Semantics
On Static Properties of Specialized Programs
On the Design of Generic Abstract Interpretation Frameworks
Optimizing Spatial Data Structures for Static Data
Portability Effort Estimates for Real Time Applications Written in Ada through Static Code Analysis
Practical Model-Based Static Analysis for Definite Logic Programs
Precise Analysis of String Expressions
Programming Languages and Systems: Proc./ 5th Asian Symposium, APLAS 2007. Singapore, November/December 2007
Programming Languages and Systems: Proc./Third Asian Symposium, APLAS 2005. Tsukuba, Japan, November 2005
Program Modeling for Fault Definition Based Static Analysis
Property Checking Driven Abstract Interpretation-Based Static Analysis
Putting Static Analysis to Work for Verification: A Case Study
Refined rules termination analysis through transactions
Refining Static Analyses by Trace-Based Partitioning Using Control Flow
Region Inference for Higher-Order Functional Languages