Вы здесь

Главная

процедура

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

A Calculus for Higher Order Procedures with Global Variables
A complition procedure for globally finite term rewriting systems
An Automated Procedure for Synthesis of Systolic and Wavefront Arrays
An Automatic Interprocedural Analysis for the Understanding of Scientific Application Programs
An Implementation Technique for a Class of Bottom-Up Procedures
An Observationon the C Library Procedure Random()
A Partial Evaluation Procedure for Logic Programs
Applying SDL Specifications and Tools to the Verification of Procedures
A Sequential Procedure for Simultaneous Estimation of Several Means
Assertive Demons
A Survey of Asynchronous Remote Procedure Calls
Automated Reasoning: Proc./9th International Joint Conference, IJCAR 2018 Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 2018
Automated Reasoning with Analytic Tableaux and Related Methods: Proc./20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 2011
Automated Technology for Verification and Analysis: Proc./14th International Symposium, ATVA 2016, Chiba, Japan, October 2016
A Visual Execution Model for Ada Tasking
Certified Programs and Proofs: Proc./1st International Conference, CPP 2011, Kenting, Taiwan, December 2011
Comparing Flow and Context Sensitivity on the Modification-side-effects Problem
Compulation of Interprocedural Control Dependence
Computer Algebra in Scientific Computing: Proc./2-th International Workshop, CASC 2018, Lille, France, September 2018
Connection Analysis: A Practical Interprocedural Heap Analysis for C
Context-Insensitive Alias Analysis Reconsidered
Context-Sensitive Interprocedural Analysis in the Presence of Dynamic Aliasing
Coordinate Transformation and Data Refinement
Decision procedures for set/hyperset contexts
Deriving Termination Proofs for Logic Programs, using Abstract Procedures
Domain Analysis for Software Reuse - A More Detailed Approach
Efficient Computation of Interprocedural Definition-Use Chains
Evolutionary Computation in Combinatorial Optimization: Proc./10th European Conference, EvoCOP 2010, Istanbul, Turkey, April 2010
Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Flow-directed Inlining
Flow-Directed Inlining
Flow-Sensitive Interprocedural Constant Propagation
Formal Methods and Software Engineering: Proc./12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 2010
Frontiers of Combining Systems: Proc./10th International Symposium, FroCoS 2015, Wroclaw, Poland. September 2015
Frontiers of Combining Systems: Proc./5th International Workshop, FroCos 2005. Vienna, Austria, September 2005
High-level Abstractions for Efficient Concurrent Systems
Highly Reliable Remote Procedure Calls
Identifying Critical Loads in Real Programs for Decoupled VSM Systems
Identifying Procedural Structure in Global Programs
Incremental Polymorphic Type Checking with Update
Inlining Semantics for Subroutines which are Recursive
Interprocedural Analysis for Parallelization
Interprocedural Array Data-Flow Analysis for Cache Coherence
Interprocedural Array Redistribution Data-Flow Analysis
Interprocedural Array Region Analyses
Interprocedural Conditional Branch Elimination
Interprocedural Constant Propagation: A Study of Jump Function Implementations
Interprocedural Control Flow Analysis
Interprocedural Dataflow Analysis in an Executable Optimizer