Вы здесь

Главная

анализ

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

Transactions on Aspect-Oriented Software Development VIII
Transactions on Aspect-Oriented Software Development X
Transactions on Computational Systems Biology III
Transactions on Large-Scale Data-and Knowledge-Centered Systems VII
Transactions on Large-Scale Data-and Knowledge-Centered Systems XXII
Transactions on Petri Nets and Other Models of Concurrency VIII
Transactions on Rough Sets XIII
Transforming Lazy Functions Using Comportment Properties
Transition Systems of Elementary Net Systems with Localities
Translating Shlaer/Mellor Object-Oriented Analysis Models into Ada95
Trust in the lambda-Calculus
Trying to Make Reuse Happen on a Large Project
Tunable Formalism in Object-Oriented Systems Analysis: Meeting the Needs of Both Theoreticians and Practitioners
Tuning the Performance of Parallel Programs on NOW s Using Performance Analysis Tool
Tuple Analysis and Partial Evaluation Strategies in the Linda Precompiler
TVLA: A System for Implementing Static Analyses
Type Analysis of Logic Programs in the Presence of Type Definitions
Type Analysis of Prolog Using Type Graphs
Type and Effect Systems
Type-Based Alias Analysis
Type-Based Analysis of Communication for Concurrent Programming Languages
Type-based information flow analysis for the pi-calculus
Type-Directed Flow Analysis for Typed Intermediate Languages
Typed Norms for Typed Logic Programs
Typed Static Analysis: Application to Groudness Analysis of PROLOG and LambdaPROLOG
Type Inference for Parameterized Race-Free Java
Types for 0, 1 or Many Uses
Types for Proofs and Programs: Revised Selected Papers/International Conference, TYPES 2008. Cividale del Friuli, Italy, May 2007
Types for Proofs and Programs: Revised Selected Papers/International Workshop, TYPES 2004. Jouy-en-Josas, France, December 2004
Types in Compilation: Proc./Second Intern. Workshop, TIC 98. Kyoto, Japan, March 1998
Types in Program Analysis
Type Test Elimination using Typeflow Analysis
Type Theory and Projections for Higher-Order Static Analysis
UbiComp 2007: Ubiquitous Computing: Proc./9th International Conference, UbiComp 2007. Innsbruck, Austria, September 2007
Ubiquitous Computing and Ambient Intelligence: Proc./6th International Conference, UCAml 2012, Vitoria-Gasteiz, Spain, December 2012
UML-Based Fusion Analysis
UML Modelling and Performance Analysis of Mobile Software Architectures
Understanding Data-Sensitive Code: One Piece of the Year 2000 Puzzle
Understanding Finiteness Analysis Using Abstract Interpretation
Understanding Planning Tasks: Domain Complexity and Heuristic Decomposition
Understanding Redundancy in UML Models for Object-Oriented Analysis
Understanding Short Texts with Integration of Knowledge Representation Methods
Une analyse du comporterment recursif de programmes Prolog par une interpretation abstraite
Unification-free Execution of Well-moded and Well-typed Prolog Programs
Uniform ideals and strictness analysis
Uniform PERs and Comportment Analysis
Uniqueness and Completeness Analysis of Array Comprehensions
Un Langage D Analyse et de Synthese Ayant la Capacite D Apprendre
Unrolling Lists
Update in Place: Overview of the Siva project