Вы здесь

Главная

отладка

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

Abstract Algorithmic Debugging
Abstract debugging of higher-order imperative languages
Abstract Debugging of Logic Programs
Abstract Diagnosis of Functional Programs
Abstract Verification and Debugging of Constraint Logic Programs
Abstract Views of Prolog Executions in Opium
ACM SIGPLAN Notices: Proc. of the ACM/ONR Workshop on Parallel and Distributed Debugging, May 20-21, 1991, Santa Cruz, California
A Comparison of Scalable Labeling Schemes for Detecting Races in OpenMP Programs
A Complete Declarative Debugger of Missing Answers
Adding Traces to a Lazy Monadic Evaluator
A debugger for O2, an Object-Oriented Language
A Debugging Environment for Functional Programming in Centaur
A Debugging Model for Functional Logic Programs
A Debugging Scheme for Declarative Equation Based Modeling Languages
A Debugging Scheme for Fine-Grain Threads on Massively Parallel Processors with a Small Amount of Log Information - Replay and Race Detection
A Development Environment for Complex Distributed Real-Time Applications
A Framework for Dynamic Program Analyzers
A Framework for Prolog Debugging
A General Approach to Trace-Checking in Distributed Computing Systems
A Generalised Query Minimisation for Program Debugging
A General Trace Query Mechanism Based on Prolog
A Generic and Executable Model for the Specification and Validation of Distributed Behaviors
A Generic Preprocessor for Program Validation and Debugging
Agent-Oriented Software Engineering IX: Revised Selected Papers/9th International Workshop, AOSE 2008. Estoril, Portugal, May 2008
Agent-Oriented Software Engineering VII: Revised and Invited Papers/7th International Workshop, AOSE 2006. Hakodate, Japan, May 2006
Algorithmic Debugging for Imperative Languages with Side-effects
Algorithmic Debugging for Lazy Functional Languages
A Linux-Based Testbed for Multicast Sessions Set-Up in Diff-Serv Networks
A Markovian Imperfect Debugging Model for Software Reliability Measurement
A Methodology for Controlling the Size of a Test Suite
Analysis and Visualization Tools for Constraint Programming: Constraint Debugging
Analyzing and Debugging Hierarchies of Multi-Way Local Propagation Constraints
An Assertion Language for Constraint Logic Programs
An Efficient Relevant Slicing Method for Debugging
A New Approach to Debugging Optimized Code
A New Approach to Parallel Debugger Architecture
A New Framework for Debugging Globally Optimized Code
A New Methodology for Debugging Scientific Applications
Animating Work and Time for Debugging Parallel Programs Foundation and Experience
Animators for Generated Programming Environments
An Implementation of Race Detection and Deterministic Replay with MPI
An Improved Inspection Technique
Annai Scalable Run-Time Support for Interactive Debugging and Performance Analysis of Large-Scale Parallel Programs
A Novel "Bi-directional Execution" Approach to Debugging Distributed Programs
A Parallel Debugger with Support for Distributed Arrays, Multiple Executables and Dynamic Processes
A Performance Debugger for Parallel Logic Programming Language Fleng
A Portable Platform for Distributed Event Environments
A Practical Approach to the Symbolic Debugging of Parallelized Code
A Pragmatic Survey of Automated Debugging
A Precise Demand-Driven Def-Use Chaining Algorithm