scientific article; zbMATH DE number 2084335

MaRDI QIDQ3043811zbMATHFDO

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

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 generation in the equivalent transformation computation model using the squeeze method
• scientific article; zbMATH DE number 2084336 (Why is no real title available?)
• Program transformation system based on generalized partial computation
• scientific article; zbMATH DE number 5510503 (Why is no real title available?)
• Formal program construction by transformations-computer-aided, intuition-guided programming
• A Kripke logical relation for effect-based program transformations
• CONCUR 2003 - Concurrency Theory

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)