scientific article; zbMATH DE number 2084335
From MaRDI portal
Publication:3043811
zbMATH Open1073.68567MaRDI QIDQ3043811FDOQ3043811
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?)
Cited In (6)
- 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
- Formal program construction by transformations-computer-aided, intuition-guided programming
Recommendations
- Program generation in the equivalent transformation computation model using the squeeze method 👍 👎
- Title not available (Why is that?) 👍 👎
- 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 👍 👎
- Title not available (Why is that?) 👍 👎
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)
