scientific article; zbMATH DE number 2084335
From MaRDI portal
Publication:3043811
zbMATH Open1073.68567MaRDI QIDQ3043811FDOQ3043811
Authors: Kiyoshi Akama, Hidekatsu Koike, H. Mabuchi 
Publication date: 6 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2244/22440131.htm
Title of this publication is not available (Why is that?)
Recommendations
- Program generation in the equivalent transformation computation model using the squeeze method
- scientific article; zbMATH DE number 862230
- Program transformation, symbolic computation and algebraic manipulation. Proceedings of a symposium held at the Research Institute for Mathematical Sciences, Kyoto University, Kyoto, Japan, November 29--December 1, 1999
- The transformational approach to program development
- scientific article; zbMATH DE number 2084336
Cited In (7)
- Program transformation system based on generalized partial computation
- A Kripke logical relation for effect-based program transformations
- Title not available (Why is that?)
- Title not available (Why is that?)
- CONCUR 2003 - Concurrency Theory
- Program generation in the equivalent transformation computation model using the squeeze method
- Formal program construction by transformations-computer-aided, intuition-guided programming
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3043811)
