Вы здесь

Главная

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

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

Let-floating: Moving Bindings to Give Faster Programs
Linearization by Program Transformation
Local Action Systems and DPO Graph Transformation
Local Linear Logic for Locality Consciousness in Multiset Transformation
Logic-Based Program Synthesis and Transformation
Logic Based Program Synthesis and Transformation: Proc./10th Intern. Workshop, LOPSTR 2000, London, UK, July 2000
Logic Based Program Synthesis and Transformation: Proc./11th Intern. Workshop, LOPSTR 2001, Paphos, Cyprus, November 2001
Logic-Based Program Synthesis and Transformation: Proc./8th Intern. Workshop, LOPSTR 98. Manchester, UK, June 1998
Logic Based Program Synthesis and Transformation: Revised Selected Papers/12th Intern. Workshop, LOPSTR 2002, Madrid, Spain, September 2002
Logic Based Program Synthesis and Transformation: Revised Selected Papers/ 13th International Symposium, LOPSTR 2003. Uppsala,Sweden,August 2003
Logic Based Program Synthesis and Transformation: Revised Selected Papers/15th International Symposium, LOPSTR 2005. London, UK, September 2005
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 2013
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/24th International Symposium, LOPSTR 2014, Canterbury, UK, September 2014
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/25th International Symposium, LOPSTR 2015, Siena, Italy, July 2015
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/28th International Symposium, LOPSTR 2018, Frankfurt\Main, Germany, September 2018
Logic Programming and Logic Grammars with First-order Continuations
Logic Program Synthesis and Transformation: Proc./5th Intern. Workshop, LOPSTR 95. Utrecht, The Netherlands, September 1995
Logic Program Synthesis and Transformation: Proc./7th Intern. Workshop, LOPSTR 97. Leuven, Belgium, July 1997
Logic Program Synthesis by Induction over Horn Clauses
Loop Transformations for Reducing Data Space Requirements of Resource-Constrained Applications
Loop Transformations in the Ahead-of-Time Optimization of Java Bytecode
Managing Conflicts in Goal-Driven Requirements Engineering
Manufacturing Cheap, Resilient, and Stealthy Opaque Constructs
Mathematical Methods for Curves and Surfaces: Revised Selected Papers/8th International Conference, MMCS 2012, Oslo, Norway, June 2012
Mathematics of Program Construction: Proc./10th International Conference, MPC 2010, Quebec City, Canada, June 2010
Mathematics of Program Construction: Proc./Third Intern. Conf., MPC 95, Kloster Irsee, Germany, July 1995
Memoing Evaluation by Source-to-Source Transformation
Message Passing without Send-Receive
Metacomputation: Metasystem Transitions plus Supercompilation
Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models
Metaprogramming in the Large
Meta-programming with Concrete Object Syntax
MetaScribe, an Ada-based Tool for the Construction of Transformation Engines
Minimal Data Dependence Abstractions for Loop Transformations
Model Checking Object-Z Using ASM
Model Checking Software via Abstraction of Loop Transitions
Model Driven Engineering Languages and Systems: Proc./10th International Conference, MODELS 2007. Nashville, USA, September/October 2007
Modeling Early Requirements in Tropos: A Transformation Based Approach
Model Refactoring as Rule-Based Update Transformations
Model Reuse with Metamodel-Based Transformations
More Legal Transformations for Locality
More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting s Semantics
Multiplicative Linear Logic for Resource Transformation Nets
New Tiling Techniques to Improve Cache Temporal Locality
Object-Orientation Based on Semantic Transformations
Object Views and Database Restructuring
On Automatic and Interactive Design of Communicating Systems
On Business Process Model Transformations
On Completeness of Mechanism of Annotation-Directives
On Extra Variables in (Equational) Logic Programming