Fundamenta Informaticae - Tom Vol. 69, nr 1,2 (2006) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 69, nr 1,2

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

2006

Identyfikatory

Zawartość wolumenu

Vol. 69, nr 1,2
- artykuł: Redundant Call Elimination via Tupling (Chin W-N., Khoo S-Ch., Jones N.), s. 1-37
- artykuł: Higher Order Deforestation (Hamilton G.W.), s. 39-61
- artykuł: The Impact of seq on Free Theorems-Based Program Transformations (Johann P., Voigtländer J.), s. 63-102
- artykuł: Implementing Typeful Program Transformations (Chen Ch., Shi R., Xi H.), s. 103-103
- artykuł: Program Transformation with Scoped Dynamic Rewrite Rules (Bravenboer M., Dam A. van, Olmos K., Visser E.), s. 123-178
- artykuł: Control Generation by Program Transformation (King A., Martin J.C.), s. 179-218
- artykuł: A Multiple-Clause Folding Rule Using Instantiation and Generalization (Rosenblueth D.A.), s. 219-249

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.