Вы здесь

Главная

корректность

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

About the "Correctness" and "Adequacy" of PLUSS Specifications
A Comparative Analysis of Functional Correctness
A Comparison of Two Verification Methods for Speculative Instruction Execution
A Complete Modal Proof System For HAL: The Herbrand Agent Language
A Compositional Proof Method of Partial Correctness for Normal Logic Programs
A Correct Goal-directed Proof Procedure for a General Logic Program with Integrity Constraints
A Framework for Bottom Up Specialisation of Logic Programs
A Fully Abstract Model for a Nonuniform Concurrent Language with Parameterization and Locality
A Functional Correctness Model of Program Verification
A Gentle Introduction to Specification Engineering Using a Case Study in Telecommunications
A Language Framework for Expressing Checkable Properties of Dynamic Software
Algebraic Models and the Correctness of Microprocessors
Algebraic Programming in OPAL
A Lightweight XML Constraint Check and Update Framework
A Logic for Variable Aliasing in Logic Programs
A Method for Compiling and Executing Expressive Assertions
A Method for the Development of Correct Software
A Modular, Extensible Proof Method for Small-Step Flow Analyses
An Approach to Parametrized First-order Specifications: Semantics, Correctness, Parameter Passing
A New Approach to Compiling Adaptive Programs
An Example of Process Verification: The Gries/Dijkstra Design Method
An Execution Mechanism for Nondeterministic, State-Oriented Programs Based on a Chart Parser
An Extended Transformation System for CLP Programs
A note on model checking the modal v-calculus
An Overview of Compositional Translations
Applying Dimensional Analysis
Approximating General Logic Programs
A Pragmatic Approach to Software Synthesis
A SAT Characterization of Boolean-Program Correctness
A second-order matching procedure for the practical use in a program transformation system
A Syntactic Approach to Program Transformations
A Systematic Kernel Development
A Theory of Generic Interpreters
A Tutorial Introduction to Designs in Unifying Theories of Programming
Automated Deduction in Geometry: Revised Papers/5th International Workshop, ADG 2004. Gainesville, FL, USA, September 2004
A Verified Implementation of Narrowing
Bakery Algorithms
Basis of Parallel Speculative Execution
Batch checking with applications to linear functions
Breaking through the V and V Bottleneck
Calculating Compilers
Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs
Checking Timing Constraints in Distributed Object-Oriented Programs
CLP(Q) for Proving Interargument Relations
Combining Symbolic Evaluation and Object Oriented Approach for Verifying Processor-like Architectures at the RT-level
Compilation and Synthesis for Real-Time Embedded Controllers
Compilative Constructive Negation in Constraint Logic Programs
Compiler Correctness for Concurrent Languages
Compiling Joy Into Silicon: An Exercise in Applied Structural Operational Semantics
Complete Proof Systems for Algebraic Simply-Typed Terms