Вы здесь

Главная

трансформация

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

Static Analysis: Proc./8th Intern. Symp., SAS 2001, Paris, France, July 2001
Static Caching for Incremental Computation
Statistical Language and Speech Processing: Proc./7th International Conference, SLSP 2019, Ljubljana, Slovenia, October 2019
Stochastic Algorithms - Foundations and Applications: Proc./Second Intern. Symp., SAGA 2003, Hatfield, UK, September 2003
Strengthening UML Collaboration Diagrams by State Transformations
Strength Reduction via SSAPRE
Strongly Typed Flow-Directed Representation Transformations
Structured Object-Oriented Formal Language and Method: Revised Selected Papers/5th International Workshop, SOFL+MSVL 2015, Paris, France, November 2015
Studying the Cost of Logic Languages in an Abstract Interpretation Framework for Granularity Analysis
Subdefinite Computations and Symbolic Transformations in the UniCalc Solver
Success in Logic Programs
Supercompilation: Techniques and Results
Supporting the Restructuring of Data Abstractions through Manipulation of a Program Visualization
Synchronisation Analysis to Stop Tupling
Syntax Directed Translation with LR Parsing
Synthesis and Transformation of logic Programs in the WHELK Proof Development System
Systematic Transformation of Interface Specifications
Tag Elimination and Jones-Optimality
Termination of Logic Programs using Semantic Unification
The COAST Project: Design and Implementation
The Equivalence Problem for Letter-to-Letter Bottom-up Tree Transducers is Solvable
The Essence of Computation - Complexity, Analysis, Transformation
The Essence of Program Transformation by Partial Evaluation and Driving
The FABULA System: The Transformation and Optimization Problems in Boolean Algebras
The Interprocedural Express-Lane Transformation
The Lambda Loop Transformation Toolkit (User s Reference Manual)
The Optimistic Readers Transformation
Theoretical Aspects of Computing - ICTAC 2016: Proc./13th International Colloquium, Taipei. Taiwan, ROC, October 2016
Theory and Practice of Model Transformations: Proc./4th International Conference, ICMT 2011, Zurich, Switzerland, July 2011
Theory and Practice of Model Transformations: Proc./6th International Conference, ICMT 2013, Budapest, Hungary, June 2013
Theory and Practice of Model Transformations: Proc./7th International Conference, ICMT 2014 Held as Part of STAF 2014, York, UK, July 2014
The Replacement Operation for CLP Modules
The Revival Transformation
The Supercompiler SCP4: General Structure
The Transformation Calculus
The Tree Equivalence Problem for Linear Recursion Schemes
Tools and Algorithms for the Construction and Analysis of Systems, Part I: Proc./26th International Conference, TACAS 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 2020
Tools and Algorithms for the Construction and Analysis of Systems: Proc./9th Intern. Conf., TACAS 2003, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 2003
Toward Formally-Based Design of Message Passing Programs
Towards a Logic for Reasoning About Logic Programs Transformation
Towards a Taxonomy of Functional Language Implementations
Towards Correct, Efficient and Reusable Transformational Developments
Towards Validation of Session Management in Web Applications based on Graph Transformation
Toward the Automatic Derivation of XML Transformations
Tracing Lazy Functional Computations Using Redex Trails
Tracing the Evaluation of Lazy Functional Languages: A Model and Its Implementation
Transformational Construction of Correct Pointer Algorithms
Transformational Derivation of Greedy Network Algorithms from Desriptive Specifications
Transformational Design: An Annotated Example
Transformational Design of Real-Time Systems. Part I: From Requirements to Program Specifications