Вы здесь

Главная

преобразование

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

A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP
Abstractions for Recursive Pointer Data Structures: Improving the Analysis and Transformation of Imperative Programs
A Calculus of Gamma programs
A Compositional Approach for Fault-Tolerance Using Specification Transformation
A Congruence for Gamma Programs
Action Transformations in the ACTRESS Compiler Generator
Adequacy-Preserving Transformations of COSY Path Programs
Advances in Nonlinear Speech Processing: Proc./6th International Conference, NOLISP 2013, Mons, Belgium, June 2013
A Formal Identification between Tuples and Lists with an Application to List-arithmetic Categories
A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition
A General Framework for Iteration-Reordering Loop Transformations (Technical Summary)
A Generalized de Casteljau Approach to 3D Free-form Deformation
Agent-Oriented Modeling with Graph Transformation
Agent-Oriented Software Engineering X: Revised Selected Papers/10th International Workshop, AOSE 2009, Budapest, Hungary, May 2009
Agg - An Implementation of Algebraic Graph Rewriting
Algebraic High-Level Net Transforation Systems: A Survey over Theory and Applications
Algebraic Informatics: Revised Selected and Invited Papers/Second International Conference, CAI 2007. Thessaloniki, Greece, May 2007
Algebraic Proofs of Properties of Objects
A Logic Program for Transforming Sequent Proofs to Natural Deduction Proofs
Alphonse:Incremental Computation as a Programming Abstraction
A Method for Consructing Quality Program Versions
An Algorithm of Generalization in Positive Supercompilation
Analyse et transformation de programmes Prolog en vue deleur parallelisation aves les predicats paror et parand
A New Approach to Recursion Removal
A New Program Transformation to Miniimize Communication in Distributted Memory Architectures
Annotated Program Transformations
A Parallel Structure for Static Iterative Transformation Algorithms
Applications of Declarative Programming and Knowledge Management: Revised Selected Papers/18th International Conference, INAP 2009, Evora, Portugal, November 2009
Applications of Graph Transformantions with Industrial Relevance: Revised Selected and Invited Papers/Third International Symposium, AGTIVE 2007. Kassel, Germany, October 2007
Applications of Graph Transformations with Industrial Relevance: Revised Selected and Invited Papers/4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 2011
A Program Integration Algorithm that Accomodates Semantics-Preserving Transformations
A second-order matching procedure for the practical use in a program transformation system
A Simple Program Transformation for Parallelism
A Singular Loop Transformation Framework Based on Non-Singular Matrices
A Syntactic Approach to Program Transformations
A Theory of Loop Permutations
Automated Technology for Verification and Analysis: Proc./8th International Symposium, ATVA 2010, Singapore, September 2010
Automatic Hypertext Conversion of Paper Document Collections
Boolean Routing
Branch-Coverage Testability Transformation for Unstructured Programs
Building Bridges between Knowledge Representation and Algebraic Specification
Business Process Management: Proc./6th International Conference, BPM 2008. Milan, Italy, September 2008
Combinatorial Image Analysis: Proc./15th International Workshop, IWCIA 2012, Austin,TX,USA, November 2012
Compilation de programmes fonctionnels par transformation de programmes
Compiler Construction: Proc./14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005. Edinburgh, UK, April 2005
Compiling Syntactically Recursive Programs
Component Tools: Integrating Petri Nets with Other Formal Methods
Composite Multimedia and Active Objects
Computation, Logic, Games, and Quantum Foundations: The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
Computation Migration: Enhancing Locality for Distributed-Memory Parallel Systems