Fundamenta Informaticae, Volume 69

Volume 69, Number 1-2, 2006

Program Transformation: Theoretical Foundations and Basic Techniques. Part 2

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

Stefania Bandini, Giancarlo Mauri, Giuseppe Vizzari:
Supporting Action-at-a-distance in Situated Cellular Agents. 251-271
Electronic Edition (link) BibTeX
Dariusz Dereniowski, Marek Kubale:
Efficient Parallel Query Processing by Graph Ranking. 273-285
Electronic Edition (link) BibTeX
Brunella Gerla, Ioana Leustean:
Similarity MV-algebras. 287-300
Electronic Edition (link) BibTeX
Michael Kaminski, Tony Tan:
Regular Expressions for Languages over Infinite Alphabets. 301-318
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
Gui-Long Liu:
The Axiomatization of the Rough Set Upper Approximation Operations. 331-342
Electronic Edition (link) BibTeX
Zbigniew Suraj, Pawel Delimata:
On k-NN Method with Preprocessing. 343-358
Electronic Edition (link) BibTeX

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