Регистрация | Вход в службу | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

scis0000001 transformation [19 articles]

Recent papers added to scis0000001 library classified by the tag transformation. You can also see everyone's transformation.
  • Transformations of Antimatroid Closure Spaces
    No. CS-98-13. (FebruaryMarch, 1998)
    by John L Pfaltz, John E Karro
    posted to anti-matroid closure-space transformation by scis0000001 on 2007-05-19 14:44:23 as **
  • From Standard to Non-Standard Semantics by Semantics Modifiers
    International Journal of Foundations of Computer Science (IJFCS), Vol. 12, No. 2. (2001), pp. 171-211 (or 171--212??).
    by Sergei Abramov, Robert Glück, M Sato, Others
    posted to iff semantic-space semantics transformation by scis0000001 on 2007-05-18 14:27:33 as **
  • Chu spaces as a semantic bridge between linear logic and mathematics
    Theor. Comput. Sci., Vol. 294, No. 3. (February 2003), pp. 439-471.
    by Vaughan Pratt
  • Mathematical Foundations for Program Transformations
    (1990), pp. 319-321.
    by Rahma B Ayed, Jules Desharnais, Marc Frappier, Ali Mili
  • Functional transformation systems
    (2000)
    by J Kort, R Ammel, J Visser
    posted to formal-language functional-programming transformation by scis0000001 on 2007-05-15 09:12:00 as **
  • Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine
    (2005), pp. 228-231.
    by Artur Boronat, Jose A Carsi, Isidro Ramos
    posted to mda reengineering rewriting-logic transformation by scis0000001 on 2007-04-28 00:49:33 as **
  • Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine
    Software Maintenance and Reengineering, 2005. CSMR 2005. Ninth European Conference on (2005), pp. 228-231.
    by A Boronat, JA Carsi, I Ramos
    posted to managed-logic mda reengineering rewriting-logic transformation by scis0000001 on 2007-04-14 02:38:45 as **
  • Designing the automatic transformation of visual languages
    Science of Computer Programming, Vol. 44, No. 2. (August 2002), pp. 205-227.
    by Daniel Varró, Gergely Varró, Andras Pataricza
  • Graph transformation with time
    Fundam. Inf., Vol. 58, No. 1. (November 2003), pp. 1-22.
    by Szilvia Gyapay, D&\#225;niel Varr&\#243;, Reiko Heckel
    posted to causality graph logics time transformation by scis0000001 on 2007-02-14 13:41:20 as **
  • Integration Of Graph Transformation And Functional Programming
    by Klaus Didrich, Annika Wagner
    posted to functional-programming graph transformation by scis0000001 on 2006-12-29 13:50:07 as **
  • Program transformation in calculational form
    ACM Computing Surveys, Vol. 30, No. 3es. (1998)
    by Akihiko Takano, Zhenjiang Hu, Masato Takeichi
    posted to calculational program transformation by scis0000001 on 2006-12-10 15:34:11 as **
  • From Sequential Programs to Multi-Tier Applications by Program Transformation
    by Matthias Neubauer, Peter Thiemann
  • Topological transformation groups
    (3 Jun 1997)
    by Alejandro Adem, James F Davis
  • The Hyper System: Knowledge Reformation for Efficient First-Order Hypothetical Reasoning
    (2000), pp. 93-103.
    by Helmut Prendinger, Mitsuru Ishizuka, Tetsu Yamamoto
    posted to fot inference knowledge modeling transformation by scis0000001 on 2006-09-23 15:02:06 as **
  • A language for bi-directional tree transformations
    (2003)
    posted to transformation tree by scis0000001 on 2006-09-16 14:28:34 as ** along with 1 person alec
  • STELLA -- a Lisp-like language for symbolic programming with delivery in Common Lisp
    (1999)
  • The nonlinear rescaling process
    No. 3DCV 92-28. (April 1992)
    posted to nonlinear rescaling scale scale-space scaling transformation by scis0000001 on 2006-09-07 14:43:18 as **
  • Compiling Standard ML to Java
    by Simon Gammage
    posted to compiling iff java mda standard-ml transformation translation by scis0000001 on 2006-09-07 13:14:36 as **
  • Automatic Program Generation for and by Model Transformation Systems
    (April December--JanuaryMarch 2002), pp. 161-173.
    by Dániel Varró
    edited by Hans J Kreowski, Peter Knirsch
    posted to generation mda model transformation by scis0000001 on 2006-08-24 13:04:32 as **
  • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/scis0000001/tag/transformation

    RIS BibTeX