Вы здесь

Главная

отладка

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

Debugging and the Experience of Immediacy
Debugging Applications
Debugging by Diagnosing Assumptions
Debugging Concurrent Programs
Debugging Constraint Programs
Debugging Constraint Programs by Store Inspection
Debugging Distributed Applications Using a Coordination Architecture
Debugging Distributed Implementations of Modal Process Systems
Debugging Eli-Generated Compilers with Noosa
Debugging Larch Shared Language Specifications
Debugging Large-Scale, Long-Running Parallel Programs
Debugging Logic Programs Using Specifications
Debugging of Globally Optimized Programs Using Data Flow Analysis
Debugging OpenMP Programs Using Event Manipulation
Debugging Optimized Code with Dynamic Deoptimization
Debugging Optimized Code without Being Misled
Debugging Parallelized Code Using Code Liberation Techniques
Debugging Parallel Programs using ATEMPT
Debugging Parallel Programs Using Sound
Debugging the Development Process
Debugging via Run-Time Type Checking
Debugging with the MAD Environment
Declarative Debugging of Abstract Data Types in Godel
Declarative Diagnosis Revisited
Deductive Software Verification - The KeY Book: From Theory to Practice
Design and Implementation of a Test Bed for QoS Trials
Detecting Causal Relationships in Distributed Computations: In Search of the Holy Grail
Detecting Quantified Global Predicates in Parallel Programs
Detection of Linear Errors via Domain Testing
Developing Parallel Applications Using High-Performance Simulation
Diagnosing Non- Well-Moded Concurrent Logic Programs
Diagnosis and Debugging as Contradiction Removal in Logic Programs
Distributed Slicing and Partial Re-execution for Distributed Programs
DMPL: An OpenMP DLL Debugging Interface
Double Iterative Framework for Flow-Sensitive Interprocedural Data Flow Analysis
DrScheme: A Pedagogic Programming Environment for Scheme
Dynamic Currency Determination in Optimized Programs
Dynamic Dependence in Term Rewriting Systems and its Application to Program Slicing
Dynamic Query-Based Debugging
Dynascope: A Tool for Program Directing
ECOOP 2010 - Object-Oriented Programming: Proc./24th European Conference, Maribor, Slovenia, June 2010
Efficient Data Breakpoints
Eiffel as a Framework for Verification
Embedding Hardware Verification within a Commercial Design Framework
End-User Software Engineering
Enhancing the Pre- and Postcondition Technique for More Expressive Specifications
Entwurf und Implementierung von CSSA.. Teil D: CSSA-Programmbeispiele
Error-Correcting Source Code
Experience with Techniques for Refining Data Race Detection
Explaining Program Execution in Deductive Systems