Fundamenta Informaticae, Volume 69

Volume 69, Number 1-2, 2006

• Alberto Pettorossi, Maurizio Proietti:
  Preface: Program Transformation: Theoretical Foundations and Basic Techniques. Part 2.
  
• Wei-Ngan Chin, Siau-Cheng Khoo, Neil Jones:
  Redundant Call Elimination via Tupling. 1-37
  
• Geoff W. Hamilton:
  Higher Order Deforestation. 39-61
  
• Patricia Johann, Janis Voigtländer:
  The Impact of seq on Free Theorems-Based Program Transformations. 63-102
  
• Chiyan Chen, Rui Shi, Hongwei Xi:
  Implementing Typeful Program Transformations. 103-121
  
• Martin Bravenboer, Arthur van Dam, Karina Olmos, Eelco Visser:
  Program Transformation with Scoped Dynamic Rewrite Rules. 123-178
  
• Andy King, Jonathan C. Martin:
  Control Generation by Program Transformation. 179-218
  
• David A. Rosenblueth:
  A Multiple-Clause Folding Rule Using Instantiation and Generalization. 219-249
  

Volume 69, Number 3, 2006

• Stefania Bandini, Giancarlo Mauri, Giuseppe Vizzari:
  Supporting Action-at-a-distance in Situated Cellular Agents. 251-271
  
• Dariusz Dereniowski, Marek Kubale:
  Efficient Parallel Query Processing by Graph Ranking. 273-285
  
• Brunella Gerla, Ioana Leustean:
  Similarity MV-algebras. 287-300
  
• Michael Kaminski, Tony Tan:
  Regular Expressions for Languages over Infinite Alphabets. 301-318
  
• Ching-Lin Wang, Ren-Hung Hwang, Yung-Kuan Chan, Chih-Ya Chen, Chuan-Chung Cheng:
  An Image Retrieval System Based on the Color, Areas, and Perimeters of Objects. 319-330
  
• Gui-Long Liu:
  The Axiomatization of the Rough Set Upper Approximation Operations. 331-342
  
• Zbigniew Suraj, Pawel Delimata:
  On k-NN Method with Preprocessing. 343-358
  

Volume 69, Number 4, 2006

• Davide Ciucci:
  On the Axioms of Residuated Structures: Independence, Dependencies and Rough Approximations. 359-387
  
• Floriana Esposito, Nicola Fanizzi, Stefano Ferilli, Teresa Maria Altomare Basile, Nicola Di Mauro:
  Multistrategy Operators for Relational Learning and Their Cooperation. 389-409
  
• Jacek Pomykala, Slawomir Barabasz:
  Eliptic Curve Based Threshold Proxy Signature Scheme with Known Signers. 411-425
  
• Lirong Xia, Sanjiang Li:
  On minimal models of the Region Connection Calculus. 427-446
  

Last update Sat May 26 06:19:26 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page