Open AccessBook
The program transformation system CIP-S
Reads0
Chats0
TLDR
This paper presents a sample instantiation of the system for a concrete language using the transformation calculus as a guide to the development of selected system functions.Abstract:
I : Introduction.- II : The transformation calculus.- III : Formal specification.- IV : Formal development of selected system functions.- V : Transformation rules.- VI : A sample instantiation of the system for a concrete language.read more
Citations
More filters
Journal ArticleDOI
Rules and strategies for transforming functional and logic programs
TL;DR: An overview of the program transformation methodology, focusing on the so-called “rules + strategies” approach in the case of functional and logic programs, is presented.
Book ChapterDOI
Diagnosis of Intentions and Interactive Support of Planning in a Functional, Visual Programming Language
TL;DR: In this paper, the ABSYNT Problem Solving Monitor for the acquisition of basic functional programming concepts in a visual language is designed according to the theoretical framework of problem solving and knowledge acquisition.
Book ChapterDOI
Formal Specification in Metamorphic Programing
TL;DR: In this paper, the authors identify semantic gaps in the software development process and show how they can be minimized by an approach called metamorphic programming that operates in the large and in the small.
Static Analysis for Program Generation Templates
TL;DR: In this article, the U. S. Army Research Office under contract/grant number 35037-MA and 40473-MA, and in part by DARPA under contract #99-F759.
References
More filters
Journal ArticleDOI
Rules and strategies for transforming functional and logic programs
TL;DR: An overview of the program transformation methodology, focusing on the so-called “rules + strategies” approach in the case of functional and logic programs, is presented.
Book ChapterDOI
Diagnosis of Intentions and Interactive Support of Planning in a Functional, Visual Programming Language
TL;DR: In this paper, the ABSYNT Problem Solving Monitor for the acquisition of basic functional programming concepts in a visual language is designed according to the theoretical framework of problem solving and knowledge acquisition.
Book ChapterDOI
Formal Specification in Metamorphic Programing
TL;DR: In this paper, the authors identify semantic gaps in the software development process and show how they can be minimized by an approach called metamorphic programming that operates in the large and in the small.
Static Analysis for Program Generation Templates
TL;DR: In this article, the U. S. Army Research Office under contract/grant number 35037-MA and 40473-MA, and in part by DARPA under contract #99-F759.